Abstract
The evolution of Reiter's default logic has resulted in diverse variants sharing many interesting properties. This process however seems to be diverging because it has led to default logics that are difficult to compare due to different formal characterizations dealing sometimes even with different objects of discourse. This problem is addressed in this paper. That is, we elaborate on the relationships between different types of default logics. In particular, we show how two recently proposed variants, namely rational and CA-default logic, are related to each other and existing default logics.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
G. Brewka. Cumulative default logic: In defense of nonmonotonic inference rules. Artificial Intelligence, 50(2):183–205, 1991.
J. Delgrande and W. Jackson. Default logic revisited. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of the Second International Conference on the Principles of Knowledge Representation and Reasoning, pages 118–127, San Mateo, CA, April 1991. Morgan Kaufmann Publishers.
J. Delgrande, T. Schaub, and W. Jackson. Alternative approaches to default logic. Artificial Intelligence, 70(1–2): 167–237, 1994.
C. Froidevaux and J. Mengin. Default logic: A unified view. Computational Intelligence, 10(3):331–369, 1994.
L. Giordano and A. Martinelli. On cumulative default logics. Artificial Intelligence, 66(1):161–179, 1994.
F. Lévy. Computing extensions of default theories. In R. Kruse and P. Siegel, editors, Proceedings of the European Conference on Symbolic and Quantitative Approaches for Uncertainty, volume 548 of Lecture Notes in Computer Science, pages 219–226. Springer Verlag, 1991.
T. Linke and T. Schaub. Putting default logics in perspective. Technical report, 1996. Submitted for publication.
W. Lukaszewicz. Considerations on default logic — an alternative approach. Computational Intelligence, 4:1–16, 1988.
D. Makinson. General theory of cumulative inference. In M. Reinfrank, J. de Kleer, M. Ginsberg, and E. Sandewall, editors, Proceedings of the Second International Workshop on Non-Monotonic Reasoning, volume 346 of Lecture Notes in Artificial Intelligence, pages 1–18. Springer Verlag, 1989.
W. Marek and M. Truszczyński. Normal form results for default logics. In G. Brewka, K. Jantke, and P. Schmitt, editors, Nonmonotonic and Inductive Logic, volume 659 of Lecture Notes in Artificial Intelligence, pages 153–174. Springer Verlag, 1993.
A. Mikitiuk and M. Truszczyński. Rational default logic and disjunctive logic programming. In A. Nerode and L. Pereira, editors, Proceedings of the Second International Workshop on logic Programming and Non-monotonic Reasoning., pages 283–299. MIT Press, 1993.
A. Mikitiuk and M. Truszczyński. Rational versus constrained default logic. In C. Mellish, editor, Proceedings of the International Joint Conference on Artificial Intelligence, pages 1509–1515. Morgan Kaufmann Publishers, 1995.
D. Poole. What the lottery paradox tells us about default reasoning. In R. Brachman, H. Levesque, and R. Reiter, editors, Proceedings of the First International Conference on the Principles of Knowledge Representation and Reasoning, pages 333–340, Los Altos, CA, May 1989. Morgan Kaufmann Publishers.
R. Reiter. A logic for default reasoning. Artificial Intelligence, 13(1–2):81–132, 1980.
T. Schaub. On commitment and cumulativity in default logics. In R. Kruse and P. Siegel, editors, Proceedings of European Conference on Symbolic and Quantitative Approaches to Uncertainty, pages 304–309. Springer Verlag, 1991.
T. Schaub. On constrained default theories. In B. Neumann, editor, Proceedings of the European Conference on Artificial Intelligence, pages 304–308. John Wiley & sons, 1992.
T. Schaub. Variations of constrained default logic. In M. Clarke, R. Kruse, and S. Moral, editors, Proceedings of European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, pages 312–317. Springer Verlag, 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Linke, T., Schaub, T. (1996). Putting default logics in perspective. In: Görz, G., Hölldobler, S. (eds) KI-96: Advances in Artificial Intelligence. KI 1996. Lecture Notes in Computer Science, vol 1137. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61708-6_64
Download citation
DOI: https://doi.org/10.1007/3-540-61708-6_64
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61708-2
Online ISBN: 978-3-540-70669-4
eBook Packages: Springer Book Archive