A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
On the Relation Between Truth Maintenance and Autoepistemic Logic
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
dblp:conf/ijcai/ReinfrankDB89
fatcat:hhs5ev34e5g6zf4sem54fs5bxm