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