认识逻辑(1):关于知识和信念的逻辑框架

EPISTEMIC LOGIC (1):A LOGICAL FRAMEWORK FOR KNOWLEDGE AND BELIEF

知识和信念是人工智能领域研究中经常涉及到的两个重要概念．本文讨论了知识和信念的涵义与关系，定义了认识逻辑系统EL，讨论了它的语法和语义，证明了认识逻辑EL不但是可靠的而且是完备的．认识逻辑EL不但可以用来描述人类的认识过程，还可以用于对常识推理以及分布式系统的形式化描述．

Knowledge and belief are two important concepts in artificial intelligence, and researchers have been more and more interested in their formal reasoning systems recently, but their methods, now available, cannot completely reflect the nature of knowledge and belief, so it is necessary to reconstruct a new epistemic logic. In this paper the meanings of knowledge and belief, and the relation between them are first discussed. Then a logic system EL is proposed for knowledge and belief, and their semantics and axiom system are discussed. It is proved that epistemic logic EL is sound and complete. Epistemic logic EL can be applied not only for nonmonotonic reasoning, but also for distributed multi-agent system.