KI - Künstliche Intelligenz

, Volume 29, Issue 3, pp 279–289 | Cite as

Qualitative and Semi-Quantitative Inductive Reasoning with Conditionals

Technical Project Report
Research Project
  • 132 Downloads

Abstract

Conditionals like “birds fly—if bird then fly” are crucial for commonsense reasoning. In this technical project report we show that conditional logics provide a powerful formal framework that helps understanding if-then sentences in a way that is much closer to human reasoning than classical logic and allows for high-quality reasoning methods. We describe methods that inductively generate models from conditional knowledge bases. For this, we use both qualitative (like preferential models) and semi-quantitative (like Spohn’s ranking functions) semantics. We show similarities and differences between the resulting inference relations with respect to formal properties. We further report on two graphical methods on top of the ranking approaches which allow to decompose the models into smaller, more feasible components and allow for local inferences.

Keywords

Conditionals Nonmonotonic reasoning Induction  System P Networks Ordinal conditional function Conditional structures 

References

  1. 1.
    Adams EW (1975) The Logic of Conditionals: An Application of Probability to Deductive Logic. Synthese Library. Springer Science+Business Media, DordrechtCrossRefMATHGoogle Scholar
  2. 2.
    Benferhat S, Cayrol C, Dubois D, Lang J, Prade H (1993) Inconsistency Management and Prioritized Syntax-Based Entailment. In: Proceedings of the International Joint Conferences on Artificial Intelligence. pp. 640–647Google Scholar
  3. 3.
    R Da Silva Neves, Bonnefon JF, Raufaste E (2002) An Empirical Test of Patterns for Nonmonotonic Inference. Ann Math Artif Intell 34(1–3):107–130MathSciNetGoogle Scholar
  4. 4.
    Dietz EA, Hölldobler S, Ragni M (2013) A computational logic approach to the abstract and the social case of the selection task. In: Proceedings of the 11th International Symposium on Logical Formalizations of Commonsense ReasoningGoogle Scholar
  5. 5.
    Donald N, Cross CB (2002) Conditional logic. In: Gabbay DM, Guenther F (eds) Handbook of Philosophical Logic, 2nd edn., vol. 4. Kluwer Academic Publishers, Dordrecht, pp. 1–98Google Scholar
  6. 6.
    Eichhorn C, Kern-Isberner G (2014) LEG Networks for Ranking Functions. In: Logics in Artificial Intelligence. In: Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA’14), Lecture Notes in Computer Science, vol. 8761. pp. 210–223Google Scholar
  7. 7.
    Eichhorn C, Kern-Isberner G (2015) Using inductive reasoning for completing OCF-networks. In: FLAIRS Uncertain Reasoning special issue (in print), Journal of Applied LogicGoogle Scholar
  8. 8.
    Furbach U, Schon C (2015) Deontic Logic for Human Reasoning. In: Eiter T, Strass H, Truszczynski M, Woltran S (eds) Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation—Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, no. 9060 in Lecture Notes in Artificial Intelligence. Springer International Publishing, WiesbadenGoogle Scholar
  9. 9.
    Goldszmidt M, Pearl J (1991) System-Z+: A formalism for reasoning with variable-strength defaults. In: Proceedings of the ninth National conference on Artificial intelligence (AAAI’91), vol. 1. pp 399–404Google Scholar
  10. 10.
    Goldszmidt M, Pearl J (1996) Qualitative probabilities for default reasoning, belief revision, and causal modeling. Artif Intell 84(1–2):57–112MathSciNetCrossRefGoogle Scholar
  11. 11.
    Halpern JY (2005) Reasoning About Uncertainty. MIT Press, CambridgeGoogle Scholar
  12. 12.
    Kern-Isberner G (2001) Conditionals in Nonmonotonic Reasoning and Belief Revision—Considering Conditionals as Agents. No. 2087 in Lecture Notes in Computer Science. Springer, BerlinGoogle Scholar
  13. 13.
    Kern-Isberner G (2004) A thorough axiomatization of a principle of conditional preservation in belief revision. Ann Math Artif Intell 40:127–164MathSciNetCrossRefMATHGoogle Scholar
  14. 14.
    Kern-Isberner G, Eichhorn C (2012) A structural base for conditional reasoning. In: Human Reasoning and Automated Deduction—KI 2012 Workshop Proceedings. pp. 25–32Google Scholar
  15. 15.
    Kern-Isberner G, Eichhorn C (2013) Intensional combination of rankings for OCF-networks. In: Proceedings of the 26th International FLAIRS Conference. pp. 615–620Google Scholar
  16. 16.
    Kern-Isberner G, Eichhorn C (2013) OCF-networks with missing values. In: Proceedings of the 4th Workshop on Dynamics of Knowledge and Belief. pp. 46–60Google Scholar
  17. 17.
    Kern-Isberner G, Eichhorn C (2014) Structural inference from conditional knowledge bases. In: Unterhuber M, Schurz G (eds) Studia Logica Special Issue Logic and Probability: Reasoning in Uncertain Environments, vol 102(4). Springer Science+Business Media, DordrechtGoogle Scholar
  18. 18.
    Kraus S, Lehmann DJ, Magidor M (1990) Nonmonotonic reasoning, preferential models and cumulative logics. Artif Intell 44(1–2):167–207MathSciNetCrossRefMATHGoogle Scholar
  19. 19.
    Kuhnmünch G, Ragni M (2014) Can Formal Non-monotonic Systems Properly Describe Human Reasoning? Proc Cognitive Sci Conf 2014:1806–1811Google Scholar
  20. 20.
    Lehmann DJ, Magidor M (1992) What does a conditional knowledge base entail? Artif Intell 55(1):1–60MathSciNetCrossRefGoogle Scholar
  21. 21.
    Lewis D (1976) Probabilities of conditionals and conditional probabilities. Philos Rev 85:297–315CrossRefMATHGoogle Scholar
  22. 22.
    Lukasiewicz T (2005) Weak nonmonotonic probabilistic logics. Artif Intell 168(1–2):119–161MathSciNetCrossRefMATHGoogle Scholar
  23. 23.
    Makinson D (1994) General patterns in nonmonotonic reasoning. In: Gabbay DM, Hogger CJ, Robinson JA (eds) Handbook of Logic in Artificial Intelligence and Logic Programming, vol 3. Oxford University Press, New York, pp 35–110Google Scholar
  24. 24.
    Meyer CH (1998) Korrektes Schließen bei unvollständiger Information: Anwendung des Prinzips der maximalen Entropie in einem probabilistischen Expertensystem. 41. Peter Lang Publishing Inc, Pieterlen (in German) Google Scholar
  25. 25.
    Oaksford M, Chater N (1995) Information gain explains relevance which explains the selection task. Cognition 57:97–108CrossRefGoogle Scholar
  26. 26.
    Pearl J (1988) Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann Publishers Inc., San FranciscoGoogle Scholar
  27. 27.
    Pearl J (1990) System Z: A natural ordering of defaults with tractable applications to nonmonotonic reasoning. In: Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge (TARK’90). pp. 121–135Google Scholar
  28. 28.
    Pfeifer N, Kleiter GD (2005) Coherence and nonmonotonicity in human reasoning. Synthese 146(1–2):93–109MathSciNetCrossRefMATHGoogle Scholar
  29. 29.
    Sperber D, Cara F, Girotto V (1995) Relevance theory explains the selection task. Cognition 57:31–95CrossRefGoogle Scholar
  30. 30.
    Spohn W (1988) Ordinal conditional functions: A dynamic theory of epistemic states. In: Harper W, Skyrms B (eds) Causation in Decision, Belief Change and Statistics, The University of Western Ontario Series in Philosophy of Science, vol 42. Springer Science+Business Media, Dordrecht, pp 105–134CrossRefGoogle Scholar
  31. 31.
    Spohn W (2012) The Laws of Belief: Ranking Theory and Its Philosophical Applications. Oxford University Press, New YorkCrossRefGoogle Scholar
  32. 32.
    Thimm M (2014) Tweety—A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation. In: Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR’14)Google Scholar
  33. 33.
    Thorn PD, Eichhorn C, Kern-Isberner G, Schurz G (2015) Qualitative Probabilistic Inference with Default Inheritance for Exceptional Subclasses. In: progic 2015: The Seventh Workshop on Combining Probability and LogicGoogle Scholar
  34. 34.
    Wason PC (1968) Reasoning about a rule. Q J Exp Psychol 20(3):273–281CrossRefGoogle Scholar
  35. 35.
    Wason PC, Johnson-Laird P (1990) Psychology of Reasoning: structure and Content. Harvard University PressGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2015

Authors and Affiliations

  1. 1.Technische Universität DortmundDortmundGermany

Personalised recommendations