动态认知逻辑研究述评
摘要:动态认知逻辑是近年来兴起不久的非经典逻辑,是一个相对比较新的研究领域。20世纪中后期人们对知识与信念的研究由静态向动态转变,荷兰逻辑学家J. van Benthem首先提出用动态模态逻辑为信息变化提供模型,建议用动态算子来刻画事实的变化,从而宣告动态认知逻辑的产生。到目前,动态认知逻辑得到了快速发展,人们不仅深入地讨论了公共宣告、半公开宣告和秘密告知等行为,而且还研究了行为过程中的信息更新、信念修正,进一步为它们提供了结构模型与形式表达,建立了一系列的形式系统。
关键词: 动态认知;逻辑逻辑推理;结ǡ 怂�
卷期: 200906
页码: 85-90+65+112