多Agent VSK-AF逻辑

作者：**夏幼明李志平

来源：计算机工程, 2004, (23): 1-3+21.

• 多Agent系统
• 模态逻辑
• 访问
• 感知
• 知识 Multi-agent system
• Modal logic
• Accessibility
• Perception
• Knowledge

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

• 出版日期2004
• 单位中国科学院大学; 中国科学院计算技术研究所; 云南师范大学