Advertisement

Transitive Reasoning with Imprecise Probabilities

  • Angelo Gilio
  • Niki Pfeifer
  • Giuseppe Sanfilippo
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9161)

Abstract

We study probabilistically informative (weak) versions of transitivity by using suitable definitions of defaults and negated defaults in the setting of coherence and imprecise probabilities. We represent \(\text{ p-consistent }\) sequences of defaults and/or negated defaults by g-coherent imprecise probability assessments on the respective sequences of conditional events. Finally, we present the coherent probability propagation rules for Weak Transitivity and the validity of selected inference patterns by proving p-entailment of the associated knowledge bases.

Keywords

Coherence Default Imprecise probability Knowledge base P-consistency P-entailment Reasoning Syllogism Weak transitivity 

Notes

Acknowledgments

We thank two anonymous referees for their very useful comments and suggestions.

References

  1. 1.
    Adams, E.W.: The Logic of Conditionals. Reidel, Dordrecht (1975)CrossRefMATHGoogle Scholar
  2. 2.
    Baioletti, M., Capotorti, A., Galli, L., Tognoloni, S., Rossi, F., Vantaggi, B.: CkC-package; version e5 (2009). www.dmi.unipg.it/~upkd/paid/software.html
  3. 3.
    Benferhat, S., Dubois, D., Prade, H.: Nonmonotonic reasoning, conditional objects and possibility theory. Artif. Intell. 92, 259–276 (1997)MathSciNetCrossRefMATHGoogle Scholar
  4. 4.
    Biazzo, V., Gilio, A.: A generalization of the fundamental theorem of de Finetti for imprecise conditional probability assessments. Int. J. Approximate Reasoning 24(2–3), 251–272 (2000)MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Biazzo, V., Gilio, A., Lukasiewicz, T., Sanfilippo, G.: Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P. J. Appl. Non-Class. Logics 12(2), 189–213 (2002)MathSciNetCrossRefMATHGoogle Scholar
  6. 6.
    Biazzo, V., Gilio, A., Lukasiewicz, T., Sanfilippo, G.: Probabilistic logic under coherence: complexity and algorithms. Ann. Math. Artif. Intell. 45(1–2), 35–81 (2005)MathSciNetCrossRefMATHGoogle Scholar
  7. 7.
    Bonnefon, J.F., Da Silva Neves, R., Dubois, D., Prade, H.: Qualitative and quantitative conditions for the transitivity of perceived causation. Ann. Math. Artif. Intell. 64(2–3), 311–333 (2012)MathSciNetCrossRefMATHGoogle Scholar
  8. 8.
    Capotorti, A., Galli, L., Vantaggi, B.: Locally strong coherence and inference with lower-upper probabilities. Soft. Comput. 7(5), 280–287 (2003)CrossRefMATHGoogle Scholar
  9. 9.
    Capotorti, A., Vantaggi, B.: Locally strong coherence in inference processes. Ann. Math. Artif. Intell. 35(1–4), 125–149 (2002)MathSciNetCrossRefMATHGoogle Scholar
  10. 10.
    Capotorti, A., Lad, F., Sanfilippo, G.: Reassessing accuracy rates of median decisions. Am. Stat. 61(2), 132–138 (2007)MathSciNetCrossRefGoogle Scholar
  11. 11.
    Chater, N., Oaksford, M.: The probability heuristics model of syllogistic reasoning. Cogn. Psychol. 38, 191–258 (1999)CrossRefGoogle Scholar
  12. 12.
    Coletti, G., Scozzafava, R.: Characterization of coherent conditional probabilities as a tool for their assessment and extension. Int. J. Uncertainty Fuzziness Knowl. Based Syst. 04(02), 103–127 (1996)MathSciNetCrossRefMATHGoogle Scholar
  13. 13.
    Coletti, G., Scozzafava, R.: Probabilistic Logic in a Coherent Setting. Kluwer, Dordrecht (2002)CrossRefMATHGoogle Scholar
  14. 14.
    Coletti, G., Petturiti, D., Vantaggi, B.: Coherent T-conditional possibility envelopes and nonmonotonic reasoning. In: Laurent, A., Strauss, O., Bouchon-Meunier, B., Yager, R.R. (eds.) IPMU 2014, Part III. CCIS, vol. 444, pp. 446–455. Springer, Heidelberg (2014) Google Scholar
  15. 15.
    de Finetti, B.: Foresight: Its logical laws, its subjective sources. In: Kyburg, H.J., Smokler, H.E. (eds.) Studies in Subjective Probability, pp. 55–118. Robert E. Krieger Publishing Company, Huntington, New York (1937/1980)Google Scholar
  16. 16.
    Dubois, D., Godo, L., Lóez De Màntaras, R., Prade, H.: Qualitative reasoning with imprecise probabilities. J. Intel. Inf. Syst. 2(4), 319–363 (1993)CrossRefGoogle Scholar
  17. 17.
    Freund, M., Lehmann, D., Morris, P.: Rationality, transitivity, and contraposition. Artif. Intell. 52(2), 191–203 (1991)MathSciNetCrossRefMATHGoogle Scholar
  18. 18.
    Gilio, A.: Probabilistic reasoning under coherence in System P. Ann. Math. Artif. Intell. 34, 5–34 (2002)MathSciNetCrossRefMATHGoogle Scholar
  19. 19.
    Gilio, A., Ingrassia, S.: Totally coherent set-valued probability assessments. Kybernetika 34(1), 3–15 (1998)MathSciNetMATHGoogle Scholar
  20. 20.
    Gilio, A., Pfeifer, N., Sanfilippo, G.: Transitive reasoning with imprecise probabilities (2015). http://arxiv.org/abs/1503.04135
  21. 21.
    Gilio, A., Sanfilippo, G.: Coherent conditional probabilities and proper scoring rules. In: Proceedings of the Seventh International Symposium on Imprecise Probability: Theories and Applications, pp. 189–198. SIPTA, Innsbruck (2011)Google Scholar
  22. 22.
    Gilio, A., Sanfilippo, G.: Probabilistic entailment in the setting of coherence: the role of quasi conjunction and inclusion relation. Int. J. Approximate Reasoning 54(4), 513–525 (2013)MathSciNetCrossRefMATHGoogle Scholar
  23. 23.
    Gilio, A., Sanfilippo, G.: Quasi conjunction, quasi disjunction, t-norms and t-conorms: probabilistic aspects. Inf. Sci. 245, 146–167 (2013)MathSciNetCrossRefMATHGoogle Scholar
  24. 24.
    Gilio, A., Sanfilippo, G.: Conditional random quantities and compounds of conditionals. Stud. Logica. 102(4), 709–729 (2014)MathSciNetCrossRefMATHGoogle Scholar
  25. 25.
    Lad, F.: Operational Subjective Statistical Methods: A Mathematical, Philosophical, and Historical Introduction. Wiley, New York (1996) MATHGoogle Scholar
  26. 26.
    Pfeifer, N.: Contemporary syllogistics: comparative and quantitative syllogisms. In: Kreuzbauer, G., Dorn, G.J.W. (eds.) Argumentation in Theorie und Praxis: Philosophie und Didaktik des Argumentierens, pp. 57–71. Lit Verlag, Wien (2006)Google Scholar
  27. 27.
    Pfeifer, N.: Experiments on Aristotle’s thesis: towards an experimental philosophy of conditionals. The Monist 95(2), 223–240 (2012)CrossRefGoogle Scholar
  28. 28.
    Pfeifer, N.: Reasoning about uncertain conditionals. Stud. Logica. 102(4), 849–866 (2014)MathSciNetCrossRefMATHGoogle Scholar
  29. 29.
    Pfeifer, N., Kleiter, G.D.: Coherence and nonmonotonicity in human reasoning. Synthese 146(1–2), 93–109 (2005)MathSciNetCrossRefMATHGoogle Scholar
  30. 30.
    Pfeifer, N., Kleiter, G.D.: Framing human inference by coherence based probability logic. J. Appl. Logic 7(2), 206–217 (2009)MathSciNetCrossRefMATHGoogle Scholar
  31. 31.
    Pfeifer, N., Kleiter, G.D.: The conditional in mental probability logic. In: Oaksford, M., Chater, N. (eds.) Cognition and Conditionals, pp. 153–173. Oxford Press, Oxford (2010)Google Scholar
  32. 32.
    Walley, P., Pelessoni, R., Vicig, P.: Direct algorithms for checking consistency and making inferences from conditional probability assessments. J. Stat. Plan. Infer. 126(1), 119–151 (2004)MathSciNetCrossRefMATHGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Angelo Gilio
    • 1
  • Niki Pfeifer
    • 2
  • Giuseppe Sanfilippo
    • 3
  1. 1.Department SBAIUniversity of Rome “La Sapienza” RomeItaly
  2. 2.Munich Center for Mathematical PhilosophyLMU MunichMünchenGermany
  3. 3.Department of Mathematics and Computer ScienceUniversity of PalermoPalermoItaly

Personalised recommendations