论文部分内容阅读
知识和信念是人工智能领域研究中经常涉及到的两个重要概念．本文讨论了知识和信念的涵义与关系，定义了认识逻辑系统EL，讨论了它的语法和语义，证明了认识逻辑EL不但是可靠的而且是完备的．认识逻辑EL不但可以用来描述人类的认识过程，还可以用于对常识推理以及分布式系统的形式化描述．
Knowledge and belief are two important concepts often involved in the field of artificial intelligence. This article discusses the meaning and relationship of knowledge and belief, defines epistemic logic system EL, discusses its grammar and semantics, and proves that cognitive logic EL is not only reliable but complete. Recognition logic EL not only can be used to describe human cognitive process, but also can be used for common sense reasoning and distributed system of the formal description.