A Declarative Approach for Computing Ordinal Conditional Functions Using Constraint Logic Programming

  • Christoph BeierleEmail author
  • Gabriele Kern-Isberner
  • Karl Södler
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7773)


In order to give appropriate semantics to qualitative conditionals of the form if A then normally B, ordinal conditional functions (OCFs) ranking the possible worlds according to their degree of plausibility can be used. An OCF accepting all conditionals of a knowledge base R can be characterized as the solution of a constraint satisfaction problem. We present a high-level, declarative approach using constraint logic programming (CLP) techniques for solving this constraint satisfaction problem. In particular, the approach developed here supports the generation of all minimal solutions; this also holds for different notions of minimality which we discuss and implement in CLP. Minimal solutions are of special interest as they provide a basis for model-based inference from R.


Ranking Function Constraint Satisfaction Problem Epistemic State Minimal Solution Propositional Formula 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Beierle, C., Kern-Isberner, G.: A verified AsmL implementation of belief revision. In: Börger, E., Butler, M., Bowen, J.P., Boca, P. (eds.) ABZ 2008. LNCS, vol. 5238, pp. 98–111. Springer, Heidelberg (2008)Google Scholar
  2. 2.
    Beierle, C., Kern-Isberner, G.: On the computation of ranking functions for default rules - a challenge for constraint programming. In: Heiß, H.-U., Pepper, P., Schlingloff, H., Schneider, J. (eds.) Informatik 2011: Informatik schafft Communities, Beiträge der 41. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 4.-7.10.2011, Berlin (Abstract Proceedings), volume P-192 of LNI. GI (2011)Google Scholar
  3. 3.
    Beierle, C., Kern-Isberner, G., Koch, N.: A high-level implementation of a system for automated reasoning with default rules (system description). In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol. 5195, pp. 147–153. Springer, Heidelberg (2008)Google Scholar
  4. 4.
    Benferhat, S., Dubois, D., Prade, H.: Representing default rules in possibilistic logic. In: Proceedings 3th International Conference on Principles of Knowledge Representation and Reasoning KR’92, pp. 673–684 (1992)Google Scholar
  5. 5.
    Bourne, R.A.: Default reasoning using maximum entropy and variable strength defaults. Ph.D. thesis, Univ. of London (1999)Google Scholar
  6. 6.
    Bourne, R.A., Parsons, S.: Maximum entropy and variable strength defaults. In: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI’99, pp. 50–55 (1999)Google Scholar
  7. 7.
    DeFinetti, B.: Theory of Probability, vol. 1,2. Wiley, New York (1974)Google Scholar
  8. 8.
    Eiter, T., Lukasiewicz, T.: Complexity results for structure-based causality. Artif. Intell. 142(1), 53–89 (2002)MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    Goldszmidt, M., Morris, P., Pearl, J.: A maximum entropy approach to nonmonotonic reasoning. IEEE Trans. Pattern Anal. Mach. Intell. 15(3), 220–232 (1993)CrossRefGoogle Scholar
  10. 10.
    Goldszmidt, M., Pearl, J.: Qualitative probabilities for default reasoning, belief revision, and causal modeling. Artif. Intell. 84, 57–112 (1996)MathSciNetCrossRefGoogle Scholar
  11. 11.
    Kern-Isberner, G.: Characterizing the principle of minimum cross-entropy within a conditional-logical framework. Artif. Intell. 98, 169–208 (1998)MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    Kern-Isberner, G.: Conditionals in nonmonotonic reasoning and belief revision. LNCS (LNAI), vol. 2087. Springer, Heidelberg (2001)Google Scholar
  13. 13.
    Kern-Isberner, G.: Handling conditionals adequately in uncertain reasoning and belief revision. J. Appl. Non-Class. Logics 12(2), 215–237 (2002)MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    Carlsson, M., Ottosson, G., Carlson, B.: An open-ended finite domain constraint solver. In: Glaser, H., Hartel, P.H., Kuchen, H. (eds.) PLILP 1997. LNCS, vol. 1292, pp. 191–206. Springer, Heidelberg (1997)Google Scholar
  15. 15.
    Müller, C.: Implementing default rules by optimal conditional ranking functions. B.Sc. Thesis, Department of Computer Science, FernUniversität in Hagen, Germany (2004) (in German)Google Scholar
  16. 16.
    Paris, J.B.: The uncertain reasoner’s companion - A mathematical perspective. Cambridge University Press, Cambridge (1994)zbMATHGoogle Scholar
  17. 17.
    Paris, J.B., Vencovska, A.: In defence of the maximum entropy inference process. Int. J. Approximate Reasoning 17(1), 77–103 (1997)MathSciNetCrossRefzbMATHGoogle Scholar
  18. 18.
    Spohn, W.: Ordinal conditional functions: a dynamic theory of epistemic states. In: Harper, W.L., Skyrms, B. (eds.) Causation in Decision, Belief Change, and Statistics, vol. II, pp. 105–134. Kluwer Academic Publishers, Dordrecht (1988)CrossRefGoogle Scholar
  19. 19.
    Weydert, E.: System JZ - How to build a canonical ranking model of a default knowledge base. In: Proceedings KR’98. Morgan Kaufmann, San Mateo (1998)Google Scholar
  20. 20.
    Wielemaker, J., Schrijvers, T., Triska, M., Lager, T.: SWI-Prolog. CoRR, abs/1011.5332, (2010) (to appear in Theory and Practice of Logic Programming)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Christoph Beierle
    • 1
    Email author
  • Gabriele Kern-Isberner
    • 2
  • Karl Södler
    • 1
  1. 1.Department of Computer ScienceFernUniversität in HagenHagenGermany
  2. 2.Department of Computer ScienceTU DortmundDortmundGermany

Personalised recommendations