Abstract
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.
Preview
Unable to display preview. Download preview PDF.
References
A.L. Brown (1988) Logics of justified belief ECAI 88, pp.507–512, 1988.
B. Camilla (1990) A tableaux-based theorem prover for a decidable subset of default logic, CADE 10, LNCS 449, pp.528–542.
J. Doyle (1979) A truth maintenance system AI 12, pp.231–272, 1979.
M. Gelfond (1988) AE logic and formalization of commonsense reasoning Comp. Science. Dept., Univ. of Texas at El Paso.
S. Hanks & D. McDermott (1986) Default reasoning, nonmonotonic logics and the frame problem AAAI 86, pp.328–333.
Y.J. Jiang (1992) Autoepistemic predicate logic to appear in Journal of New Generation Computing.
Y.J. Jiang (1991) Quanticational autoepistemic stable closure in preparation.
K. Konolige (1987) On the relationship between default and autoepistemic logic IJCAI 87.
W. Marek & M. Trunszczynski (1989) Relating autoepistemic logic and default logic KR 89, pp.276–288, full-version also to appear in JACM 90.
R. C. Moore (1985) Semantic considerations of non-monotonic logic AI 25 (1).
P. Morris (1988) Autoepistemic stable closures and contradiction resolution AAAI 88, 2nd int. workshop on nonmonotonic reasoning.
M. Reinfrank, O. Dressier & G. Brewka (1989) On the relation between truth maintenance and autoepistemic logic IJCAI 89.
R.C. Stalnaker (1980) A note on non-monotonic modal logic Dept. of Philo. Cornell University.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jiang, Y.J. (1991). Another view of autoepistemic logic and truth maintenance system. In: Ras, Z.W., Zemankova, M. (eds) Methodologies for Intelligent Systems. ISMIS 1991. Lecture Notes in Computer Science, vol 542. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54563-8_115
Download citation
DOI: https://doi.org/10.1007/3-540-54563-8_115
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54563-7
Online ISBN: 978-3-540-38466-3
eBook Packages: Springer Book Archive