Abstract
A unifying semantic framework for 2 and 3-valued autoepistemic logics is introduced. For instance, the logics introduced in [8] and [2] belong to this framework. All the logics that derive from the framework enjoy the usual stability properties of autoepistemic logics.
A new logic (called κ 2-logic) is derived from the schema. It is shown that κ 2-logic solves a number of problems affecting existing logics. Finally, it will be shown that a very large class of theories has a least stable expansion in κ 2-logic. We show how the least stable expansion can be obtained through a fixpoint construction.
Preview
Unable to display preview. Download preview PDF.
References
P. Bonatti. Monotonicity in AE theories: preliminary report In Proc. GULP'90, V Convegno Nationale sulla Programmazione Logica.
P. Bonatti. A more general solution to the multiple expansion problem. In Proc. Workshop on Non-Monotonic Reasoning and Logic Programming, NACLP'90.
M. Gelfond. On Stratified Autoepistemic Theories. In Proceedings AAAI-87, 207–211, 1987.
M. Gelfond, V. Lifschitz. Logic programs with classical negation. In Proc. of the Int. Joint Conference on Logic Programming, Israel, 1990.
H. G. Herzberger. Notes on Naive Semantics. In the Journal of Phil. Logic 11 (1982), 61–102.
J. Jaffar, J. Lassez. Constraint Logic Programming. In Proc. of 14th POPL, p. 111–119. ACM 1987.
J. Lobo, J. Minker, A. Rajasekar. Extending the Semantics of Logic Programs to Disjunctive Logic Programs. In Proc. of 6th International Conference on Logic Programming, 1989.
R. Moore. Semantical considerations on nonmonotonic logics. In Artificial Intelligence 25, pp. 75–94, 1985.
T. Przymusinski. Three-valued formalisations of non-monotonic reasoning. In Proc. of KR'89 — First Int. Conf. on Principles of Knowledge Representation and Reasoning (1989).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bonatti, P.A. (1991). A family of three-valued autoepistemic logics. In: Ardizzone, E., Gaglio, S., Sorbello, F. (eds) Trends in Artificial Intelligence. AI*IA 1991. Lecture Notes in Computer Science, vol 549. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54712-6_215
Download citation
DOI: https://doi.org/10.1007/3-540-54712-6_215
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54712-9
Online ISBN: 978-3-540-46443-3
eBook Packages: Springer Book Archive