张志金

摘要：认知逻辑首先是由欣提卡提出的，他的目的是为了用逻辑的方法来刻画知识与信念，并建立相应的形式系统，它可以用来处理主体关于当前世界的信息状态，也可以处理主体关于当前世界信息的信息，即所谓的高阶信息，但这种逻辑是一种静态的逻辑，它无法处理信息之间的流动与交互，因此基于认知逻辑，引入更新算子，即发展为动态认知逻辑，它是认知逻辑的简单扩充，通过动态算子，主体间的信息交互便可以得到精确地刻画，它的作用机制就是通过一个公式，达到对当前信息状态的更新，从一个旧的世界模型过渡到一个新的世界模型，但它处理的信息都是确定的，现实中充满了不确定性，为了更好地处理这种不确定性，借鉴概率论这一有力的工具，通过引入概率算子，发展为概率认知逻辑，并将其与动态认知逻辑相结合，即得到所谓的概率动态认知逻辑，既可以用来处理信息的发展变化，又可以处理信息的随机性与不确定性。

关键词：概率;更新;动态认知逻辑

1.引言

认知逻辑开始于Hintikka，他的主要目的是为了概念性地分析知识和信念。认知逻辑特别地用来处理给定当前的信息，一个主体认为什么是可能的，这种信息也包含关于其他主体所具有的信息的信息，从这种意义上来说，认知逻辑也可以处理高阶信息，即关于信息的信息。尽管认知逻辑提供了一种处理高阶信息的方法，但信息变化却不在它研究的范围之内。……