Defining variants of default logic: A modal approach

  • Laura Giordano
Logic for Artificial Intelligence I
Part of the Lecture Notes in Computer Science book series (LNCS, volume 689)


Recently some variants of Reiter's default logic have been proposed. These variants have been defined by altering the definition of default extension and, sometimes, also the definition of default theory. Recently a uniform semantic framework has been introduced by Besnard and Schaub, in which the semantics of the various default logics is given in terms of Kripke structures.

In this paper a uniform syntactic characterization for these different default logics is presented. First, a modal default logic, called K-default logic, is introduced. This logic is defined similarly to Reiter's default logic but it is based on an underlying modal logic (instead of classical logic). We show how the different variants of default logic, like Schaub's Constrained Default Logic, Brewka's CDL and also Lukaszewicz' variant, can be reconstructed within KDL: for each variant a different modal translation of default rules is proposed. In this way, the differences among the variants are made explicit on a syntactic ground.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Besnard&Schaub92]
    P.Besnard and T. Schaub, Possible Worlds Semantics for Default Logic, in Proc. Canadian Conference on AI, 1992.Google Scholar
  2. [Bowen79]
    K. Bowen, Model Theory for Modal Logics, Synthese Library, Reidel, Dordrecht, 1979.Google Scholar
  3. [Brewka91]
    G. Brewka, Cumulative Default Logic: in defense of nonmonotonic inference rules, Artificial Intelligence 50: 183–205, 1991.Google Scholar
  4. [Delgrande&Jackson91]
    J. Delgrande and W. Jackson, Default Logic Revised. In J.Allen, R. Fikes and E. Sandewall, eds., Proc. KR'91, pp. 118–127, Morgan Kaufmann, 1991.Google Scholar
  5. [Etherington87]
    D. Etherington, A Semantics for Default Logic, in Proc. Int. Joint Conf. on Artificial Intelligence, pp.495–498, 1987.Google Scholar
  6. [Hughes&Cresswell68]
    G.E. Hughes and M.J. Cresswell, An Introduction to Modal Logic, Methuen, London, 1968.Google Scholar
  7. [Lucaszewicz88]
    W. Lucaszewicz, Considerations on Default Logic — an Alternative Approach, Computational Intelligence, 4:1–6, 1988.Google Scholar
  8. [Makinson89]
    D. Makinson, General Theory of Cumulative Inference, in M. Reinfrank, eds., Proc. Int. Workshop on Non-Monotonic Reasoning, vol. 346 Lecture Notes in Artificial Intelligence, pp.1–18, Springer Verlag, 1989.Google Scholar
  9. [Giordano92]
    L. Giordano, Defining Variants of Default Logic: a Modal Approach, Technical Report, Università di Torino, 1992.Google Scholar
  10. [Giordano&Martelli92]
    L. Giordano and A. Martelli, On Cumulative Default Logics, submitted.Google Scholar
  11. [Poole89]
    D. Poole, What the Lottery Paradox Tells us about Default Reasoning, in R. Brachman, H. Levesque, and R. Reiter, eds., Proc. KR'89, pp. 333–340, Morgan Kaufmann, 1989.Google Scholar
  12. [Reiter80]
    R. Reiter, A Logic for Default Reasoning, Artificial Intelligence, 13:81–132, 1980.Google Scholar
  13. [Schaub91a]
    T. Schaub, Assertional Default Theories: A Semantical View. In J.Allen, R. Fikes and E. Sandewall, eds., Proc. KR'91, pp. 496–506, 1991.Google Scholar
  14. [Schaub91b]
    T. Schaub, On Commitment and cumulativity in Default Logics, in R. Kruse, ed., Proc. European Conference on Symbolic and Quantitative Approaches to Uncertainty, pp.304–309, Springer, 1991.Google Scholar
  15. [Schaub92]
    T. Schaub, On Constrained Default Theories, in Proc. 10th European Conference on Artificial Intelligence, pp.304–308, Vienna, August, 1992.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Laura Giordano
    • 1
  1. 1.Dipartimento di InformaticaUniversità di TorinoTorino

Personalised recommendations