Based On A Formal Model Of The Logic Vsk-af Multi-agent Systems

With the development the technology of computer network and computer communication, the research of agent and multi-agent system have become a hotspot and an important domain in DAI.In this paper, we present a formalism of reasoning bout the information properties of multi-agent system. VSK-AF logic is a multi-modal logic for reasoning about the information properties of computational agents suited in some environment. It can express what is objectively true of the environment, the information that is visible, or knowable about the environment, information the agent perceives of the environment, and finally information the agent actually knows about the environment. The semantics of this logic are given in terms of a general model of multi-agent system, closely related to the interpreted systems of epistemic logic. After introducing the logic and establishing its relationship to the formal model of multi-agent system, we put forward an axiomatisation of VSK-AF logic, and systematically discuss its rationality. At the same time, we prove the consistency, soundness and completeness of this axiomatisation. Finally, we illustrate the use of the logic through an example, and discuss issues for future work.