一种描述主体信息变化的交流图及其逻辑初探

A Primary Approach to the Communication Map of Describing Subject Information Variation and Its Logic

近年来,关于主体间通过交流而改变他们的知识和信念状态的形式化研究受到哲学等领域学者的广泛关注。交流图及其逻辑是其中的一项典型代表。我们考察研究帕奎特和派瑞克关于交流图逻辑的主要思想和技术,涉及拓扑逻辑和基于历史的模型等内容;采用其中的部分结果尝试解释若干有重大历史影响的问题,比如奥巴马如何获取本·拉登下落信息、"水门丑闻"背后的"深喉事件"等。最后还指出了交流图逻辑的几个可能的进一步应用。

In recent decades, the investigation on the formal descriptions of the changing of multiple-agents knowledge and belief through communication has received extensive attention from philosophers and other scholars relevant. The communication map and its logic area typical representative of the above research. We examine the Pacuit and Parikh's logic of communication maps as their main ideas and technology, involving topology logic and historic-based models. By the application of some above results, we also attempt to explain several issues of major historical impact, such as how Obama knew where Bin Laden was, the deep throat event in water gate scandal, and so on. At the end, some possible applications of the logic for communication maps are pointed out.