Abstract
Ranking functions constitute a powerful formalism for nonmonotonic reasoning based on qualitative conditional knowledge. Conditionals are formalized defeasible rules and thus allow one to express that certain individuals or subclasses of some broader concept behave differently. More precisely, in order to model these exceptions by means of ranking functions, it is necessary to state that they behave contrarily with respect to the considered property. This paper proposes conditionals with default negation which instead enable a knowledge engineer to formalize exceptions without giving more specific information. This is useful when a subclass behaves indifferent towards a certain property, or the knowledge engineer wants to exclude a certain subclass because she is not aware of its behavior. Based on this novel type of conditionals, we further present and discuss a nonmonotonic inference formalism.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Adams, E.W.: The Logic of Conditionals: An Application of Probability to Deductive Logic. Springer, New York (1975)
Clark, K.L.: Negation as Failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases. Springer, New York (1978)
de Finetti, B.: Theory of Probability. Wiley, New York (1974)
Gelfond, M.: Answer sets. In: Lifschitz, V., van Hermelen, F., Porter, B. (eds.) Handbook of Knowledge Representation. Elsevier, San Diego (2008)
Goldszmidt, M., Pearl, J.: Qualitative probabilities for default reasoning, belief revision, and causal modeling. Artif. Intell. 84, 57–112 (1996)
Kern-Isberner, G.: Conditionals in Nonmonotonic Reasoning and Belief Revision: Considering Conditionals As Agents. Springer, New York (2001)
Kern-Isberner, G.: A thorough axiomatization of a principle of conditional preservation in belief revision. Ann. Math. Artif. Intell. 40, 127–164 (2004)
Lehmann, D.J., Magidor, M.: What does a conditional knowledge base entail? Artif. Intell. 55, 1–60 (1992)
Pearl, J.: System Z: A natural ordering of defaults with tractable applications to default reasoning. In: Proceedings of the 3rd TARK Conference (1990)
Spohn, W.: The Laws of Belief: Ranking Theory and Its Philosophical Applications. Oxford University Press, Oxford (2012)
Acknowledgments
This research was supported by the DFG research unit FOR 1513 on “Hybrid Reasoning for Intelligent Systems” and the DFG grant KI1413/5-1 to Prof. Kern-Isberner as part of the priority program “New Frameworks of Rationality” (SPP 1516).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Wilhelm, M., Eichhorn, C., Niland, R., Kern-Isberner, G. (2017). A Semantics for Conditionals with Default Negation. In: Antonucci, A., Cholvy, L., Papini, O. (eds) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2017. Lecture Notes in Computer Science(), vol 10369. Springer, Cham. https://doi.org/10.1007/978-3-319-61581-3_24
Download citation
DOI: https://doi.org/10.1007/978-3-319-61581-3_24
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-61580-6
Online ISBN: 978-3-319-61581-3
eBook Packages: Computer ScienceComputer Science (R0)