Explanatory Diagnosis Research And Application In Dynamic Epistemic Logic

In artificial intelligence area, it is a hard problem to do reasoning and solve problem in common knowledge by computer, Situation Calculus and Dynamic Epistemic Logic are two important knowledge representation language which take it as a research target. In1993, McIlraith use Situation Calculus as a knowl-edge representation language,defines the concept of Explanatory Diagnosis. The target of Explanatory Diagnosis is to give a reasonable explanation of the failure phenomenon after the agent observed a symptom, it is an important branch in the model-based diagnosis research area. Since the Situation Calculus can not de-scribe the agent’s epistemic knowledge, in2013, Dr. Yu Quan, who use Dynamic Epistemic Logic as the knowledge representation language, defines the concept of Epistemic Explanatory Diagnosis. It is useful in the case of multi-agent envi-ronment. The final goal of the study about Diagnosis Theory is to implement an automatic reasoning system, called problem solver. Meanwhile, in the process of implementation on Epistemic Explanatory Diagnosis theory, you can also en-hance understanding of the theory and discovery the insufficient of the theory. Therefore, the study of the Epistemic Explanatory Diagnosis theory and imple-mentation of the solver are of very important theoretical significance and appli-cation value.In the process of implementing solver, the important thing is not to find steps solve the problem, but give the description for the problem and answer. There-fore, we use Haskell as the programming language. Our main work is as follows:(I) First, use Haskell language to describe the concept of dynamic epistemic logic,including agent, proposition, formulas, basic model, epistemic model, event model and action model. Second, give update operation on epistemic model, that is, when an agent receive a message of new knowledge, we must update the epistemic knowledge in the multi-agent system. Finally,implement the function which judge whether a given knowledge is true in the current epistemic state.(II) Give the solver implementation, including problem description mod-ule,model module and diagnosis module. Then, give the algorithm to solve Epis-temic Explanatory Diagnosis Problem.(III) Design two experiments, which is Lights problem and Cigarette prob-lem, to verify the solver. After that,we give a analysis for the solver application scope.In this paper, we study and design the Epistemic Explanatory Diagnosis Problem Solver, do an experiment about the validation of program correctness, analysis the application scope of Epistemic Explanatory Diagnosis theory, pro-vide experiment support for Epistemic Explanatory Diagnosis theory.