A VSK-t Logic-based Formal Model Of Agent System

With the development of the technology of computer network and computer communication, the researches of the agent and multi-agent systems have become a hotspot and an important domain in DAI.In this paper, we present a formalism of reasoning about the information properties of agent, VSK-t logic, which is based on a discrete linear temporal logic, is a multi-modal logic for reasoning about the information properties of computational agent 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 actions and capabilities of agent are closely related to the time of environment of agent suite in. An agent would perform an action if it has not the ability to do it at that time, and the percept capability will change with the change of time. These descriptions are rational.The semantics of this logic are given in terms of a general model of agent system, closely related to the interpreted systems of epistemic logic. After introducing the logic and establishing its relationship to the formal model of agent system, we put forward an axiomatisation of VSK-t 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.