摘要： 提出了对多 Agent 系统的信息特征进行推理的形式化体系 VSK-AF 逻辑,建立了它与多 Agent 系统的形式化模型间的关系,给出了该逻辑的公理体系和交互公理,证明了该逻辑公理体系的一致性、无矛盾性以及完全性。讨论了进一步的研究工作。
关键词:
多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 VSK-AF逻辑[J]. , 2004, 30(23): 9-.
SUN Yu1,2,3, XIAYouming3, LI Zhiping3. Multi -agent VSK-AF Logic[J]. , 2004, 30(23): 9-.