多主体自认知逻辑系统

Multi-agent Autoepistemic Logic

认知逻辑处理的是关于知识和信念等认知概念的逻辑性质和关系的问题,多主体的自认知逻辑系统,是在单主体唯一知道逻辑系统的基础上进行的扩充。现将单主体的K45系统扩充为多主体的K45n系统,并介绍了该系统的语法规则和稳定集以及典范模型的语义和证明理论,同时也对该系统的可靠性和完全性进行了证明。

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.