Conditioned Circumscription: Translating Defaults to Circumscription

  • Gaby Merziger
  • Mathias Bauer
Conference paper
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 251)

Abstract

In this article a new form of circumscription, called conditioned circumscription is developed, that permits translating arbitrary defaults to circumscription. As a consequence the deduction methods of first-order predicate logic can be applied to default logic. The circumscription policy will be fixed and by showing the equivalence of conditioned circumscription and the corresponding default theory a model-theoretic semantics for default logic is presented.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [BM89]
    M. Bauer and G. Merziger. Conditioned Circumscription: Translating Defaults to Circumscription. Memo 34, Universität des Saarlandes, 1989.Google Scholar
  2. [Bre89]
    Gerhard Brewka. Nonmonotonic Reasoning — From Theoretical Foundations Towards Efficient Computation. PhD thesis, Universität Hamburg, 1989.Google Scholar
  3. [Eth88]
    David W. Etherington. Reasoning with Incomplete Information. Morgan Kaufmann, Los Altos, California, 1988.MATHGoogle Scholar
  4. [Gro84]
    Benjamin Grosof. Default reasoning as circumscription. In Non-Monotonic Reasoning Workshop, New Paltz, pages 115–124, 1984.Google Scholar
  5. [Imi87]
    Tomasz Imielinski. Results on translating defaults to circumscription. AI, 31:131–146, 1987.MathSciNetGoogle Scholar
  6. [Lif85]
    Vladimir Lifschitz. Computing circumscription. In Proceedings of the 9th International Joint Conference on Artificial Intelligence, pages 121–127, 1985.Google Scholar
  7. [Lif87]
    Vladimir Lifschitz. Pointwise circumscription. In Matthew L. Ginsberg, editor, Readings in Nonmonotonic Reasoning, pages 179–193, Morgan Kaufmann, Los Altos, California, 1987.Google Scholar
  8. [Luk84]
    Witold Lukaszewicz. Considerations on default logic. In Non-Monotonic Reasoning Workshop, New Paltz, pages 165–193, 1984.Google Scholar
  9. [Sch87]
    Karl Schlechta. Defaults, preorder semantics and circumscription. 1987. (unpublished)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Gaby Merziger
    • 1
  • Mathias Bauer
    • 1
  1. 1.Deutsches Forschungszentrum für Künstliche Intelligenz Standort SaarbrückenSaarbrücken 11Deutschland

Personalised recommendations