On Transformations and Normal Forms of Conditional Knowledge Bases

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


Background knowledge is often represented by sets of conditionals of the form “if A then usually B”. Such knowledge bases should not be circuitous, but compact and easy to compare in order to allow for efficient processing in approaches dealing with and inferring from background knowledge, such as nonmonotonic reasoning. In this paper we present transformation systems on conditional knowledge bases that allow to identify and remove unnecessary conditionals from the knowledge base while preserving the knowledge base’s model set.



This work was supported by DFG-Grant KI1413/5-1 to Gabriele Kern-Isberner as part of the priority program “New Frameworks of Rationality” (SPP 1516). Christian Eichhorn is supported by this Grant.


  1. 1.
    B. de Finetti. La prévision, ses lois logiques et ses sources subjectives. Ann. Inst. H. Poincaré, 7(1):1–68, 1937. Engl. transl. Theory of Probability, J. Wiley & Sons, 1974Google Scholar
  2. 2.
    Goldszmidt, M., Pearl, J.: Qualitative probabilities for default reasoning, belief revision, and causal modeling. Artificial Intelligence 84(1–2), 57–112 (1996)MathSciNetCrossRefGoogle Scholar
  3. 3.
    G. Kern-Isberner. Conditionals in Nonmonotonic Reasoning and Belief Revision - Considering Conditionals as Agents. Number 2087 in Lecture Notes in Computer Science. Springer Science+Business Media, Berlin, DE, 2001Google Scholar
  4. 4.
    Pearl, J.: System Z: A natural ordering of defaults with tractable applications to nonmonotonic reasoning. In: Parikh, R. (ed.) Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge (TARK1990). pp, pp. 121–135. Morgan Kaufmann Publishers Inc, San Francisco, CA, USA (1990)Google Scholar
  5. 5.
    Spohn, W.: The Laws of Belief: Ranking Theory and Its Philosophical Applications. Oxford University Press, Oxford, UK (2012)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.Department of Computer ScienceUniversity of HagenHagenGermany
  2. 2.Department of Computer ScienceTU DortmundDortmundGermany

Personalised recommendations