论辩系统 不一致情境中的推理PDF电子书下载
- 电子书积分:8 积分如何计算积分?
- 作 者:廖备水著
- 出 版 社:杭州:浙江大学出版社
- 出版年份:2012
- ISBN:9787308105262
- 页数:145 页
第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:一种具有变化知识的自主的、规范的、可指导的Agent 113
- 《管理信息系统习题集》郭晓军 2016
- 《信息系统安全技术管理策略 信息安全经济学视角》赵柳榕著 2020
- 《系统解剖学速记》阿虎医考研究组编 2019
- 《慢性呼吸系统疾病物理治疗工作手册》(荷)瑞克·考斯林克(RikGosselink) 2020
- 《社会文化系统中的翻译》姜秋霞,杨正军 2019
- 《中国生态系统定位观测与研究数据集 森林生态系统卷 云南西双版纳》邓晓保·唐建维 2010
- 《大气氮沉降及其对生态系统的影响》方琨,王道波 2019
- 《学校教育指标系统的构建》杨向东著 2019
- 《系统故障 诗歌与影像》(中国)梁小曼 2019
- 《Access数据库系统设计与应用教程》李勇帆,廖瑞华主编 2019
- 《完美的合同 合同的基本原理及审查与修改 第3版=THE PERFECT CONTRACT (THIRD EDITION)》吴江水著 2020
- 《从零开始学水墨风景画 1》(日)松井阳水著 2018
- 《中国货币史研究二种》章宗元,徐沧水著 2013
- 《家教忌语》邵泽水著 1997
- 《楼兰迷踪 荒漠高楼》上善若水著 2012
- 《东篱拾趣》李水著 2010
- 《不如我们重新来过》吴沉水著 2013
- 《天使不哭》纤云若水著 2014
- 《龙陵秘藏》上善若水著 2013
- 《生态价值概论》胡安水著 2013
- 《大学计算机实验指导及习题解答》曹成志,宋长龙 2019
- 《浙江海岛植物原色图谱》蒋明,柯世省主编 2019
- 《大学生心理健康与人生发展》王琳责任编辑;(中国)肖宇 2019
- 《大学英语四级考试全真试题 标准模拟 四级》汪开虎主编 2012
- 《大学英语教学的跨文化交际视角研究与创新发展》许丽云,刘枫,尚利明著 2020
- 《复旦大学新闻学院教授学术丛书 新闻实务随想录》刘海贵 2019
- 《大学英语综合教程 1》王佃春,骆敏主编 2015
- 《美丽浙江 2016 法语》浙江省人民政府新闻办公室编 2016
- 《二十五史中的浙江人 24》浙江省地方志编纂委员会编 2005
- 《大学物理简明教程 下 第2版》施卫主编 2020