Defining variants of default logic: A modal approach
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.
- [Besnard&Schaub92]P.Besnard and T. Schaub, Possible Worlds Semantics for Default Logic, in Proc. Canadian Conference on AI, 1992.Google Scholar
- [Bowen79]K. Bowen, Model Theory for Modal Logics, Synthese Library, Reidel, Dordrecht, 1979.Google Scholar
- [Brewka91]G. Brewka, Cumulative Default Logic: in defense of nonmonotonic inference rules, Artificial Intelligence 50: 183–205, 1991.Google Scholar
- [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
- [Etherington87]D. Etherington, A Semantics for Default Logic, in Proc. Int. Joint Conf. on Artificial Intelligence, pp.495–498, 1987.Google Scholar
- [Hughes&Cresswell68]G.E. Hughes and M.J. Cresswell, An Introduction to Modal Logic, Methuen, London, 1968.Google Scholar
- [Lucaszewicz88]W. Lucaszewicz, Considerations on Default Logic — an Alternative Approach, Computational Intelligence, 4:1–6, 1988.Google Scholar
- [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
- [Giordano92]L. Giordano, Defining Variants of Default Logic: a Modal Approach, Technical Report, Università di Torino, 1992.Google Scholar
- [Giordano&Martelli92]L. Giordano and A. Martelli, On Cumulative Default Logics, submitted.Google Scholar
- [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
- [Reiter80]R. Reiter, A Logic for Default Reasoning, Artificial Intelligence, 13:81–132, 1980.Google Scholar
- [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
- [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
- [Schaub92]T. Schaub, On Constrained Default Theories, in Proc. 10th European Conference on Artificial Intelligence, pp.304–308, Vienna, August, 1992.Google Scholar