##
**A generalization of the fundamental theorem of de Finetti for imprecise conditional probability assessments.**
*(English)*
Zbl 0995.68124

Summary: In this paper, we consider coherent imprecise probability assessments on finite families of conditional events and we study the problem of their extension. With this aim, we adopt a generalized definition of coherence, called \(g\)-coherence, which is based on a suitable generalization of the coherence principle of de Finetti. At first, we recall some theoretical results and an algorithm obtained in some previous papers where the case of precise conditional probability assessments has been studied. Then, we extend these results to the case of imprecise probabilistic assessments and we obtain a theorem which can be looked at as a generalization of the version of the fundamental theorem of de Finetti given by some authors for the case of conditional events. Our algorithm can also be exploited to produce lower and upper probabilities which are coherent in the sense of Walley and Williams. Moreover, we compare our approach to similar ones, like probability logic or probabilistic deduction. Finally, we apply our algorithm to some well-known inference rules assuming some logical relations among the given events.

### MSC:

68T37 | Reasoning under uncertainty in the context of artificial intelligence |

03B48 | Probability and inductive logic |

### Keywords:

\(g\)-coherent
PDFBibTeX
XMLCite

\textit{V. Biazzo} and \textit{A. Gilio}, Int. J. Approx. Reasoning 24, No. 2--3, 251--272 (2000; Zbl 0995.68124)

Full Text:
DOI

### References:

[1] | S. Amarger, D. Dubois, H. Prade, Constraint propagation with imprecise conditional probabilities, in: Proceedings of the Seventh Conference on Uncertainty in Artificial Intelligence, Morgan Kaufmann, Los Altos, CA, 1991, pp. 26-34; S. Amarger, D. Dubois, H. Prade, Constraint propagation with imprecise conditional probabilities, in: Proceedings of the Seventh Conference on Uncertainty in Artificial Intelligence, Morgan Kaufmann, Los Altos, CA, 1991, pp. 26-34 |

[2] | M. Baioletti, A. Capotorti, S. Tulipani, B. Vantaggi, A procedure for probabilistic coherence (working paper), Dipartimento di Matematica e Informatica, University of Perugia, Italy, 1999; M. Baioletti, A. Capotorti, S. Tulipani, B. Vantaggi, A procedure for probabilistic coherence (working paper), Dipartimento di Matematica e Informatica, University of Perugia, Italy, 1999 · Zbl 1006.68128 |

[3] | V. Biazzo, Algorithms for the extension of precise and imprecise conditional probability assessments: an implementation with Maple V, in: Sixth Valencia International Meeting on Bayesian Statistics (Poster session), Spain, 30 May-4 June, 1998; V. Biazzo, Algorithms for the extension of precise and imprecise conditional probability assessments: an implementation with Maple V, in: Sixth Valencia International Meeting on Bayesian Statistics (Poster session), Spain, 30 May-4 June, 1998 |

