On the Relation Between Truth Maintenance and Autoepistemic Logic

Michael Reinfrank, Oskar Dressler, Gerhard Brewka
1989 International Joint Conference on Artificial Intelligence  
In a recent paper, Konolige has introduced a new version of autoepistemic logic (AEL), which is based on a strong notion of groundedness. We show that it is well-suited for formalizing the concept of justified belief in a non-monotonic truth maintenance system (TMS). If we consider the justifications of a TMS as formulae of the form it computes the set of non-modal atoms of a strongly grounded AEL-extension. It is shown that a variant of Dressler's encoding of nonmonotonic justifications in an
more » ... ssumptionbased TMS is correct, and thus also inherits the AEL semantics We argue that more work is needed to come to a better understanding of backtracking routines and so-called nogood inferences, which are identified as sources of ungrounded conclusions. These results contribute to bridging the gap between theory and implementation in the field of nonmonotonic reasoning ON THE RELATION BETWEEN AUTOEPISTEMIC LOGIC AND CIRCUMSCRIPTION
dblp:conf/ijcai/ReinfrankDB89 fatcat:hhs5ev34e5g6zf4sem54fs5bxm