Representing Autoepistemic Introspection in Terms of Default Rules.
Tomi Janhunen · 1996
This paper addresses the relationship of Reiter's default logic, Moore's autoepistemic logic as well as Marek and Truszczynski's strong autoepistemic logic from a new point of view. Earlier research results on their interconnection support the view that default reasoning is a special case of autoepistemic reasoning. To the contrary, this paper shows how autoepistemic theories can be faithfully translated into default theories. Consequently, autoepistemic reasoning can be seen a form of default reasoning. This indicates together with the previous research results that autoepistemic logic and default logic are of equal generality. As a practical application of the presented translation, it is demonstrated how default decision procedures can be systematically used as autoepistemic decision procedures.