Abstract
Among non-monotonic systems of reasoning, non-monotonic modal logics, and autoepistemic logic in particular, have had considerable success. The presence of explicit modal operators allows flexibility in the embedding of other approaches. Also several theoretical results of interest have been established concerning these logics. In this paper we introduce non-monotonic modal logics based on many-valued logics, rather than on classical logic. This extends earlier work of ours on many-valued modal logics. Intended applications are to situations involving several reasoners, not just one as in the standard development.
Research partly supported by NSF Grants CCR-8901489 and CCR-9104015.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Melvin C. Fitting. Bilattices and the semantics of logic programming. Journal of Logic Programming, 11:91–116, 1991.
Melvin C. Fitting. Well-founded semantics, generalized. In Vijay Saraswat and Kazunori Ueda, editors, Logic Programming, Proceedings of the 1991 International Symposium, pages 71–84, Cambridge, MA, 1991. MIT Press.
Melvin C. Fitting. Many-valued modal logics. Fundamenta Informaticae, 1992. Forthcoming.
Melvin C. Fitting. Many-valued modal logics, II. Submitted, 1992.
Melvin C. Fitting, Wiktor Marek, and Miroslav Truszczynski. Logic of necessitation. Journal of Logic and Computation, Forthcoming.
Matthew L. Ginsberg, editor. Readings in Nonmonotonic Reasoning. Morgan Kaufmann, 1987.
Kurt Konolige. On the relation between default and autoepistemic logic. Artificial Intelligence, 35:342–382, 1988.
Wiktor Marek, Grigori Shvarts, and Miroslaw Truszczyński. Modal nonmonotonic logics: ranges, characterization, computation. In Second International Conference on Principles of Knowledge Representation and Reasoning, KR'91, pages 395–404. Morgan Kaufmann, 1991.
Wiktor Marek and Miroslaw Truszczynski. Autoepistemic logic. JACM, 38:588–619, 1991.
Drew McDermott and Jon Doyle. Nonmonotonic logic I. Artificial Intelligence, 13:41–72, 1980. Reprinted in [6].
Drew McDermott and Jon Doyle. Nonmonotonic logic II: Nonmonotonic modal theories. Journal of the ACM, 29:33–57, 1982.
Robert C. Moore. Semantical considerations on nonmonotonic logic. Artificial Intelligence, 25:75–94, 1985. Reprinted in [6].
Helena Rasiowa and Roman Sikorski. The Mathematics of Metamathematics. PWN — Polish Scientific Publishers, Warsaw, third edition, 1970.
Grigori Shvarts. Autoepistemic modal logics. In Rohit Parikh, editor, Theoretical Aspects of Reasoning About Knowledge (TARK 1990), pages 97–109, 1990.
Miroslaw Truszczyński. Embedding default logic into modal nonmonotonic logics. In Anil Nerode, Wiktor Marek, and V. S. Subrahmanian, editors, Logic Programming and Non-monotonic Reasoning, Proceedings of the First International Workshop, pages 151–165. MIT Press, 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fitting, M. (1992). Many-valued non-monotonic modal logics. In: Nerode, A., Taitslin, M. (eds) Logical Foundations of Computer Science — Tver '92. LFCS 1992. Lecture Notes in Computer Science, vol 620. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0023869
Download citation
DOI: https://doi.org/10.1007/BFb0023869
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55707-4
Online ISBN: 978-3-540-47276-6
eBook Packages: Springer Book Archive