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

【Abstract】 In this paper, a formalism of reasoning about the information properties of multi-agent system using VSK-AF logic is presented. VSK-AF logic is the extension of modal epistemic logic, and it can express information visible, information perceived and information known in external environment and Agents environment. After introducing the semantics of this logic and its axioms, the relationship among the five operators are discussed and characterized in terms of the properties of the multi-agent system. Finally, a conclusion and issues for future work are discussed.更多还原