Abstract
Default logic is one of the best known and most studied of the approaches to nonmonotonic reasoning. Subsequently, several variants of default logic have been proposed to give systems with properties differing from the original. In this paper we show that these variants are in a sense superfluous, in that for any of these variants of default logic, we can exactly mimic the behaviour of a variant in standard default logic. We accomplish this by translating a default theory under a variant interpretation into a second default theory wherein the variant interpretation is respected.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Brewka, G.: Cumulative default logic: In defense of nonmonotonic inference rules. Artificial Intelligence 50(2), 183–205 (1991)
Cholewiński, P., Marek, V., Truszczyński, M.: Default reasoning system DeReS. In: Proceedings of the Fifth International Conference on the Principles of Knowledge Representation and Reasoning, pp. 518–528. Morgan Kaufmann Publishers, San Francisco (1996)
Delgrande, J.P., Schaub, T., Jackson, K.: Alternative approaches to default logic. Artificial Intelligence 70(1-2), 167–237 (1995)
Froidevaux, C., Mengin, J.: Default logic: A unified view. Computational Intelligence 10(3), 331–369 (1994)
Giordano, L., Martinelli, A.: On cumulative default logics. Artificial Intelligence 66(1), 161–179 (1994)
Gogic, G., Kautz, H., Papadimitriou, C., Selman, B.: The comparative linguistics of knowledge representation. In: Mellish, C. (ed.) Proceedings of the International Joint Conference on Artificial Intelligence, pp. 862–869. Morgan Kaufmann Publishers, San Francisco (1995)
Gottlob, G.: Complexity results for nonmonotonic logics. Journal of Logic and Computation 2(3), 397–425 (1992)
Gottlob, G., Mingyi, Z.: Cumulative default logic: Finite characterization, algorithms, and complexity. Artificial Intelligence 69(1-2), 329–345 (1994)
Janhunen, T.: Classifying semi-normal default logic on the basis of its expressive power. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol. 1730, pp. 19–33. Springer, Heidelberg (1999)
Linke, T., Schaub, T.: Towards a classification of default logics. Journal of Applied Non-Classical Logics 7(4), 397–451 (1997)
Lukaszewicz, W.: Considerations on default logic: An alternative approach. Computational Intelligence 4(1), 1–16 (1988)
Makinson, D.: General theory of cumulative inference. In: Reinfrank, M., Ginsberg, M.L., de Kleer, J., Sandewall, E. (eds.) Non-Monotonic Reasoning 1988. LNCS, vol. 346, pp. 1–18. Springer, Heidelberg (1988)
Marek, V., Truszczyński, M.: Nonmonotonic logic: context-dependent reasoning. In: Artifical Intelligence. Springer, Heidelberg (1993)
Mikitiuk, A., Truszczyński, M.: Rational default logic and disjunctive logic programming. In: Nerode, A., Pereira, L. (eds.) Proceedings of the Second International Workshop on logic Programming and Non-monotonic Reasoning, pp. 283–299. The MIT Press, Cambridge (1993)
Mikitiuk, A., Truszczyński, M.: Constrained and rational default logics. In: Proceedings of the International Joint Conference on Artificial Intelligence, Montréal, pp. 1509–1515. Morgan Kaufmann Publishers, San Francisco (1995)
Poole, D.L.: What the lottery paradox tells us about default reasoning (extended abstract). In: Proceedings of the First International Conference on the Principles of Knowledge Representation and Reasoning, Toronto, Ont. (1989)
Reiter, R.: A logic for default reasoning. Artificial Intelligence 13, 81–132 (1980)
Schaub, T.: Considerations on Default Logic. PhD thesis, Technische Hochschule Darmstadt, FB Informatik, FG Intellektik, Alexanderstr. (November 10, 1992)
Stillman, J.: It’s not my default: The complexity of membership problems in restricted propositional default logics. In: Proceedings of the Second International Conference on the Principles of Knowledge Representation and Reasoning, pp. 571–578 (1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Delgrande, J.P., Schaub, T. (2003). On the Relation between Reiter’s Default Logic and Its (Major) Variants. In: Nielsen, T.D., Zhang, N.L. (eds) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2003. Lecture Notes in Computer Science(), vol 2711. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45062-7_37
Download citation
DOI: https://doi.org/10.1007/978-3-540-45062-7_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40494-1
Online ISBN: 978-3-540-45062-7
eBook Packages: Springer Book Archive