Skip to main content
SpringerLink
Log in
Book cover

European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty

ECSQARU 1993: Symbolic and Quantitative Approaches to Reasoning and Uncertainty pp 326–331Cite as

The preferential semantics of a multi-modal nonmonotonic logic

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 747))

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.

Unable to display preview. Download preview PDF.

References

  1. J.V. Benthem. Partiality and nonmonotonicity in classical logic. CSLI Report CSLI-84-12, Center for the study of language and information, Stanford, 1984.

    Google Scholar 

  2. B.F. Chellas. Modal Logic: an Introduction. Cambridge University Press, 1980.

    Google Scholar 

  3. 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.

    Google Scholar 

  4. W. Marek and M. Truszczynski. Modal logic for default reasoning. In Annals of Mathematics and Artificial Intelligence, volume 1, pages 275–302, 1990.

    Google Scholar 

  5. D. McDermott. Nonmonotonic logic II. Journal of ACM, 29:33–57, 1982.

    Google Scholar 

  6. N. Roos. A logic for reasoning with inconsistent knowledge. Artificial Intelligence, 57(1):69–104, 1992.

    Google Scholar 

  7. Yoav Shoham. Reasoning about Change. MIT Press, 1988.

    Google Scholar 

  8. G.F. Shvarts. Autoepistemic modal logics. In The Conference on Theoretical Aspects of Reasoning About Knowledge1990, pages 97–109. Morgan Kaufmann Publishers, Inc., 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Science and Business Administration, University of Karlskrona/Ronneby, S-372 25, Ronneby, Sweden

    Hua Shu

Authors
  1. Hua Shu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Michael Clarke Rudolf Kruse Serafín Moral

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation