Agent-based Dynamic Logic Formal Model

With the development of computer network and distributed computation based on network, the research of agent and multi-agent system has become a new focus in Al and an important research direction of distributed artificial intelligence. Agent-based computing is thought as the next significant breakthrough in software development. In this paper we develop a dynamic logic-based formal model of agent system that forms a basis for the development of a formal axiomatization system; define beliefs, knowledge, desires, goals, intentions, and know-how; describe their logic; discuss agent properties; gives the proof of completeness of the model; analyze the advantages of model of solving logical omniscience problem, insignificant problem, and the problem of theory separating from practice and so on, at the same time the flexibility and dynamics powerfully describe the dynamic properties. Finally, we propose further research problems.