Another view of autoepistemic logic and truth maintenance system

  • Y. J. Jiang
Communications Logic For Artificial Intelligence
Part of the Lecture Notes in Computer Science book series (LNCS, volume 542)


In this paper, we present a novel Autoepistemic 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 on 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.


Knowledge Representation Fixpoint Nonmonotonic reasoning Minimum Stable sets Autoepistemic Logic and Truth-maintenance Systems 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. A.L. Brown (1988) Logics of justified belief ECAI 88, pp.507–512, 1988.Google Scholar
  2. B. Camilla (1990) A tableaux-based theorem prover for a decidable subset of default logic, CADE 10, LNCS 449, pp.528–542.Google Scholar
  3. J. Doyle (1979) A truth maintenance system AI 12, pp.231–272, 1979.Google Scholar
  4. M. Gelfond (1988) AE logic and formalization of commonsense reasoning Comp. Science. Dept., Univ. of Texas at El Paso.Google Scholar
  5. S. Hanks & D. McDermott (1986) Default reasoning, nonmonotonic logics and the frame problem AAAI 86, pp.328–333.Google Scholar
  6. Y.J. Jiang (1992) Autoepistemic predicate logic to appear in Journal of New Generation Computing.Google Scholar
  7. Y.J. Jiang (1991) Quanticational autoepistemic stable closure in preparation.Google Scholar
  8. K. Konolige (1987) On the relationship between default and autoepistemic logic IJCAI 87.Google Scholar
  9. W. Marek & M. Trunszczynski (1989) Relating autoepistemic logic and default logic KR 89, pp.276–288, full-version also to appear in JACM 90.Google Scholar
  10. R. C. Moore (1985) Semantic considerations of non-monotonic logic AI 25 (1).Google Scholar
  11. P. Morris (1988) Autoepistemic stable closures and contradiction resolution AAAI 88, 2nd int. workshop on nonmonotonic reasoning.Google Scholar
  12. M. Reinfrank, O. Dressier & G. Brewka (1989) On the relation between truth maintenance and autoepistemic logic IJCAI 89.Google Scholar
  13. R.C. Stalnaker (1980) A note on non-monotonic modal logic Dept. of Philo. Cornell University.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Y. J. Jiang
    • 1
  1. 1.Department of ComputingImperial CollegeLondonEngland

Personalised recommendations