Another view of autoepistemic logic and truth maintenance system

Abstract

In this paper, we present a novelAutoepistemic Logic (NAE) that subsumes both Moore’s original Autoepsteimc logic (AE) and Konolige’s stronger extensions. The semantics of the logic is characterized by a combination of AE extensions and minimum stable theories. Although the logic is still based fixpoints, it always has a NAE extension for any AE theory. Unlike Konolige’s strongly-grounded AE extension, strongly-grounded NAE extension is syntax-independent and always exists. In particular, it is shown that strongly-grounded NAE can provide a complete semantics to Truth Maintenance System (TMS) because NAE can additionally account for backtracking routines in TMS. In contrast, strongly-grounded AE can only capture the semantical aspect of TMS that is free of backtracking.