基于一阶动态逻辑的AGENT行为推理及其哲学反思

目录国家社科基金后期资助项目出版说明 前言 **章 绪论 1 **节 学术背景和研究价值 1 第二节 国内外研究状况 6 第二章 一阶动态逻辑的基础系统——命题动态逻辑 10 **节 正则命题动态逻辑的句法 11 第二节 正则命题动态逻辑的语义 13 第三节 正则命题动态逻辑的计算序列 16 第四节 正则命题动态逻辑的可满足性和有效性 17 第五节 正则命题动态逻辑的演绎系统 18 第六节 正则命题动态逻辑的基本性质 19 一、源于模态逻辑的基本性质 19 二、选择算子∪、复合算子；和测试算子？的性质 20 三、逆算子 的性质 22 四、迭代算子*的性质 25 五、自返传递闭包和归纳 26 第七节 编码霍尔逻辑与正则命题动态逻辑 29 第八节 正则命题动态逻辑的演绎完全性 30 一、正则命题动态逻辑的公理 30 二、推理规则 30 三、演绎完全性 31 四、逻辑后承 35 第三章 一阶动态逻辑系统及其复杂性与表达力 37 **节 一阶动态逻辑系统 37一、一阶动态逻辑的基本句法 38 二、带有更丰富程序的一阶动态逻辑 41 三、一阶动态逻辑的语义 45 四、可满足性和有效性 51 第二节 一阶动态逻辑与静态逻辑的关系 51 一、非解释性推理 52 二、解释性推理 57 第三节 一阶动态逻辑的复杂性 61 一、有效性问题 61 二、谱复杂性 65 第四节 一阶动态逻辑的公理化 72 一、非解释性层面的公理化 72 二、解释性层面的公理化 77 第五节 一阶动态逻辑的表达力 84 一、展开性质 85 二、谱和表达力 87 三、有界不确定性 93 四、无界存储 105 五、带有布尔栈的一阶动态逻辑的表达力 111 六、无界不确定性 111 第六节 一阶动态逻辑的重要变种 113 一、算法逻辑 113 二、非标准的一阶动态逻辑 114 三、良基 116 四、动态代数 119 五、概率程序 121 六、并发与交流 123 第四章 基于类型命题动态逻辑的行动类型与Agent能力推理 125 **节 引言 125 第二节 类型命题动态逻辑的句法和语义 128一、τPDL逻辑的语言和直观语义 128 二、τPDL逻辑的框架和模型 130 三、关于τPDL逻辑的一些事实 132 第三节 类型命题动态逻辑可满足性问题的判定性 137 第四节 类型命题动态逻辑的证明系统和完全性 146 一、矢列式和规则 146 二、τPDL逻辑在类型语义中的可靠性和完全性 153 三、标准语义中τPDL逻辑的完全性 165 第五节 结论和开问题 165 一、τPDL逻辑与其他演算的关系 166 二、τPDL逻辑的应用和扩展 171 第五章 基于规划修订动态逻辑的Agent规划修订推理 176 **节 引言177 第二节 相关研究 178 第三节 Agent编程语言3APL 180 一、3APL语言的句法 180 二、3APL语言的语义 181 第四节 规划修订动态逻辑PRDL 184 一、PRDL逻辑的句法 185 二、PRDL逻辑的语义 185 第五节 规划修订动态逻辑PRDL的公理系统 186 一、公理系统ASRule的可靠性 188 二、公理系统ASRule的完全性 190 第六节 不受限规划性质的证明 196 一、从受限规划到不受限规划 196 二、相关实例分析与证明 197 第七节 规划修订规则与过程 204 一、对规划修订规则而言的Scott归纳规则 204 二、施归纳于规划修订规则的应用次数 206 第八节 结论与未来的工作 208第六章 基于RASA语言的命题动态逻辑的Agent交互协议推理 209 **节 引言 209 第二节 RASA框架 212 一、建模信息 212 二、建模协议 213 三、外延语义 217 第三节 协议蕴涵 220 一、关于RASA语言的命题动态逻辑（即Lα逻辑）的句法 221 二、Lα逻辑的语义 221 三、Lα逻辑的表达力 223 第四节 关于RASA语言的命题动态逻辑的证明系统 224 一、有穷Lα逻辑的演绎证明系统 224 二、无穷Lα逻辑的演绎证明系统 227 三、Lα逻辑与命题动态逻辑的关系 232 第五节 从无穷Lα逻辑到有穷Lα逻辑 234 一、迭代算子*和 算子的性质 234 二、递归协议的性质 235 三、相关讨论 241 第六节 实验性评估 242 一、证明系统的实现 242 二、表征和匹配协议 242 三、表征方法与证明系统的测试 242 第七节 相关研究 243 一、协议说明 243 二、Lα逻辑与命题动态逻辑的关系 244 三、行动语言 245 四、面向目标的规划 245 五、递归消除 246 第八节 结论与未来的工作 247 第七章 相关问题的哲学反思与展望性研究 249 **节 人工智能视域下的意义理论 249 一、周礼全先生之前的意义理论 250 二、周礼全先生的四层次意义理论 252 三、意义理论的动态转向 253 四、意义的算法理论 254 五、信息与智能交互视域下的意义理论 256 第二节 一阶动态逻辑的结构主义特征　258 一、引言 258 二、结构主义的四大学派及其基本观点 260 三、现代逻辑学具有结构主义特征 262 四、结构主义思想在一阶动态逻辑中的具体体现 264 五、结论与未来的工作 266 第三节 基于一阶动态逻辑的人工智能逻辑的柔性化和泛逻辑化——展望性研究框架 267 一、本选题的学术依据和提出背景 267 二、国内外研究状况与研究价值 269 三、本选题的研究内容、总体框架、基本思路和研究目标 270 四、研究的可行性 274 参考文献 275 后记 297