论辩系统 不一致情境中的推理【2025|PDF下载-Epub版本|mobi电子书|kindle百度云盘下载】

论辩系统 不一致情境中的推理PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第1章 导论1

1.1引言1

1.2论辩系统产生的应用背景2

1.2.1个体Agent的认识推理2

1.2.2个体Agent的实践推理2

1.2.3多Agent交互中的推理3

1.2.4各种应用的共同特点3

1.3论辩系统产生的理论背景4

1.3.1经典一阶逻辑的缺陷4

1.3.2传统非单调逻辑及其不足5

1.4论辩系统的基本概念和主要特点7

1.4.1论辩系统的基本概念7

1.4.2论辩系统的特点9

1.5本书的内容与结构10

第2章 论辩系统的表示12

2.1引言12

2.2基于可废止规则的方法13

2.2.1知识的表示13

2.2.2论证和子论证16

2.2.3论证间的优先关系18

2.2.4论证间的攻击关系19

2.3基于假设的方法20

2.3.1知识的表示20

2.3.2论证21

2.3.3论证间的攻击关系22

2.4小结22

第3章 论辩系统的语义描述23

3.1引言23

3.2基于外延的方法24

3.2.1多状态指派法25

3.2.2唯一状态指派法27

3.2.3各种语义的联系和特点29

3.3基于标记的方法30

3.3.1标记与标记的合法性30

3.3.2基于标记的语义描述31

3.4两种方法的关系33

3.5小结33

第4章 论辩系统的语义求解34

4.1引言34

4.2基于论证博弈的方法34

4.2.1争辩树和赢策略34

4.2.2各种论辩语义下的合法提议函数36

4.3基于回答集编程的方法40

4.3.1回答集编程40

4.3.2从论辩框架到逻辑程序的映射41

4.3.3基于ASP求解器的论辩语义计算44

4.4小结44

第5章 论辩系统的动态性45

5.1引言45

5.2论辩系统动态性的两个主要研究方向45

5.2.1论辩系统的正向动态性46

5.2.2论辩系统的逆向动态性47

5.3现有的一些主要方法48

5.3.1论辩框架的高效更新方法48

5.3.2论证状态动态变化的高效求解方法48

5.3.3论辩框架的修正方法50

5.3.4推理知识的修正方法50

5.4小结51

第6章 论辩语义的局部性与可组合性52

6.1引言52

6.2基本概念52

6.3两类子论辩框架及其语义53

6.3.1子框架的定义53

6.3.2子框架的语义55

6.4局部语义的可组合性57

6.5小结60

第7章 论辩系统形式体系在Agent推理中的应用61

7.1引言61

7.2几种基于论辩的Agent非单调推理62

7.2.1基于论辩的认识推理62

7.2.2基于论辩的实践推理62

7.2.3基于论辩的BDI Agent模型64

7.3论辩系统形式体系的应用情况分析64

7.3.1知识的表示方面64

7.3.2论证的构造方面65

7.3.3论证的评估方面65

7.4研究展望66

7.5小结66

第8章 结论67

参考文献68

附录75

论辩系统的动态性：一种基于划分的方法75

ANGLE：一种具有变化知识的自主的、规范的、可指导的Agent113