Research On Knowledge Reasoning In Multi-Agent System Based On Dynamic Epistemic Logic

Agent technology plays an important role in the research area of artificial intelligence, and the representation of knowledge has always been a major concern in the Agent System. In the research on agent technology, the design of agent system must be based on the solid theory of knowledge representation and knowledge reasoning. To achieve the goal of machine intelligence perfectly simulates human intelligence, intelligent systems must first realize clearly and precisely knowledge representation and reasonable commonsense inference, which could depict human cognitive processes, and promote machine intelligence access to the ideal knowledge processing and intelligent simulation more quickly.On the basis of knowledge representation and reasoning theories and the analysis of the existing problems about the related research work, we establish a knowledge representation and knowledge inference system based on dynamic epistemic logic theory, which not only describe static knowledge and cognitive reasoning, but also portrait the epistemic process of knowledge change and knowledge reasoning due to the communication of the multi-agents.The main contributions of this dissertation are as follows:(1) Give a brief introduction to the main theory of knowledge reasoning of agent technology, including the epistemic logic theory, default logic theory, modal logic theory, and causation reasoning theory, which provide an initial characterization of knowledge representation in human cognitive process.(2) On the basis of the multi-agent epistemic logic theory and dynamic epistemic logic theory, a new action-extended epistemic logical model is proposed, which extend the basic cognitive operation of epistemic model of AML. (3) Combining with dynamic epistemic theory, a constrained epistemic default theory is proposed, and some related theorems are proved.(4) On the basis of dynamic epistemic theory, we use constrained epistemic default logic to depict the interaction of the knowledge change in the multi-agent system, which elucidates the dynamic process of knowledge update.(5) Based on dynamic epistemic logic theory, a causation reasoning model is proposed and the action reasoning theory in this causation framework is also introduced, further the characterization of causation reasoning in the agent's cognitive process is analyzed.This dissertation depicts the knowledge sets and belief changes of the agents according to common sense reasoning, and portrays the dynamic process of knowledge update in the multi-agent system via a logical way, leading to a comprehensive study of human thinking and the dynamic characteristics of its uncertainty reasoning, which is promising and meaningful.