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

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

作　　者：郭佳宏[1] 张朝霞 

机构地区：[1]北京师范大学哲学学院价值与文化研究所 [2]郑州市交通运输委员会

出　　处：《学术研究》2016年第12期30-35,共6页Academic Research

基　　金：中央高校基本科研业务费专项资金资助项目;教育部留学回国人员科研启动基金项目"程序性知识的逻辑研究";国家社科基金重大项目"应用逻辑与逻辑应用研究"(14ZDB014)的阶段性成果

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

关 键 词：信息流动 拓扑逻辑 交流图 基于历史的模型 

分 类 号：B815.3[哲学宗教—逻辑学]