Abstract
In this paper, we present a preferential semantics of a multi-modal nonmonotonic logic. By distinguishing different levels of nonmonotonicity exhibited by modal nonmonotonic logics, we argue that the previously constructed modal non-monotonic logics (e.g. McDermott's nonmonotonic logic and Moore's autoepistemic logic) are mostly concerned with a level of nonmonotonicity that is dependent on the underlying modal systems. There is, however, another level of nonmonotonicity that is by itself independent on the underlying modal system. Modal logics constructed to exhibit the latter level of nonmonotonicity are dependent on the conventions imposed at the level of meta-language.
The financial support of this work is provided by the Blekinge Research Foundation.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
J.V. Benthem. Partiality and nonmonotonicity in classical logic. CSLI Report CSLI-84-12, Center for the study of language and information, Stanford, 1984.
B.F. Chellas. Modal Logic: an Introduction. Cambridge University Press, 1980.
W. Marek, G. F. Shvarts, and M. Truszczynski. Modal nonmonotonic logics: ranges, characterization, computation. In International Conference on Principles of Knowledge Representation and Reasoning, pages 395–404, 1991.
W. Marek and M. Truszczynski. Modal logic for default reasoning. In Annals of Mathematics and Artificial Intelligence, volume 1, pages 275–302, 1990.
D. McDermott. Nonmonotonic logic II. Journal of ACM, 29:33–57, 1982.
N. Roos. A logic for reasoning with inconsistent knowledge. Artificial Intelligence, 57(1):69–104, 1992.
Yoav Shoham. Reasoning about Change. MIT Press, 1988.
G.F. Shvarts. Autoepistemic modal logics. In The Conference on Theoretical Aspects of Reasoning About Knowledge1990, pages 97–109. Morgan Kaufmann Publishers, Inc., 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Shu, H. (1993). The preferential semantics of a multi-modal nonmonotonic logic. In: Clarke, M., Kruse, R., Moral, S. (eds) Symbolic and Quantitative Approaches to Reasoning and Uncertainty. ECSQARU 1993. Lecture Notes in Computer Science, vol 747. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0028217
Download citation
DOI: https://doi.org/10.1007/BFb0028217
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57395-1
Online ISBN: 978-3-540-48130-0
eBook Packages: Springer Book Archive