Skip to main content
Top

2015 | OriginalPaper | Chapter

Transitive Reasoning with Imprecise Probabilities

Authors : Angelo Gilio, Niki Pfeifer, Giuseppe Sanfilippo

Published in: Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Footnotes
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].
 
Literature
3.
go back to reference Benferhat, S., Dubois, D., Prade, H.: Nonmonotonic reasoning, conditional objects and possibility theory. Artif. Intell. 92, 259–276 (1997)MathSciNetCrossRefMATH Benferhat, S., Dubois, D., Prade, H.: Nonmonotonic reasoning, conditional objects and possibility theory. Artif. Intell. 92, 259–276 (1997)MathSciNetCrossRefMATH
4.
go back to reference 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)MathSciNetCrossRefMATH 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)MathSciNetCrossRefMATH
5.
go back to reference 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)MathSciNetCrossRefMATH 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)MathSciNetCrossRefMATH
6.
go back to reference 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)MathSciNetCrossRefMATH 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)MathSciNetCrossRefMATH
7.
go back to reference 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)MathSciNetCrossRefMATH 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)MathSciNetCrossRefMATH
8.
go back to reference Capotorti, A., Galli, L., Vantaggi, B.: Locally strong coherence and inference with lower-upper probabilities. Soft. Comput. 7(5), 280–287 (2003)CrossRefMATH Capotorti, A., Galli, L., Vantaggi, B.: Locally strong coherence and inference with lower-upper probabilities. Soft. Comput. 7(5), 280–287 (2003)CrossRefMATH
9.
go back to reference Capotorti, A., Vantaggi, B.: Locally strong coherence in inference processes. Ann. Math. Artif. Intell. 35(1–4), 125–149 (2002)MathSciNetCrossRefMATH Capotorti, A., Vantaggi, B.: Locally strong coherence in inference processes. Ann. Math. Artif. Intell. 35(1–4), 125–149 (2002)MathSciNetCrossRefMATH
10.
go back to reference Capotorti, A., Lad, F., Sanfilippo, G.: Reassessing accuracy rates of median decisions. Am. Stat. 61(2), 132–138 (2007)MathSciNetCrossRef Capotorti, A., Lad, F., Sanfilippo, G.: Reassessing accuracy rates of median decisions. Am. Stat. 61(2), 132–138 (2007)MathSciNetCrossRef
11.
go back to reference Chater, N., Oaksford, M.: The probability heuristics model of syllogistic reasoning. Cogn. Psychol. 38, 191–258 (1999)CrossRef Chater, N., Oaksford, M.: The probability heuristics model of syllogistic reasoning. Cogn. Psychol. 38, 191–258 (1999)CrossRef
12.
go back to reference 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)MathSciNetCrossRefMATH 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)MathSciNetCrossRefMATH
13.
go back to reference Coletti, G., Scozzafava, R.: Probabilistic Logic in a Coherent Setting. Kluwer, Dordrecht (2002)CrossRefMATH Coletti, G., Scozzafava, R.: Probabilistic Logic in a Coherent Setting. Kluwer, Dordrecht (2002)CrossRefMATH
14.
go back to reference 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) 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)
15.
go back to reference 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) 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)
16.
go back to reference 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)CrossRef 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)CrossRef
17.
19.
go back to reference Gilio, A., Ingrassia, S.: Totally coherent set-valued probability assessments. Kybernetika 34(1), 3–15 (1998)MathSciNetMATH Gilio, A., Ingrassia, S.: Totally coherent set-valued probability assessments. Kybernetika 34(1), 3–15 (1998)MathSciNetMATH
21.
go back to reference 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) 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)
22.
go back to reference 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)MathSciNetCrossRefMATH 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)MathSciNetCrossRefMATH
23.
go back to reference Gilio, A., Sanfilippo, G.: Quasi conjunction, quasi disjunction, t-norms and t-conorms: probabilistic aspects. Inf. Sci. 245, 146–167 (2013)MathSciNetCrossRefMATH Gilio, A., Sanfilippo, G.: Quasi conjunction, quasi disjunction, t-norms and t-conorms: probabilistic aspects. Inf. Sci. 245, 146–167 (2013)MathSciNetCrossRefMATH
24.
25.
go back to reference Lad, F.: Operational Subjective Statistical Methods: A Mathematical, Philosophical, and Historical Introduction. Wiley, New York (1996) MATH Lad, F.: Operational Subjective Statistical Methods: A Mathematical, Philosophical, and Historical Introduction. Wiley, New York (1996) MATH
26.
go back to reference 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) 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)
27.
go back to reference Pfeifer, N.: Experiments on Aristotle’s thesis: towards an experimental philosophy of conditionals. The Monist 95(2), 223–240 (2012)CrossRef Pfeifer, N.: Experiments on Aristotle’s thesis: towards an experimental philosophy of conditionals. The Monist 95(2), 223–240 (2012)CrossRef
30.
31.
go back to reference 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) 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)
32.
go back to reference 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)MathSciNetCrossRefMATH 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)MathSciNetCrossRefMATH
Metadata
Title
Transitive Reasoning with Imprecise Probabilities
Authors
Angelo Gilio
Niki Pfeifer
Giuseppe Sanfilippo
Copyright Year
2015
DOI
https://doi.org/10.1007/978-3-319-20807-7_9

Premium Partner