[4] | V. Biazzo, A. Gilio, The fundamental theorem of de Finetti for conditional events: a linear algorithm to determine the interval \([p^′p\); V. Biazzo, A. Gilio, The fundamental theorem of de Finetti for conditional events: a linear algorithm to determine the interval \([p^′p\) · Zbl 0995.68124 |

[5] | V. Biazzo, A. Gilio, G. Sanfilippo, Efficient coherence checking and propagation of imprecise probability assessments (working paper), Dipartimento di Matematica e Informatica, University of Catania, Italy, 1999; V. Biazzo, A. Gilio, G. Sanfilippo, Efficient coherence checking and propagation of imprecise probability assessments (working paper), Dipartimento di Matematica e Informatica, University of Catania, Italy, 1999 · Zbl 1088.68797 |

[6] | Bruno, G.; Gilio, A., Applicazione del metodo del simplesso al teorema fondamentale per le probabilità nella concezione soggettivistica, Statistica, 40, 337-344 (1980) · Zbl 0441.60003 |

[7] | A. Capotorti, S. Tognoloni, B. Vantaggi, Local coherence (working paper), Dipartimento di Matematica e Informatica, University of Perugia, Italy, 1999; A. Capotorti, S. Tognoloni, B. Vantaggi, Local coherence (working paper), Dipartimento di Matematica e Informatica, University of Perugia, Italy, 1999 |

[8] | Charnes, A.; Cooper, W. W., Programming with linear fractional functionals, Naval Research Logistics Quaterly, 9, 181-186 (1962) · Zbl 0127.36901 |

[9] | G. Coletti, Numerical and qualitative judgements in probabilistic expert systems, in: R. Scozzafava, (Ed.), Probabilistic Methods in Expert Systems, SIS, Roma, 1993, pp. 37-55; G. Coletti, Numerical and qualitative judgements in probabilistic expert systems, in: R. Scozzafava, (Ed.), Probabilistic Methods in Expert Systems, SIS, Roma, 1993, pp. 37-55 |

[10] | Coletti, G., Coherent numerical and ordinal probabilistic assessments, IEEE Transactions on Systems, Man, and Cybernetics, 24, 12, 1747-1754 (1994) · Zbl 1371.68265 |

[11] | Coletti, G.; Scozzafava, R., Characterization of coherent conditional probabilities as a tool for their assessment and extension, Journal of Uncertainty, Fuzziness and Knowledge-based Systems, 4, 2, 103-127 (1996) · Zbl 1232.03010 |

[12] | G. Coletti, R. Scozzafava, Exploiting zero probabilities, in: Proceedings of EUFIT’97, Aachen, Germany, ELITE foundation, 1997, pp. 1499-1503; G. Coletti, R. Scozzafava, Exploiting zero probabilities, in: Proceedings of EUFIT’97, Aachen, Germany, ELITE foundation, 1997, pp. 1499-1503 |

[13] | L. Crisma, Prolungamenti di probabilità condizionate localmente coerenti, Technical Report n. 5/93, Dip. Matematica Applicata B. de Finetti, Università di Trieste, 1993; L. Crisma, Prolungamenti di probabilità condizionate localmente coerenti, Technical Report n. 5/93, Dip. Matematica Applicata B. de Finetti, Università di Trieste, 1993 |

[14] | D. Dubois, H. Prade, J.M. Toucas, Inference with imprecise numerical quantifiers, in: Intelligent Systems, Ellis Horwood, Chichester, UK, 1990, pp. 53-72; D. Dubois, H. Prade, J.M. Toucas, Inference with imprecise numerical quantifiers, in: Intelligent Systems, Ellis Horwood, Chichester, UK, 1990, pp. 53-72 |

[15] | Fagin, R.; Halpern, J. Y.; Megiddo, N., A logic for reasoning about probabilities, Information and Computation, 87, 78-128 (1990) · Zbl 0811.03014 |

[16] | Frisch, A. M.; Haddawy, P., Anytime deduction for probabilistic logic, Artificial Intelligence, 69, 93-122 (1994) · Zbl 0809.03016 |

[17] | A. Gilio, Algoritmi per la coerenza di probabilità condizionate, Atti del \(17^0\); A. Gilio, Algoritmi per la coerenza di probabilità condizionate, Atti del \(17^0\) |

[18] | A. Gilio, Probabilistic consistency of knowledge bases in inference systems, in: M. Clarke, R. Kruse, S. Moral (Eds.), Lecture Notes in Computer Science, vol. 747, Springer, Berlin, 1993, pp. 160-167; A. Gilio, Probabilistic consistency of knowledge bases in inference systems, in: M. Clarke, R. Kruse, S. Moral (Eds.), Lecture Notes in Computer Science, vol. 747, Springer, Berlin, 1993, pp. 160-167 |

[19] | A. Gilio, Algorithms for precise and imprecise conditional probability assessments, in: G. Coletti, D. Dubois, R. Scozzafava (Eds.), Mathematical Models for Handling Partial Knowledge in Artificial Intelligence, Plenum Press, New York, 1995, pp. 231-254; A. Gilio, Algorithms for precise and imprecise conditional probability assessments, in: G. Coletti, D. Dubois, R. Scozzafava (Eds.), Mathematical Models for Handling Partial Knowledge in Artificial Intelligence, Plenum Press, New York, 1995, pp. 231-254 · Zbl 0859.68042 |

[20] | A. Gilio, Probabilistic consistency of conditional probability bounds, in: B. Bouchon-Meunier, R.R. Yager, L.A. Zadeh (Eds.), Advances in Intelligent Computing, Lecture Notes in Computer Science, vol. 945, Springer, Berlin, 1995, pp. 200-209; A. Gilio, Probabilistic consistency of conditional probability bounds, in: B. Bouchon-Meunier, R.R. Yager, L.A. Zadeh (Eds.), Advances in Intelligent Computing, Lecture Notes in Computer Science, vol. 945, Springer, Berlin, 1995, pp. 200-209 |

[21] | A. Gilio, Algorithms for conditional probability assessments, in: D.A. Berry, K.M. Chaloner, J.K. Geweke (Eds.), Bayesian Analysis in Statistics and Econometrics, Wiley, New York, 1996, pp. 29-39; A. Gilio, Algorithms for conditional probability assessments, in: D.A. Berry, K.M. Chaloner, J.K. Geweke (Eds.), Bayesian Analysis in Statistics and Econometrics, Wiley, New York, 1996, pp. 29-39 |

[22] | Gilio, A.; Ingrassia, S., Totally coherent set-valued probability assessments, Kybernetika, 34, 1, 3-15 (1998) · Zbl 1274.68525 |

[23] | Gilio, A.; Scozzafava, R., Conditional events in probability assessment and revision, IEEE Transactions on Systems, Man, and Cybernetics, 24, 12, 1741-1746 (1994) · Zbl 1371.60002 |

[24] | Holzer, S., On coherence and conditional prevision, Boll. Un. Mat. Ital., 4, 6, 441-460 (1985) · Zbl 0584.60001 |

[25] | Jaumard, B.; Hansen, P.; de Aragão, M. P., Column generation methods for probabilistic logic, ORSA Journal of Computing, 3, 135-147 (1991) · Zbl 0800.68864 |

[26] | Lad, F. R.; Dickey, J. M.; Rahman, M. A., The fundamental theorem of prevision, Statistica, anno L, 1, 19-38 (1990) · Zbl 0718.60001 |

[27] | Lehman, R. S., On confirmation and rational betting, The Journal of Symbolic Logic, 251-262 (1955) · Zbl 0066.11001 |

[28] | T. Lukasiewicz, Efficient global probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events, in: Proceedings of the Sixth International Conference on Information and Knowledge Management, ACM, New York, 1997, pp. 75-82; T. Lukasiewicz, Efficient global probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events, in: Proceedings of the Sixth International Conference on Information and Knowledge Management, ACM, New York, 1997, pp. 75-82 |

[29] | T. Lukasiewicz, Magic inference rules for probabilistic deduction under taxonomic knowledge, in: Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence, Madison, Wisconsin, 1998, pp. 354-361; T. Lukasiewicz, Magic inference rules for probabilistic deduction under taxonomic knowledge, in: Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence, Madison, Wisconsin, 1998, pp. 354-361 |

[30] | Nilsson, N. J., Probabilistic logic, Artificial Intelligence, 28, 71-87 (1986) · Zbl 0589.03007 |

[31] | G. Paa \(ß\); G. Paa \(ß\) |

[32] | R. Pelessoni, P. Vicig, A consistency problem for imprecise conditional probability assessments, in: Proceedings of the Seventh International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU ’98), Paris, France, 1998, pp. 1478-1485; R. Pelessoni, P. Vicig, A consistency problem for imprecise conditional probability assessments, in: Proceedings of the Seventh International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU ’98), Paris, France, 1998, pp. 1478-1485 |

