A Semantics for Conditionals with Default Negation

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10369)


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.



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).


  1. 1.
    Adams, E.W.: The Logic of Conditionals: An Application of Probability to Deductive Logic. Springer, New York (1975)CrossRefzbMATHGoogle Scholar
  2. 2.
    Clark, K.L.: Negation as Failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases. Springer, New York (1978)Google Scholar
  3. 3.
    de Finetti, B.: Theory of Probability. Wiley, New York (1974)zbMATHGoogle Scholar
  4. 4.
    Gelfond, M.: Answer sets. In: Lifschitz, V., van Hermelen, F., Porter, B. (eds.) Handbook of Knowledge Representation. Elsevier, San Diego (2008)Google Scholar
  5. 5.
    Goldszmidt, M., Pearl, J.: Qualitative probabilities for default reasoning, belief revision, and causal modeling. Artif. Intell. 84, 57–112 (1996)MathSciNetCrossRefGoogle Scholar
  6. 6.
    Kern-Isberner, G.: Conditionals in Nonmonotonic Reasoning and Belief Revision: Considering Conditionals As Agents. Springer, New York (2001)CrossRefzbMATHGoogle Scholar
  7. 7.
    Kern-Isberner, G.: A thorough axiomatization of a principle of conditional preservation in belief revision. Ann. Math. Artif. Intell. 40, 127–164 (2004)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Lehmann, D.J., Magidor, M.: What does a conditional knowledge base entail? Artif. Intell. 55, 1–60 (1992)MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    Pearl, J.: System Z: A natural ordering of defaults with tractable applications to default reasoning. In: Proceedings of the 3rd TARK Conference (1990)Google Scholar
  10. 10.
    Spohn, W.: The Laws of Belief: Ranking Theory and Its Philosophical Applications. Oxford University Press, Oxford (2012)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.Department of Computer ScienceTU DortmundDortmundGermany

Personalised recommendations