10.3969/j.issn.1000-3428.2004.23.001
多Agent VSK-AF逻辑
提出了对多Agent系统的信息特征进行推理的形式化体系VSK-AF逻辑,建立了它与多Agent系统的形式化模型间的关系,给出了该逻辑的公理体系和交互公理,证明了该逻辑公理体系的一致性、无矛盾性以及完全性.讨论了进一步的研究工作.
多Agent系统、模态逻辑、访问、感知、知识
30
TP39(计算技术、计算机技术)
云南省自然科学基金2000F0049M;云南省自然科学基金2001F0006Z;云南省教育厅资助项目03Y312d,04Y769d
2005-01-20(万方平台首次上网日期,不代表论文的发表时间)
共4页
1-3,21