一种多主体信息交互的逻辑系统

摘要

An approach,which is called Communicated Information Systems,is introduced to describe the information available in a number of agents and specify the information communication among the agents.The systems may be regarded as the extensions of classical pr%通信信息系统CIS描述了多主体的信息表示和通信方法.这种系统是经典命题逻辑在多主体环境中的扩张.通过＂泥孩问题＂的推理展示了该形式系统的创建方法,多主体环境下的主体认知能力可以通过通信规则和公理加以描述,公共知识的刻画可以通过主体之间共享语言片段完成.由于针对不同的应用背景可以选择不同的公理和规则,该系统具有通用性.