Abstract

. We study the expressive power of first-order autoepistemic logic. We argue that full introspection of rational agents should be carried out by minimizing positive introspection and maximizing negative introspection. Based on full introspection, we propose the minimal well-founded semantics that characterizes autoepistemic reasoning processes of rational agents, and show that breadth of the semantics covers all theories in autoepistemic logic of first-order, Moore's AE logic, and Reiter's default logic. Our study demonstrates that the autoepistemic logic of first-order is a very powerful framework for nonmonotonic reasoning, logic programming, deductive databases, and knowledge representation. Key words: nonmonotonic reasoning, autoepistemic logic, default logic, logic programming, knowledge representation. 1 Introduction An ideal rational agent has to decide which set of propositions to believe according to its knowledge. Moore's AE logic is a powerful framework for this kind of in...

Citations