Advertisement

The preferential semantics of a multi-modal nonmonotonic logic

Conference paper
Part of the Lecture Notes in Computer Science book series (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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [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. [2]
    B.F. Chellas. Modal Logic: an Introduction. Cambridge University Press, 1980.Google Scholar
  3. [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. [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. [5]
    D. McDermott. Nonmonotonic logic II. Journal of ACM, 29:33–57, 1982.Google Scholar
  6. [6]
    N. Roos. A logic for reasoning with inconsistent knowledge. Artificial Intelligence, 57(1):69–104, 1992.Google Scholar
  7. [7]
    Yoav Shoham. Reasoning about Change. MIT Press, 1988.Google Scholar
  8. [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

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Hua Shu
    • 1
  1. 1.Dept. of Computer Science and Business AdministrationUniversity of Karlskrona/RonnebyRonnebySweden

Personalised recommendations