Skip to main content
SpringerLink
Log in

Transitive Reasoning with Imprecise Probabilities

  • Conference paper
  • First Online:
Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2015)

Part of the book series: Lecture Notes in Computer Science ((LNAI,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.

N. Pfeifer—Supported by the DFG grants PF 740/2-1 and PF 740/2-2 (both within the DFG Priority Programme SPP1516) and the Alexander von Humboldt-Foundation.

G. Sanfilippo—Supported by the INdAM–GNAMPA Project 2015 and by the FFR 2012-ATE-0585 Project of University of Palermo.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    For proving total coherence of \(\mathcal {I}\) on \(\mathcal {F}\) (resp., \(\mathcal {F}'\)) it is sufficient to check that the assessment \(\{0,1\}^3\) on \(\mathcal {F}\) (resp., \(\mathcal {F}'\)) is totally coherent ([19, Theorem 7]), i.e., each of the eight vertices of the unit cube is coherent. Coherence can be checked, for example, by applying Algorithm 1 of [19] or by the CkC-package [2].

References

  1. Adams, E.W.: The Logic of Conditionals. Reidel, Dordrecht (1975)

    Book  MATH  Google Scholar 

  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. Benferhat, S., Dubois, D., Prade, H.: Nonmonotonic reasoning, conditional objects and possibility theory. Artif. Intell. 92, 259–276 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  8. Capotorti, A., Galli, L., Vantaggi, B.: Locally strong coherence and inference with lower-upper probabilities. Soft. Comput. 7(5), 280–287 (2003)

    Article  MATH  Google Scholar 

  9. Capotorti, A., Vantaggi, B.: Locally strong coherence in inference processes. Ann. Math. Artif. Intell. 35(1–4), 125–149 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  10. Capotorti, A., Lad, F., Sanfilippo, G.: Reassessing accuracy rates of median decisions. Am. Stat. 61(2), 132–138 (2007)

    Article  MathSciNet  Google Scholar 

  11. Chater, N., Oaksford, M.: The probability heuristics model of syllogistic reasoning. Cogn. Psychol. 38, 191–258 (1999)

    Article  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  13. Coletti, G., Scozzafava, R.: Probabilistic Logic in a Coherent Setting. Kluwer, Dordrecht (2002)

    Book  MATH  Google Scholar 

  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. 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. 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)

    Article  Google Scholar 

  17. Freund, M., Lehmann, D., Morris, P.: Rationality, transitivity, and contraposition. Artif. Intell. 52(2), 191–203 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  18. Gilio, A.: Probabilistic reasoning under coherence in System P. Ann. Math. Artif. Intell. 34, 5–34 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  19. Gilio, A., Ingrassia, S.: Totally coherent set-valued probability assessments. Kybernetika 34(1), 3–15 (1998)

    MathSciNet  MATH  Google Scholar 

  20. Gilio, A., Pfeifer, N., Sanfilippo, G.: Transitive reasoning with imprecise probabilities (2015). http://arxiv.org/abs/1503.04135

  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. 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)

    Article  MathSciNet  MATH  Google Scholar 

  23. Gilio, A., Sanfilippo, G.: Quasi conjunction, quasi disjunction, t-norms and t-conorms: probabilistic aspects. Inf. Sci. 245, 146–167 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  24. Gilio, A., Sanfilippo, G.: Conditional random quantities and compounds of conditionals. Stud. Logica. 102(4), 709–729 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  25. Lad, F.: Operational Subjective Statistical Methods: A Mathematical, Philosophical, and Historical Introduction. Wiley, New York (1996)

    MATH  Google Scholar 

  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. Pfeifer, N.: Experiments on Aristotle’s thesis: towards an experimental philosophy of conditionals. The Monist 95(2), 223–240 (2012)

    Article  Google Scholar 

  28. Pfeifer, N.: Reasoning about uncertain conditionals. Stud. Logica. 102(4), 849–866 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  29. Pfeifer, N., Kleiter, G.D.: Coherence and nonmonotonicity in human reasoning. Synthese 146(1–2), 93–109 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  30. Pfeifer, N., Kleiter, G.D.: Framing human inference by coherence based probability logic. J. Appl. Logic 7(2), 206–217 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  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. 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)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgments

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

Author information

Authors and Affiliations

  1. Department SBAI, University of Rome “La Sapienza”, Rome, Italy

    Angelo Gilio

  2. Munich Center for Mathematical Philosophy, LMU Munich, München, Germany

    Niki Pfeifer

  3. Department of Mathematics and Computer Science, University of Palermo, Palermo, Italy

    Giuseppe Sanfilippo

Authors
  1. Angelo Gilio
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Niki Pfeifer
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Giuseppe Sanfilippo
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Giuseppe Sanfilippo .

Editor information

Editors and Affiliations

  1. Université de Technologie de Compiègne, Compiègne, France

    Sébastien Destercke

  2. Centre de Recherches de Royallieu, Université de Technologie de Compiègne, Compiègne, France

    Thierry Denoeux

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Gilio, A., Pfeifer, N., Sanfilippo, G. (2015). Transitive Reasoning with Imprecise Probabilities. In: Destercke, S., Denoeux, T. (eds) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2015. Lecture Notes in Computer Science(), vol 9161. Springer, Cham. https://doi.org/10.1007/978-3-319-20807-7_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-20807-7_9

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-20806-0

  • Online ISBN: 978-3-319-20807-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation