从方法论的角度看动态认知逻辑的研究
作者: 刘奋荣
关键词: 动态认知逻辑 动态偏好逻辑 公开宣告逻辑 归约公理 动态化
摘要：本文主要探讨动态认知逻辑技术结果背后的思想，着重强调其在方法论方面的一般想法。文章在公开宣告逻辑的基础上展开讨论，重点考察了归约公理的意义，揭示了其本质是在基本语言中提前解析动态信息对认知产生的影响。文章以公共知识为例，说明了并非所有的逻辑算子都能找到归约公理，有时候我们需要丰富基本语言的表达力。而且，我们从如何给出一个逻辑的角度提出，动态认知逻辑实际上是在“动态化”认知逻辑，这种动态化的方法可以应用在其他静态的逻辑系统中。我们以动态偏好逻辑为例，说明了这一过程是如何实现的。