张晓君著的《信念-愿望-意图逻辑及其应用研究》是从Agent的信念、愿望、意图、甚至知识、情感等知识状态和情感状态出发，对Agent的行为决策和行为推理进行建模。整部专著立论新颖独到，参考资料翔实可靠，论述结构合理、条理清晰、逻辑严密，表述流畅，引用规范，是一部纯粹的学术专著。

张晓君著的《信念-愿望-意图逻辑及其应用研究》以Agent（主体）不确定性行为决策和推理为主要研究内容。第一章是BDI逻辑及其扩展的研究与其应用概况介绍；第二章是基于BDI逻辑的主体行为表征研究；第三章是基于扩展BDI逻辑的主体行为表征研究；第四章是基于扩展的BDI逻辑的主体行为规范研究；创新内容主要集中在第三章。本研究能够为先进分布式仿真、人工智能和系统工程等领域提供形式支持，具有重要的理论价值和实践意义。

本专著适合于现代逻辑、先进分布式仿真、人工智能和系统工程等领域以及对信念-愿望-意图逻辑及其应用感兴趣的教师、研究生和科研人员阅读。

第一章 绪论

 第一节 研究背景及研究意义

 第二节 国内外研究现状

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逻辑对主体买房行为的形式刻画

2.5 结论和未来的工作

 第三节 基于知识情感等级BDI逻辑的行为表征研究

3.1 引言

3.2 知识情感等级BDI逻辑

3.3 知识情感等级BDI逻辑对主体模型的不同背景之间的相互关系的形式刻画

3.4 实例分析：知识情感等级：BDI逻辑对军事决策行为的形式刻画

3.5 结论和未来的工作

 本章小结

第四章 基于扩展BDI（信念-愿望-意图）逻辑的Agent行为规范研究

 第一节 引言

 第二节 相关基础知识：多背景BDI

2.1 BDI背景

2.2 桥规则

 第三节 规范模型方案

 第四节 规范BDI结构

4.1 识别背景

4.2 规范背景

4.3 规范桥规则

 第五节 实例研究的执行

 第六节 思考与未来的工作

 本章小结

结束语

参考文献

附录1： Graded BDI Models for Agent Architectures Based on Lukasiewicz Logic and Propositional Dynamic Logic Xiaojun Zhang et a1.

附录2： Modeling Emotional Agents Based on Graded BDI Architectures Xiaojun Zhang

附录3： Modelling Decision-making Behavior Based on keg-BDI Agents Xiaojun Zhang et al.

后记