Skip to main content

A Minimal Model Semantics for Nonmonotonic Reasoning

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNAI,volume 7519)

Abstract

This paper provides a general semantic framework for nonmonotonic reasoning, based on a minimal models semantics on the top of KLM systems for nonmonotonic reasoning. This general framework can be instantiated in order to provide a semantic reconstruction within modal logic of the notion of rational closure, introduced by Lehmann and Magidor. We give two characterizations of rational closure: the first one in terms of minimal models where propositional interpretations associated to worlds are fixed along minimization, the second one where they are allowed to vary. In both cases a knowledge base must be expanded with a suitable set of consistency assumptions, represented by negated conditionals. The correspondence between rational closure and minimal model semantics suggests the possibility of defining variants of rational closure by changing either the underlying modal logic or the comparison relation on models.

Keywords

  • Modal Logic
  • Minimal Model
  • Rational Closure
  • Canonical Model
  • Propositional Formula

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Booth, R., Paris, J.B.: A note on the rational closure of knowledge bases with both positive and negative knowledge. Journal of Logic, Language and Information 7, 165–190 (1998)

    CrossRef  MathSciNet  MATH  Google Scholar 

  2. Boutilier, C.: Conditional logics of normality: a modal approach. Artificial Intelligence 68(1), 87–154 (1994)

    CrossRef  MathSciNet  MATH  Google Scholar 

  3. Casini, G., Straccia, U.: Rational Closure for Defeasible Description Logics. In: Janhunen, T., Niemelä, I. (eds.) JELIA 2010. LNCS, vol. 6341, pp. 77–90. Springer, Heidelberg (2010)

    CrossRef  Google Scholar 

  4. Friedman, N., Halpern, J.Y.: Plausibility measures and default reasoning. Journal of the ACM 48(4), 648–685 (2001)

    CrossRef  MathSciNet  MATH  Google Scholar 

  5. Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: A Nonmonotonic Extension of KLM Preferential Logic P. In: Fermüller, C.G., Voronkov, A. (eds.) LPAR-17. LNCS, vol. 6397, pp. 317–332. Springer, Heidelberg (2010)

    CrossRef  Google Scholar 

  6. Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: A minimal model semantics for rational closure. In: Rosati, R., Woltran, S. (eds.) 14th International Workshop on Non-Monotonic Reasoning, NMR 2012, Roma, Italy (2012)

    Google Scholar 

  7. Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44(1-2), 167–207 (1990)

    CrossRef  MathSciNet  MATH  Google Scholar 

  8. Lehmann, D., Magidor, M.: What does a conditional knowledge base entail? Artificial Intelligence 55(1), 1–60 (1992)

    CrossRef  MathSciNet  MATH  Google Scholar 

  9. Pearl, J.: System Z: A natural ordering of defaults with tractable applications to nonmonotonic reasoning. In: Parikh, R. (ed.) TARK (3rd Conference on Theoretical Aspects of Reasoning about Knowledge), pp. 121–135. Morgan Kaufmann, Pacific Grove (1990)

    Google Scholar 

  10. Pearl, J., Goldszmidt, M.: On the relation between rational closure and System-Z. In: NMR 1990 (3rd Int. W. on Non-Monotonic Reasoning), South Lake Tahoe, California, USA (1990)

    Google Scholar 

  11. Spohn, W.: Ordinal conditional functions: A dynamic theory of epistemic states. In: Harper, W.L., Skyrms, B. (eds.) Causation in Decision, Belief Change, and Statistics, pp. 105–134. Kluwer, Dordrecht (1988)

    CrossRef  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L. (2012). A Minimal Model Semantics for Nonmonotonic Reasoning. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds) Logics in Artificial Intelligence. JELIA 2012. Lecture Notes in Computer Science(), vol 7519. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33353-8_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-33353-8_18

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-33352-1

  • Online ISBN: 978-3-642-33353-8

  • eBook Packages: Computer ScienceComputer Science (R0)