《基于一阶动态逻辑的Agent行为推理及其哲学反思》从人工智能的视角，研究了“基于一阶动态逻辑及其扩展系统的Agent行为推理”，并对相关问题进行了哲学反思。具体内容包括：作为一阶动态逻辑的基础系统的命题动态逻辑、一阶动态逻辑系统及其复杂性与表达力、基于类型命题动态逻辑的行动类型与Agent能力推理、基于规划修订动态逻辑的Agent规划修订推理、基于动态逻辑的Agent交互协议推理、相关问题的哲学反思与展望性研究。
国家社科基金后期资助项目出版说明
前言
第一章绪论
第一节学术背景和研究价值
第二节国内外研究状况
第二章一阶动态逻辑的基础系统——命题动态逻辑
第一节正则命题动态逻辑的句法
第二节正则命题动态逻辑的语义
第三节正则命题动态逻辑的计算序列
第四节正则命题动态逻辑的可满足性和有效性
第五节正则命题动态逻辑的演绎系统
第六节正则命题动态逻辑的基本性质
一、源于模态逻辑的基本性质
二、选择算子∪、复合算子；和测试算子？的性质
三、逆算子-的性质
……
