命题动态逻辑的基本思想及其扩展系统

摘要：

计算机的一切操作都是由程序控制的;人工智能不仅是计算机智能,而且是计算机的应用和技术的延伸;动态逻辑是关于程序的多模态逻辑,是能够对程序进行形式化推理的多个程序逻辑的总称;命题动态逻辑是动态逻辑的子系统和基础系统,可以表征程序和独立于计算论域命题之间的相互作用,在序列程序和系统的形式化表述和推理方面有着重要的作用,可以描述和验证程序的正确性、终止性、公平性、活性和等价性等性质;因此,命题动态逻辑是人工智能的基石.

关键词：动态逻辑、命题动态逻辑、程序、模态逻辑

所属期刊栏目：41

分类号：B81(逻辑学(论理学))

资助基金：国家社会科学基金22FZXB092

在线出版日期：2023-04-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：59-65