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

摘要：

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

关键词：多Agent系统、访问、感知、知道

所属期刊栏目：30

分类号：TP31(计算技术、计算机技术)

资助基金：云南省自然科学基金2000F0049M;云南省自然科学基金2001 F0006Z;云南省教育厅资助项目03y312d

在线出版日期：2004-05-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：1-2,54