Locally Strong Coherence in Inference Processes

  • Andrea Capotorti
  • Barbara Vantaggi


In this paper we deal with probabilistic inference in the most general form of coherent conditional probability assessments. In particular, our aim is to reduce computational difficulties that could arise with a direct application of the main characterization results. We reach our goal by introducing the notion of locally strong coherence and characterizing it by logical conditions. Hence, some of the numerical constraints are replaced by Boolean satisfiability conditions. An automatic procedure is proposed and its efficiency is proved. Some examples are reported to make easier the understanding of the machinery and to show its effectiveness.

inference conditional probability assessment coherence locally strong coherence 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    V. Biazzo and A. Gilio, The Fundamental Theorem of de Finetti for conditional events: a linear algorithm to determine the interval [p', p"], in: Proc. of the Sixth Valencia International Meeting on Bayesian Statistics, Las Fuentes, Spain (1998).Google Scholar
  2. [2]
    V. Biazzo, A. Gilio and G. Sanfilippo, Computational aspects in checking of coherence and propagation of conditional probability bounds, in: Proc. of the 5th Workshoop on Uncertainty Processing WUPES'2000, Czech Republic (2000) pp. 1-13.Google Scholar
  3. [3]
    V. Biazzo and A. Gilio, On the linear structure of betting criterion and the checking of coherence, Annals of Mathematics and Artificial Intelligence, this issue.Google Scholar
  4. [4]
    A. Capotorti and B. Vantaggi, The consistency problem in belief and probability assessments, in: Proc. 6th International Conference IPMU'96, Vol. 2, Granada, Spain (1996) pp. 751-755.Google Scholar
  5. [5]
    A. Capotorti and B. Vantaggi, An algorithm for coherent conditional probability assessment, in: Abstracts SIMAI'98, Vol. 2, Giardini Naxos (ME), Italy (1998) pp. 144-148.Google Scholar
  6. [6]
    A. Capotorti, S. Tognoloni and B. Vantaggi, Local coherence of conditional probability assessments: definition and application, Technical Report No. 10-1999, Dipartimento di Matematica e Informatica, Universitá di Perugia, Italy (1999).Google Scholar
  7. [7]
    A. Capotorti, L. Galli and B. Vantaggi, How to use locally strong coherence in an inferential process based on upper-lower probabilities, Proc. 5th Workshop on Uncertainty Processing WUPES'2000, Czech Republic (2000) pp. 14-28.Google Scholar
  8. [8]
    G. Coletti, Coherent numerical and ordinal probabilistic assessments, IEEE Transactions on Systems, Man and Cybernetics 24(12) (1994) 1747-1754.Google Scholar
  9. [9]
    G. Coletti, Coherence principles for handling qualitative and quantitative partial probabilistic assessments, Mathware Soft Computing 3 (1994) 159-172.Google Scholar
  10. [10]
    G. Coletti and R. Scozzafava, Characterization of coherent conditional probabilities as a tool for their assessment and extension, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 4(2) (1996) 103-127.Google Scholar
  11. [11]
    G. Coletti and R. Scozzafava, Exploiting zero probabilities, in: Proc. of EUFIT'97 (ELITE Foundation, Aachen, Germany, 1997) pp. 1499-1503.Google Scholar
  12. [12]
    G. Coletti and R. Scozzafava, Zero probabilities in stochastical independence, in: Information, Uncertainty, Fusion, eds. B. Bouchon-Meunier, R. R. Yager and L. A. Zadeh (Kluwer, Dordrecht, 2000) pp. 185-196. Selected papers from IPMU '98.Google Scholar
  13. [13]
    G. Coletti and R. Scozzafava, Conditioning and inference in intelligent systems, Soft Computing 3 (1999) 118-130.Google Scholar
  14. [14]
    G. Coletti and R. Scozzafava, The role of coherence in eliciting and handling imprecise probabilities and its application to medical diagnosis, Information Sciences 130 (2000) 41-65.Google Scholar
  15. [15]
    B. de Finetti, Sull'impostazione assiomatica del calcolo delle probabilitá, Annali Univ. di Trieste 19 (1949) 29-81. English translation in: Probability, Induction, Statistics (Wiley, London, 1972) chapter 5.Google Scholar
  16. [16]
    B. de Finetti, Theory of Probability, Vols. 1-2 (Wiley, New York, 1974).Google Scholar
  17. [17]
    L.E. Dubins, Finitely additive conditional probabilities, conglomerability and disintegration, Annals of Probability 3 (1975) 89-99.Google Scholar
  18. [18]
    I.R. Goodman, H.T. Nguyen and E.A. Walker, Conditional Inference and Logic for Intelligent Systems: A Theory of Measure-Free Conditioning (North-Holland, Amsterdam, 1991).Google Scholar
  19. [19]
    S. Holzer, On coherence and conditional prevision, Bolletino Unione Matematica Italiana, Analisi funzionale e Applicazioni 6(4) (1985) 441-460.Google Scholar
  20. [20]
    A. Gilio, Algorithms for precise and imprecise conditional probability assessments, in: Mathematical Models for Handling Partial Knowledge in Artificial Intelligence, eds. G. Coletti, D. Dubois and R. Scozzafava (Plenum Press, New York, 1995) pp. 231-254.Google Scholar
  21. [21]
    B. Jaumard, P. Hansen and M. Poggi de Aragão, Column generation methods for probabilistic logic, ORSA Journal on Computing 3 (1991) 135-148.Google Scholar
  22. [22]
    E. Regazzini, Finitely additive conditional probabilities, Rendiconti del Seminario Matematico e Fisico di Milano 55 (1985) 69-89.Google Scholar
  23. [23]
    R. Scozzafava, Probabilità condizionate: de Finetti o Kolmogorov?, in: Scritti in omaggio a L. Daboni (Trieste: LINT, 1990) pp. 223-237.Google Scholar
  24. [24]
    B. Vantaggi, Conditional independence and graphical models in a coherent setting, Ph.D. Thesis, University of Perugia (1999).Google Scholar

Copyright information

© Kluwer Academic Publishers 2002

Authors and Affiliations

  • Andrea Capotorti
    • 1
  • Barbara Vantaggi
    • 2
  1. 1.Dipartimento di Matematica e InformaticaUniversità di PerugiaPerugiaItaly
  2. 2.Dipartimento di Metodi e Modelli MatematiciUniversità “La Sapienza”RomaItaly

Personalised recommendations