A Formal Model of Multi-agent System Based on Visibility, Perception and Knowledge
Yu Sun · Jisuanji gongcheng · 2004
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.