A Formal Model Of VSK-Agent System Combined With Mental States

With the development of the technology of computer network and distributed computation, the research of the agent technique has become a hotspot and an important domain in AI and DAI.In this paper, based on VSK logic, we introduce three mental states, belief, desire, and intention, furthermore, present a formalism of reasoning about the information properties and the mental states of agent, VSK-BDI logic, which is a multi-modal logic based on proposition logic. We define visible, percept, knowledge operators for describing 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. At the same time, three operators, belief, desire, and intention are defined for describing agent's mental; the relationship among these operators are discussed in detail.The semantics of this logic are given in terms of a general model of agent system, closely related to the interpreted systems of episternic logic. After introducing the logic and establishing its relationship to the formal model of agent system, we put forward an axiomatisation of BSK-BDI 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 the future directions.The formal model we present is computational grounded, the semantic of which is intuitive, rational and natural, and since the mental states are discussed, it is useful to describing the dynamic properties of agent.