基于访问、感知和知道的多Agent系统形式化模型

• 作者: 夏幼明 孙瑜 李志平
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 多Agent系统 访问 感知 知道
• 年，卷（期）: 2004,（7）
• 所属期刊栏目: 博士论文
• 页码范围: 1-2,54
• 页数: 3页
• 分类号: TP31
• 字数: 3517字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2004.07.001

摘要

提出了基于VSK-AF逻辑的多Agent系统形式化模型.VSK-AF逻辑是模态认知模型的扩展,它表示并且区分外部环境与Agents环境中客观真实的和可访问的信息、环境中可访问的和Agents感知到的信息以及Agents感知到的和知道的信息.在给出了该逻辑的语义模型和公理体系后,研究了模态算子之间的关系并将其对应到VSK-AF系统所具备的特性上.最后总结并讨论了进一步的研究工作.

作者信息

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