Abstract
Reiter’s default logic can not tolerate contradictions in default theories. In the paper we modify the definition of default extension to permit conflicts between justifications of used defaults and default conclusions, which are called incoherences, to ensure the existence of extension. Then desired extensions are selected as preferred ones according to the criterion that incoherences should be minimal in a preferred extension. Besides, the underlying reasoning system is shifted to four-valued logic to deal with inconsistencies in axioms of default theories.
This work is partially supported by NSFC (grant number 60373002 and 60496322) and NKBRPC (grant number 2004CB318000).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Reiter, R.: A logic for default reasoning. Artificial Intelligence 13, 81–132 (1980)
Han, Q., Lin, Z.: Paraconsistent default reasoning. In: 10th International Workshop on Non-Monotonic Reasoning, pp. 197–203 (2004)
Yue, A., Lin, Z.: Default logic based on four valued semantics. Chinese Journal of Computer Science 28(9), 1447–1458 (2005)
daCosta, N.: Theory of inconsistent formal systems. Notre Dame Journal of Formal Logic 15, 497–510 (1974)
Besnard, P., Torsten, S.: Signed system for paraconsistent reasoning. Journal of Automated Reasoning 20(1-2), 191–213 (1998)
Arieli, O., Avron, A.: The value of the four values. Artificial Intelligence 102(1), 97–141 (1998)
Belnap, N.: A useful four-valued logic. Modern uses of multiple-valued logic, pp. 30–56 (1977)
Ginsberg, M.L.: Multivalued logics: a uniform approach to reasoning in artificial intelligence. Computational Intelligence 4, 265–316 (1988)
Antoniou, G., Sperschneider, V.: Operational concepts of nonmonotonic logics, part 1: Default logic. Artificial Intelligence 8(1), 3–16 (1994)
Lukaszewicz, W.: Considerations on default logic: an alternative approach. Computational Intelligence 4(1), 1–16 (1988)
Schaub, T.: On constrained default theories. In: ECAI, pp. 304–308 (1992)
Brewka, G.: Cumulative default logic: in defense of nonmonotonic inference rules. Artif. Intell. 50(2), 183–205 (1991)
Zhang, M.: A new research into default logic. Inf. Comput. 129(2), 73–85 (1996)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lin, Z., Lin, Z. (2007). Handling Contradictions in Default Theories. In: Zhang, Z., Siekmann, J. (eds) Knowledge Science, Engineering and Management. KSEM 2007. Lecture Notes in Computer Science(), vol 4798. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76719-0_58
Download citation
DOI: https://doi.org/10.1007/978-3-540-76719-0_58
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-76718-3
Online ISBN: 978-3-540-76719-0
eBook Packages: Computer ScienceComputer Science (R0)