《信念-愿望-意图逻辑及其应用研究》以Agent(主体)不确定性行为决策和推理为主要研究内容。第一章是BDI逻辑及其扩展的研究与其应用概况介绍;第二章是基于BDI逻辑的主体行为表征研究;第三章是基于扩展BDI逻辑的主体行为表征研究;第四章是基于扩展的BDI逻辑的主体行为规范研究;创新内容主要集中在第三章。本研究能够为先进分布式仿真、人工智能和系统工程等领域提供形式支持,具有重要的理论价值和实践意义。
《信念-愿望-意图逻辑及其应用研究》适合于现代逻辑、先进分布式仿真、人工智能和系统工程等领域以及对信念一愿望一意图逻辑及其应用感兴趣的教师、研究生和科研人员阅读。
做知识级分析的系统称为Agent(主体,也译为“智能主体”、“智能体”、“真体”等,比如人、具有智能的高级动物和仿人机器人均可视为智能主体)。Agent强调理性作用,是描述人类智能、动物智能和机器智能的统一模型,这些智能往往是构成社会智能的一部分。Agent是一种通过传感器感知其环境,再通过执行器作用于该环境的智能实体,实则是从感知序列到实体动作的映射。这一定义使得我们可以通过函数和数值对行动或行为进行建模。行为建模涉及的领域非常广泛,比如系统分析与设计、机械设计、动画设计、网络安全、军事仿真、仿人机器人等。因此,对行为(尤其是不确定性行为)进行精细的逻辑刻画具有重要的理论价值和实践意义。
Agent行为理论将Agent定义为有意识系统,即Agent的行为可通过归因于信念、期望和理性的方法去预言。经典的一阶逻辑不能用来表示涉及意识的观念,否则会引起语法和语义问题。引入模态逻辑和元语言可解决语法问题;借助可能世界语义和解释的符号结构则可解决语义问题。BDI(Belief-Desire-Intension,信念一愿望一意图)主体是指其行为受到信念、愿望和意图支配的主体。Agent典型的行为模型就是BDI逻辑框架,它着重研究信念、愿望、意图与Agent行为的关系及其形式化描述。
张晓君,女,四川南充人。现任四川师范大学逻辑与信息研究所所长。2011年博士毕业于中国社会科学院研究生院,2013年从厦门大学博士后出站后,就职于四川师范大学,兼职于福建省仿脑智能系统重点实验室(厦门大学)。在《模式识别与人工智能》、《哲学研究》、《逻辑研究》等核心期刊发表学术期刊50余篇,其中:英文7篇、被人大复印报刊资料全文转载5篇;出版专著2部,合著2部;主持国家课题3项。获得“金岳霖学术奖”、四川师范大学“科研十佳”等奖项多项。
第一章 绪论
第一节 研究背景及研究意义
第二节 国内外研究现状
2.1 BDI逻辑的产生与发展
2.2 扩展的BDI逻辑的产生与发展
第三节 研究目标、主要内容、基本思路和方法、重点难点、主要观点和创新
3.1 研究目标
3.2 主要内容
3.3 基本思路与方法
3.4 重点与难点
3.5 主要观点
3.6 主要创新
第四节 信息时代呼唤更多的连续值柔性高等逻辑的诞生
本章小结
第二章 基于BDI(信念一愿望一意图)逻辑的Agent行为表征研究
第一节 Bratman的信念一愿望一意图理论
第二节 Cohen和Levesque关于意图的方法
2.1 行动与时间
2.2 信念和偏好
2.3 行动、时间、信念和偏好逻辑
2.4 行动、时间、信念和偏好逻辑的扩展研究
第三节 Rao和Georgeff的BDI逻辑
3.1 非形式语义
3.2 形式理论
3.3 作为变化公理的承诺
3.4 逻辑性质
第四节 KARO逻辑
4.1 关于理性主体的KARO逻辑
4.2 关于情感主体的KARO逻辑
第五节 stit逻辑中的BDI-模态词
5.1 瞬间stit逻辑中的BDI模态词
5.2 在XSTIT逻辑中的BDI模态词:动态视角
本章小结
第三章 基于扩展BDI(信念一愿望一意图)逻辑的Agent行为表征研究
第一节 基于等级BDI逻辑的行为表征研究:
1.1 引言
1.2 等级BDI逻辑
1.3 等级BDI逻辑对主体复合行动的形式刻画
1.4 实例分析:等级BDI逻辑对主体买房行为的形式刻画
1.5 结论和未来的工作
第二节 基于情感等级BDI逻辑的行为表征研究
2.1 引言
2.2 情感等级BDI逻辑
2.3 情感等级BDI逻辑对主体模型不同背景之间的相互关系的形式刻画
2.4 实例分析:情感等级BDI逻辑对主体买房行为的形式刻画
……
第四章 基于扩展BDI(信念一愿望一意图)逻辑的Agent行为规范研究
结束语
参考文献
附录