面向人工智能的命题动态逻辑研究
动态逻辑与计算机程序语言的关系非常密切，不仅能够直接提供便于计算机处理的算法，而且还能为计算机理解自然语言提供理论依据，因此动态逻辑是人工智能逻辑的重要组成部分。命题动态逻辑（PDL）是动态逻辑的基础系统，因此命题动态逻辑是研究动态逻辑的一个很好的切入点。文章以Harel等（2000）、Benevides（2014）等相关文献为基础，主要关注命题动态逻辑（及其扩展）。本研究希望不仅可以促进动态逻辑的深入发展，而且可以为人工智能中的知识表示、知识推理和模型构建提供形式支撑。 文章从命题动态逻辑中最基础的正则命题动态逻辑入手，首先对命题动态逻辑系统的相关概念进行梳理，给出正则命题动态逻辑的演绎系统及相关性质，然后重点阐述命题动态逻辑的扩展系统?命题动态逻辑中的互模拟程序和逻辑等值程序，并以这个扩展系统为例，分析命题动态逻辑扩展系统的构造要素及方法，最后在此基础上，分析其他命题动态逻辑的扩展系统，并进一步总结命题动态逻辑的主要扩展途径以及用处。文章主要结构如下： 第一章为绪论，简要阐述了所选择课题的研究背景、研究意义、国内外的研究现状、研究的基本思路和主要内容。 第二章主要介绍了正则命题动态逻辑的相关基础知识，包括正则命题动态逻辑的句法、语义、演绎系统、基本性质及其完全性，之后简要介绍了非正则命题动态逻辑系统，并给出该系统的相关性质和结论。 第三章阐述命题动态逻辑的扩展系统??命题动态逻辑中的互模拟程序和逻辑等值程序，通过介绍命题动态逻辑PDL+的构成要素和构造方式，进一步探讨了命题动态逻辑的主要扩展途径以及用处。 第四章从结构主义的视角简要探讨了命题动态逻辑与数学结构主义的关系。 第五章是对未来研究的展望，简要的说明了文章研究的不足以及未来研究应该关注的问题。 第六章是文章的结语。
人工智能;命题动态逻辑;演绎系统;互模拟程序;逻辑等值程序
四川师范大学
硕士
逻辑学
林胜强
2021
中文
TP18
2021-08-23（万方平台首次上网日期，不代表论文的发表时间）