---
title: "On the Relation Between Truth Maintenance and Autoepistemic Logic"
authors:
  - "Michael Reinfrank"
  - "Oskar Dressler"
  - "Gerhard Brewka"
doi: ""
url: "https://ijcai.org/proceedings/1989/193"
pdf: "https://ijcai.org/proceedings/1989/0193.pdf"
venue: "Proceedings of the Eleventh International Joint Conference on Artificial Intelligence"
year: 1989
pages: "1206-1211"
track: "Knowledge Representation"
keywords:
---

# On the Relation Between Truth Maintenance and Autoepistemic Logic

Michael Reinfrank, Oskar Dressler, Gerhard Brewka

*Proceedings of the Eleventh International Joint Conference on Artificial Intelligence*, pages 1206-1211.

## Abstract

In a recent paper, Konolige has introduced a new version of autoepistemic logic (AE L), 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 La/\...., Lb::Jc, 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 assumptionbased 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 .