Advertisement

A semantics for open normal defaults via a modified preferential approach

  • Franz Baader
  • Karl Schlechta
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 747)

Abstract

We present a new approach for handling open normal defaults that makes it possible
  1. 1.

    to derive existentially quantified formulae from other existentially quantified formulae by default,

     
  2. 2.

    to derive universally quantified formulae by default, and

     
  3. 3.

    to treat cardinality formulae analogously to other formulae.

     

Differing from previous approaches that do not satisfy all these properties, we will not view open defaults as schemata for certain instantiated defaults. Instead they will be used to define a preference relation on models. In modification of the usual approaches to preferential semantics we shall consider limits instead of minimal models.

Keywords

Preference Relation Minimal Model Default Rule Default Theory Ground Term 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    F. Baader and B. Hollunder. Embedding defaults into terminological knowledge representation formalisms. In Proceedings of the 3rd International Conference on Knowledge Representation and Reasoning, Cambridge, Mass., 1992.Google Scholar
  2. 2.
    F. Baader and B. Hollunder. How to prefer more specific defaults in terminological default logic. To appear in Proceedings of the IJCAI'93, Chambery, France, 1993.Google Scholar
  3. 3.
    F. Baader and K. Schlechta. A semantics for open normal defaults via a modified preferential approach. Research Report RR-93-13, DFKI Saarbrücken, 1993.Google Scholar
  4. 4.
    G. Brewka. Preferred subtheories: An extended logical framework for default reasoning. In Proceedings of the IJCAI'89, pages 1043–1048, Detroit, Mich., 1989.Google Scholar
  5. 5.
    G. Brewka. Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press, Cambridge, 1991.Google Scholar
  6. 6.
    D. Gabbay. Theoretical foundations for non-monotonic reasoning in expert systems. In K.R. Apt, editor, Proceedings of the NATO Advanced Studies Institute on Logics and Models of Concurrent Systems, pages 439–457, La Colle-sur-Loup, France, Springer Verlag, 1985.Google Scholar
  7. 7.
    S. Kraus, D. Lehmann, and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44(1–2):137–207, 1990.Google Scholar
  8. 8.
    V. Lifschitz. On open defaults. In Proceedings of the Symposium on Computational Logics, Brüssel, Belgium, 1990.Google Scholar
  9. 9.
    D. Makinson. General theory of cumulative inferences. In M. Reinfrank, J. de Kleer, M.L. Ginsberg, editors, Proceedings of the Second International Workshop on Non-Monotonic Reasoning, pages 1–18, Springer Verlag, Berlin, 1989.Google Scholar
  10. 10.
    D. Makinson. General patterns in nonmonotonic reasoning. To appear in D. Gabbay and C. Hogger, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, vol. II: Nonmonotonic and Uncertain Reasoning, Oxford.Google Scholar
  11. 11.
    R. Reiter. A logic for default reasoning. Artificial Intelligence, 13(1–2):81–132, 1980.Google Scholar
  12. 12.
    R. Reiter and G. Criscuolo. On interacting defaults. In Proceedings of the IJ-CAI'81, 1981.Google Scholar
  13. 13.
    K. Schlechta. Some results on classical preferential models. To appear in J. of Logic and Computation, 2(6), 1992.Google Scholar
  14. 14.
    Y. Shoham. Nonmonotonic logics: Meaning and utility. In Proceedings of the IJCAI'87, pages 388–393, Milan, Italy, 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Franz Baader
    • 1
  • Karl Schlechta
    • 2
  1. 1.Lehr- und Forschungsgebiet Theoretische InformatikRWTH AachenAachen
  2. 2.Université de ProvenceMarseille Cedex 3

Personalised recommendations