多Agent VSK-AF逻辑

• 作者: 夏幼明 孙瑜 李志平
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 多Agent系统 模态逻辑 访问 感知 知识
• 年，卷（期）: 2004,（23）
• 所属期刊栏目: 博士论文
• 页码范围: 1-3,21
• 页数: 4页
• 分类号: TP39
• 字数: 4999字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2004.23.001

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	夏幼明	云南师范大学计算机科学与信息技术学院	71	475	10.0	19.0
2	李志平	云南师范大学计算机科学与信息技术学院	42	249	8.0	15.0
3	孙瑜	中国科学院计算技术研究所智能信息处理重点实验室	27	251	8.0	15.0