Abstract
The research reported in this paper was originally motivated by some defects in Reiter's DL. A first solution, CDL, solved the problems but introduced a new one, the floating conclusions problem. We therefore developed a new default logic, CDL*, which is distinct from CDL in the following respects:
-
assertions with multiple supports are admitted
-
one single set of credulous beliefs containing all CDL-extensions is defined inductively
-
skeptical derivability is defined in a new way.
The logic is cumulative and semi-monotonic. Due to the inductive definition of the credulous belief set we expect simpler implementations than for, e.g., DL. Among other things the logic can serve as the theoretical basis of Dressler's NMATMS. It gives intuitively expected results and is more expressive than comparable systems, e.g. Poole's approach (Poole 88).
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Brewka, Gerhard, Cumulative Default Logic: In Defense of Nonmonotonic Inference Rules, Artificial Intelligence 51, to appear, 1991
Dressler, Oskar, An Extended Basic ATMS, Proceedings 2nd International Workshop on Non-Monotonic Reasoning, Grassau, Germany, Springer, LNAI346 (1989) 143–163.
Makinson, David, General Theory of Cumulative Inference, Proceedings 2nd International Workshop on Non-Monotonic Reasoning, Grassau, Germany, Springer, LNAI 346 (1989) 1–18.
Brewka, Gerhard, Makinson, David, Schlechte, Karl, Cumulative Inference Relations for JTMS and Logic Programming, Proc. First International Workshop on Logic Programming and Non-Monotonic Reasoning, Washington, 1991, extended version to appear in Proc. NIL-90, Workshop on Nonmonotonic and Inductive Logics, Karlsruhe 1990, 1991
Poole, David, A Logical Framework for Default Reasoning, Artificial Intelligence 36 (1988) 27–47.
Poole, David, What the Lottery Paradox Tells Us About Default Reasoning, Proceedings First International Conference on Principles of Knowledge Representation and Reasoning, Toronto (1989) 333–340.
Reiter, Raymond, A Logic for Default Reasoning, Artificial Intelligence 13 (1980) 81–132.
Schaub, Torsten, Assertional Default Theories: A Semantical View, Proc. Second International Conference on Principles of Knowledge Representation and Reasoning (KR-2), 1991
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brewka, G. (1991). Assertional default theories. In: Kruse, R., Siegel, P. (eds) Symbolic and Quantitative Approaches to Uncertainty. ECSQARU 1991. Lecture Notes in Computer Science, vol 548. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54659-6_76
Download citation
DOI: https://doi.org/10.1007/3-540-54659-6_76
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54659-7
Online ISBN: 978-3-540-46426-6
eBook Packages: Springer Book Archive