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