在动态认知逻辑中融合观察与内省

摘要：

一直以来,我们使用逻辑系统来描述数学的证明、结构的计算以及语言的意义.近年来,逻辑系统却越来越多地被用来研究理性行动者的很多方面.例如,如何接受单一的信息,多主体间的交流行为,以及更为一般的受目标驱动的主体间的互动.特别是,对观察和交流中的信息流的研究,大家使用所谓的知识更新、信念修正和偏好改变的动态认知逻辑.当新信息进来时,这些逻辑使用信息的"语义意义"作为被更新状态的选择范围.然而,同样重要的是,理性主体的行动也会基于其他信息,譬如,由推理和反省得剑的信息.对这些问题的研究实际上是对信息在更为语法的意义上进行理解的,即,把信息看作是可以由主体阐明的东西.也许有些奇怪,尽管在这一领域已经存在不少的研究方案,但是火家对什么是信息,信息的关键机制是什么等问题更少有一致的意见.可以看出,对"信息"的意义在逻辑中确实有很多不同的理解.本文基于可能世界的语义,给出一个一致的信息模型,同时也赋予可能世界语法的"可及通路".这样,我们就能把外部的"更新信息"和内部的"阐明信息"放在同一个动态逻辑系统中.特别是,我们提出了两个基本的信息行动:纯粹的基于观察的更新("单纯的看")和把不明显的知识变为明显知识的"知觉实现".我们阐明为什么这些行动是自然的,同时我们也提出了一些新的研究问题.其中,很多问题探讨如何使其他的逻辑传统,包括信念修正理论、情景语义学和弗协调逻辑等适用于信息一驱使的理性行动者的图景.

机标关键词：动态认知逻辑、融合、观察、信息、belief revision、逻辑系统、explicit knowledge、信念修正理论、问题、可能世界、知识更新、new information、unified model、主体间、情景语义学、行动者、使用、语言的意义、弗协调逻辑、语义意义

所属期刊栏目：1

分类号：B81;TP3

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

页数：共17页

页码：1-17