Abstract
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.
Preview
Unable to display preview. Download preview PDF.
References
P.Besnard and T. Schaub, Possible Worlds Semantics for Default Logic, in Proc. Canadian Conference on AI, 1992.
K. Bowen, Model Theory for Modal Logics, Synthese Library, Reidel, Dordrecht, 1979.
G. Brewka, Cumulative Default Logic: in defense of nonmonotonic inference rules, Artificial Intelligence 50: 183–205, 1991.
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.
D. Etherington, A Semantics for Default Logic, in Proc. Int. Joint Conf. on Artificial Intelligence, pp.495–498, 1987.
G.E. Hughes and M.J. Cresswell, An Introduction to Modal Logic, Methuen, London, 1968.
W. Lucaszewicz, Considerations on Default Logic — an Alternative Approach, Computational Intelligence, 4:1–6, 1988.
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.
L. Giordano, Defining Variants of Default Logic: a Modal Approach, Technical Report, Università di Torino, 1992.
L. Giordano and A. Martelli, On Cumulative Default Logics, submitted.
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.
R. Reiter, A Logic for Default Reasoning, Artificial Intelligence, 13:81–132, 1980.
T. Schaub, Assertional Default Theories: A Semantical View. In J.Allen, R. Fikes and E. Sandewall, eds., Proc. KR'91, pp. 496–506, 1991.
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.
T. Schaub, On Constrained Default Theories, in Proc. 10th European Conference on Artificial Intelligence, pp.304–308, Vienna, August, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Giordano, L. (1993). Defining variants of default logic: A modal approach. In: Komorowski, J., Raś, Z.W. (eds) Methodologies for Intelligent Systems. ISMIS 1993. Lecture Notes in Computer Science, vol 689. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56804-2_6
Download citation
DOI: https://doi.org/10.1007/3-540-56804-2_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56804-9
Online ISBN: 978-3-540-47750-1
eBook Packages: Springer Book Archive