摘要
通信信息系统CIS描述了多主体的信息表示和通信方法.这种系统是经典命题逻辑在多主体环境中的扩张.通过"泥孩问题"的推理展示了该形式系统的创建方法,多主体环境下的主体认知能力可以通过通信规则和公理加以描述,公共知识的刻画可以通过主体之间共享语言片段完成.由于针对不同的应用背景可以选择不同的公理和规则,该系统具有通用性.
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 propositional logics in multi-agents context.By examing reasoning about 'muddy boy puzzle',the formalization has been showed.One may model cognitive ability of agents in contextual conditions by communicated rules and axioms.The common knowledge can be characterized by agents sharing some specical pieces of local languanges.Since the corresponding communication rules can be chosen for different applications,the approach is general purpose one.
出处
《青海师范大学学报(自然科学版)》
2011年第2期28-31,16,共5页
Journal of Qinghai Normal University(Natural Science Edition)
关键词
通信信息系统
泥孩问题
多主体
communicated information system
muddy boy puzzle
multi-agent