A Semantics for Conditionals with Default Negation

  • Marco Wilhelm
  • Christian Eichhorn
  • Richard Niland
  • Gabriele Kern-Isberner
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10369)

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.

References

  1. 1.
    Adams, E.W.: The Logic of Conditionals: An Application of Probability to Deductive Logic. Springer, New York (1975)CrossRefMATHGoogle 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)MATHGoogle 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)CrossRefMATHGoogle 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)MathSciNetCrossRefMATHGoogle Scholar
  8. 8.
    Lehmann, D.J., Magidor, M.: What does a conditional knowledge base entail? Artif. Intell. 55, 1–60 (1992)MathSciNetCrossRefMATHGoogle 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

  • Marco Wilhelm
    • 1
  • Christian Eichhorn
    • 1
  • Richard Niland
    • 1
  • Gabriele Kern-Isberner
    • 1
  1. 1.Department of Computer ScienceTU DortmundDortmundGermany

Personalised recommendations