图书介绍
信念-愿望-意图逻辑及其应用研究pdf电子书版本下载
- 张晓君著 著
- 出版社： 北京：中国社会科学出版社
- ISBN：7516193983
- 出版时间：2017
- 标注页数：219页
- 文件大小：56MB
- 文件页数：238页
- 主题词：
PDF下载
下载说明
信念-愿望-意图逻辑及其应用研究PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一章 绪论 1
第一节 研究背景及研究意义 1
第二节 国内外研究现状 5
2.1 BDI逻辑的产生与发展 5
2.2 扩展的BDI逻辑的产生与发展 7
第三节 研究目标、主要内容、基本思路和方法、重点难点、主要观点和创新 11
3.1 研究目标 11
3.2 主要内容 12
3.3 基本思路与方法 13
3.4 重点与难点 15
3.5 主要观点 16
3.6 主要创新 22
第四节 信息时代呼唤更多的连续值柔性高等逻辑的诞生 23
本章小结 25
第二章 基于BDI（信念—愿望—意图）逻辑的Agent行为表征研究 27
第一节 Bratman的信念—愿望—意图理论 28
第二节 Cohen和Levesque关于意图的方法 30
2.1 行动与时间 30
2.2 信念和偏好 33
2.3 行动、时间、信念和偏好逻辑 34
2.4 行动、时间、信念和偏好逻辑的扩展研究 35
第三节 Rao和Georgeff的BDI逻辑 38
3.1 非形式语义 38
3.2 形式理论 41
3.3 作为变化公理的承诺 51
3.4 逻辑性质 55
第四节 KARO逻辑 57
4.1 关于理性主体的KARO逻辑 58
4.2 关于情感主体的KARO逻辑 64
第五节 stit逻辑中的BDI－模态词 67
5.1 瞬间stit逻辑中的BDI模态词 67
5.2 在XSTIT逻辑中的BDI模态词：动态视角 74
本章小结 78
第三章 基于扩展BDI（信念—愿望—意图）逻辑的Agent行为表征研究 81
第一节 基于等级BDI逻辑的行为表征研究 81
1.1 引言 81
1.2 等级BDI逻辑 83
1.3 等级BDI逻辑对主体复合行动的形式刻画 90
1.4 实例分析：等级BDI逻辑对主体买房行为的形式刻画 92
1.5 结论和未来的工作 95
第二节 基于情感等级BDI逻辑的行为表征研究 96
2.1 引言 96
2.2 情感等级BDI逻辑 97
2.3 情感等级BDI逻辑对主体模型不同背景之间的相互关系的形式刻画 103
2.4 实例分析：情感等级BDI逻辑对主体买房行为的形式刻画 105
2.5 结论和未来的工作 109
第三节 基于知识情感等级BDI逻辑的行为表征研究 110
3.1 引言 110
3.2 知识情感等级BDI逻辑 111
3.3 知识情感等级BDI逻辑对主体模型的不同背景之间的相互关系的形式刻画 116
3.4 实例分析：知识情感等级BDI逻辑对军事决策行为的形式刻画 118
3.5 结论和未来的工作 123
本章小结 124
第四章 基于扩展BDI（信念—愿望—意图）逻辑的Agent行为规范研究 127
第一节 引言 128
第二节 相关基础知识：多背景BDI 129
2.1 BDI背景 129
2.2 桥规则 131
第三节 规范模型方案 132
第四节 规范BDI结构 134
4.1 识别背景 135
4.2 规范背景 135
4.3 规范桥规则 136
第五节 实例研究的执行 139
第六节 思考与未来的工作 141
本章小结 143
结束语 145
参考文献 147
附录1：Graded BDI Models for Agent Architectures Based on 160
Lukasiewicz Logicand PropositionalDynamic Logic&Xiaojun Zhang et al. 160
附录2：Modeling Emotional Agents Based on Graded BDI Architectures&Xiaojun Zhang 179
附录3：Modelling Decision-making Behavior Based on keg-BDI Agents&Xiaojun Zhang et al. 197
后记 218