摘要
提出了对多 Agent 系统的信息特征进行推理的形式化体系 VSK-AF 逻辑,建立了它与多 Agent 系统的形式化模型间的关系,给出了该逻辑的公理体系和交互公理,证明了该逻辑公理体系的一致性、无矛盾性以及完全性。讨论了进一步的研究工作。
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.
出处
《计算机工程》
CAS
CSCD
北大核心
2004年第23期1-3,21,共4页
Computer Engineering
基金
云南省自然科学基金资助项目(2000F0049M)
云南省自然科学重点基金资助项目(2001F0006Z)
云南省教育厅青年基金资助项目(03Y312d
04Y769d)
