基于一阶动态逻辑的Agent行为推理及其哲学反思_郝一江_9787030734150

本书从人工智能的视角，研究了“基于一阶动态逻辑及其扩展系统的Agent行为推理”，并对相关问题进行了哲学反思。具体内容包括：作为一阶动态逻辑的基础系统的命题动态逻辑、一阶动态逻辑系统及其复杂性与表达力、基于类型命题动态逻辑的行动类型与Agent能力推理、基于规划修订动态逻辑的Agent规划修订推理、基于动态逻辑的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

你还可能感兴趣

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

我要评论