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

The Basic Idea of Propositional Dynamic Logic and Its Extended Systems

作　　者：张呈 张晓君 ZHANG Cheng;ZHANG Xiao-jun(School of Philosophy,Anhui University,Hefei,Anhui 230039,China)

机构地区：[1]安徽大学哲学学院,安徽合肥230039

出　　处：《贵州工程应用技术学院学报》2023年第1期59-65,共7页Journal of Guizhou University Of Engineering Science

基　　金：国家社科基金后期项目“面向人工智能的信念——愿望——意图逻辑的哲学基础及前沿问题研究”,项目编号:22FZXB092。

摘　　要：计算机的一切操作都是由程序控制的;人工智能不仅是计算机智能,而且是计算机的应用和技术的延伸;动态逻辑是关于程序的多模态逻辑,是能够对程序进行形式化推理的多个程序逻辑的总称;命题动态逻辑是动态逻辑的子系统和基础系统,可以表征程序和独立于计算论域命题之间的相互作用,在序列程序和系统的形式化表述和推理方面有着重要的作用,可以描述和验证程序的正确性、终止性、公平性、活性和等价性等性质;因此,命题动态逻辑是人工智能的基石。AIll computer operations are controlled by programs.Artificial intelligence is not only computer intelligence,but also the extension of computer application and technology.Dynamic logic is a multi-modal logic about programs.It is the general name of multiple program logic that can formally reason about programs.Propositional dynamic logic is the subsystem and basic system of dynamic logic,which can describe the properties of the interaction between programs and propositions that are independent of the domain of computation.It plays an important role in the formal specification and reasoning about sequential programs and systems,which can describe and verify properties as correctness,termination,fairness,liveness and equivalence of program.Therefore,propositional dynamic logic is the cornerstone of artificial intelligence.

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

分 类 号：B81[哲学宗教—逻辑学]