[33] | Regazzini, E., Finitely additive conditional probabilities, Rend. Sem. Mat. Fis. Milano, 55, 69-89 (1985) · Zbl 0631.60001 |

[34] | Scozzafava, R., Subjective probability versus belief functions in artificial intelligence, International Journal of General Systems, 22, 197-206 (1994) · Zbl 0795.60002 |

[35] | P. Vicig, An algorithm for imprecise conditional probability assessments in expert systems, in: Proceedings of the Sixth International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU ’96), Granada, Spain, 1996, pp. 61-66; P. Vicig, An algorithm for imprecise conditional probability assessments in expert systems, in: Proceedings of the Sixth International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU ’96), Granada, Spain, 1996, pp. 61-66 |

[36] | Walley, P., Statistical Reasoning with Imprecise Probabilities (1991), Chapman and Hall: Chapman and Hall London · Zbl 0732.62004 |

[37] | P. Walley, Coherent upper and lower previsions, The Imprecise Probabilities Project (http://eepkibm2.rug.ac.be/ ipp), 1997; P. Walley, Coherent upper and lower previsions, The Imprecise Probabilities Project (http://eepkibm2.rug.ac.be/ ipp), 1997 |

[38] | P. Walley, R. Pelessoni, P. Vicig, Direct algorithms for checking coherence and making inferences from conditional probability assessments, 1999 (preprint); P. Walley, R. Pelessoni, P. Vicig, Direct algorithms for checking coherence and making inferences from conditional probability assessments, 1999 (preprint) · Zbl 1075.62002 |

[39] | P.M. Williams, Notes on conditional previsions, Technical Report, School of Mathematical and Physical Sciences, University of Sussex, 1975; P.M. Williams, Notes on conditional previsions, Technical Report, School of Mathematical and Physical Sciences, University of Sussex, 1975 · Zbl 1114.60005 |

[40] | N. Wilson, S. Moral, A logical view of probability, in: Proceedings of the 11th European Conference on Artificial Intelligence (ECAI-94), Amsterdam, The Netherlands, 1994, pp. 386-390; N. Wilson, S. Moral, A logical view of probability, in: Proceedings of the 11th European Conference on Artificial Intelligence (ECAI-94), Amsterdam, The Netherlands, 1994, pp. 386-390 |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.