EPISTEMIC LOGIC (1):A LOGICAL FRAMEWORK FOR KNOWLEDGE AND BELIEF
Rui Liu · Chinese Journal of Computers · 1998
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.