论辩系统

出版时间：2012-9  出版社：浙江大学出版社  作者：廖备水  页数：145  
Tag标签：无  

内容概要

　　《论辩系统：不一致情境中的推理》首先分析在不同应用背景下，Agent在进行各种推理时所面临的共同问题，并在此基础上引入论辩系统的基本概念（第1章）。接着，系统阐述论辩系统“静态方面”的形式理论，包括论辩系统的表示（第2章）、论辩系统的语义描述（第3章）和论辩系统的语义求解（第4章）。随后，简要介绍论辩系统“动态方面”的相关理论和方法（第5章）。此外，由于论辩系统的语义求解属于NP问题，如何高效计算论辩系统的语义是目前所面临的核心问题之一。《论辩系统：不一致情境中的推理》第6章着重讨论论辩系统语义求解（包括静态方面和动态方面）的高效性问题，并给出一种高效求解论辩语义的基础理论：论辩语义的局部性与可组合性。本书的第7章则介绍论辩系统形式体系在Agent非单调推理中的应用情况。最后，本书的第8章给出了总结性阐述。

书籍目录

第1章 导论1.1 引言1.2 论辩系统产生的应用背景1.2.1 个体Agent的认识推理1.2.2 个体Agent的实践推理1.2.3 多Agent交互中的推理1.2.4 各种应用的共同特点1.3 论辩系统产生的理论背景1.3.1 经典一阶逻辑的缺陷1.3.2 传统非单调逻辑及其不足1.4 论辩系统的基本概念和主要特点1.4.1 论辩系统的基本概念1.4.2 论辩系统的特点1.5 本书的内容与结构第2章 论辩系统的表示2.1 引言2.2 基于可废止规则的方法2.2.1 知识的表示2.2.2 论证和子论证2.2.3 论证间的优先关系2.2.4 论证间的攻击关系2.3 基于假设的方法2.3.1 知识的表示2.3.2 论证2.3.3 论证间的攻击关系2.4 小结第3章 论辩系统的语义描述3.1　引　言3.2 基于外延的方法3.2.1 多状态指派法3.2.2 唯一状态指派法3.2.3 各种语义的联系和特点3.3 基于标记的方法3.3.1 标记与标记的合法性3.3.2 基于标记的语义描述3.4 两种方法的关系3.5 小结第4章 论辩系统的语义求解4.1 引言4.2 基于论证博弈的方法4.2.1 争辩树和赢策略4.2.2 各种论辩语义下的合法提议函数4.3 基于回答集编程的方法4.3.1 回答集编程4.3.2 从论辩框架到逻辑程序的映射4.3.3 基于ASP求解器的论辩语义计算4.4 小结第5章 论辩系统的动态性5.1　引言5.2 论辩系统动态性的两个主要研究方向5.2.1 论辩系统的正向动态性5.2.2 论辩系统的逆向动态性5.3 现有的一些主要方法5.3.1 论辩框架的高效更新方法5.3.2 论证状态动态变化的高效求解方法5.3.3 论辩框架的修正方法5.3.4 推理知识的修正方法5 4 小结第6章 论辩语义的局部性与可组合性6.1 引言6.2基本概念6.3 两类子论辩框架及其语义6.3.1 子框架的定义6.3.2 子框架的语义6.4 局部语义的可组合性6.5 小结第7章 论辩系统形式体系在Agent推理中的应用7.1 引言7.2 几种基于论辩的Agent非单调推理7.2.1 基于论辩的认识推理7.2.2 基于论辩的实践推理7.2.3 基于论辩的BDI Agent模型7.3 论辩系统形式体系的应用情况分析7.3.1 知识的表示方面7.3.2 论证的构造方面7.3.3 论证的评估方面7.4 研究展望7.5 小结第8章 结论参考文献附录论辩系统的动态性：一种基于划分的方法ANG1E：一种具有变化知识的自主的、规范的、可指导的Agent