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

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