Multi-agent Autoepistemic Logic
Dong Ying-dong · Journal of Southwest University · 2009
This paper tries to extend single agent autoepistemic logic system to multi-agent case.Meanwhile,we give some examples on the application of the system,including nonmonotonic reasoning and database systems.The paper also provides the soundness and completeness proof of multi-agent system by combining the newest academic achievement and applying approach of modal logic.It focuses on the extension of single agent only knowing logic system,given a transition from single agent system to multi-agent system by using K54n approach to describe the autoepistemic logic,followed by the introduction of its syntactic rules,the stability and stable sets,and a Canonical-model K45n model together with its semantics and proof theory.Satisfiability was brought to help characterizing multi-agent system.The proof of soundness and completeness was given in the end.