新書推薦：
《
塔西佗（全二册）（二十世纪人文译丛）
》
售價：NT$
1800.0
《
（棱镜精装人文译丛）思想的假死
》
售價：NT$
290.0
《
当代精神分析新论
》
售價：NT$
430.0
《
宋初三先生集（中国思想史资料丛刊）
》
售價：NT$
990.0
《
定言命令式：康德道德哲学研究（政治哲学名著译丛）
》
售價：NT$
590.0
《
棕榈油的全球史 ： 从奴隶船到购物篮
》
售價：NT$
440.0
《
简帛时代与早期中国思想世界（上下册）（王中江著作系列）
》
售價：NT$
1400.0
《
进化主义在中国的兴起（王中江著作系列）
》
售價：NT$
950.0
|
| 編輯推薦： |
《论辩系统--不一致情境中的推理》编著者廖备水。
本书首先分析在不同应用背景下，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
|
|
購物車/收銀台(0) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽
HOME
新書上架
