节点文献

多Agent VSK-AF逻辑

Multi -agent VSK-AF Logic

推荐 CAJ下载
PDF下载
不支持迅雷等下载工具，请取消加速工具后下载。

【Author】 SUN Yu1,2,3 , XIAYouming3, LI Zhiping3 (1. Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Science, Beijing 100080; 2. Institute of Postgraduate Students, Chinese Academy of Sciences, Beijing 100080; 3. School of Computer Science and Information Technology, Yunnan Normal University, Kunming 650092)

【机构】中国科学院计算技术研究所智能信息处理重点实验室,云南师范大学计算机科学与信息技术学院,云南师范大学计算机科学与信息技术学院北京100080中国科学院研究生院,北京100080；云南师范大学计算机科学与信息技术学院,昆明650092,昆明650092,昆明650092；

【摘要】提出了对多 Agent 系统的信息特征进行推理的形式化体系 VSK-AF 逻辑,建立了它与多 Agent 系统的形式化模型间的关系,给出了该逻辑的公理体系和交互公理,证明了该逻辑公理体系的一致性、无矛盾性以及完全性。讨论了进一步的研究工作。更多还原

【Abstract】 A formalism for reasoning about multi-agent system is presented. Its relationship to the formal model of multi-agent system is established, the axiomatisation and interaction axioms of VSK-AF logic are put forward. The consistency, soundness and completeness of this axiomatisation are proved. Issues for future work are discussed.更多还原

【关键词】多Agent系统；模态逻辑；访问；感知；知识；
【Key words】 Multi-agent system； Modal logic； Accessibility； Perception； Knowledge；

【基金】云南省自然科学基金资助项目(2000F0049M) ;云南省自然科学重点基金资助项目(2001F0006Z);云南省教育厅青年基金资助项目(03Y312d,04Y769d)

【文献出处】计算机工程 ,Computer Engineering , 编辑部邮箱 ,2004年23期

【分类号】TP311.52
【下载频次】49

知网节下载

节点文献中：

本文链接的文献网络图示:

本文的引文网络

节点文献