图书介绍
信念-愿望-意图逻辑及其应用研究PDF|Epub|txt|kindle电子书版本网盘下载
- 张晓君著 著
- 出版社： 北京：中国社会科学出版社
- 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
第二节 相关基础知识：多背景BDI129
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 on160
Lukasiewicz Logicand PropositionalDynamic Logic&Xiaojun Zhang et al.160
附录2：Modeling Emotional Agents Based on Graded BDI Architectures&Xiaojun Zhang179
附录3：Modelling Decision-making Behavior Based on keg-BDI Agents&Xiaojun Zhang et al.197
后记218