Abstract
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.
Similar content being viewed by others
References
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).
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.
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.
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.
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.
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).
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.
G. Coletti, Coherent numerical and ordinal probabilistic assessments, IEEE Transactions on Systems, Man and Cybernetics 24(12) (1994) 1747-1754.
G. Coletti, Coherence principles for handling qualitative and quantitative partial probabilistic assessments, Mathware Soft Computing 3 (1994) 159-172.
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.
G. Coletti and R. Scozzafava, Exploiting zero probabilities, in: Proc. of EUFIT'97 (ELITE Foundation, Aachen, Germany, 1997) pp. 1499-1503.
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.
G. Coletti and R. Scozzafava, Conditioning and inference in intelligent systems, Soft Computing 3 (1999) 118-130.
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.
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.
B. de Finetti, Theory of Probability, Vols. 1-2 (Wiley, New York, 1974).
L.E. Dubins, Finitely additive conditional probabilities, conglomerability and disintegration, Annals of Probability 3 (1975) 89-99.
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).
S. Holzer, On coherence and conditional prevision, Bolletino Unione Matematica Italiana, Analisi funzionale e Applicazioni 6(4) (1985) 441-460.
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.
B. Jaumard, P. Hansen and M. Poggi de Aragão, Column generation methods for probabilistic logic, ORSA Journal on Computing 3 (1991) 135-148.
E. Regazzini, Finitely additive conditional probabilities, Rendiconti del Seminario Matematico e Fisico di Milano 55 (1985) 69-89.
R. Scozzafava, Probabilità condizionate: de Finetti o Kolmogorov?, in: Scritti in omaggio a L. Daboni (Trieste: LINT, 1990) pp. 223-237.
B. Vantaggi, Conditional independence and graphical models in a coherent setting, Ph.D. Thesis, University of Perugia (1999).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Capotorti, A., Vantaggi, B. Locally Strong Coherence in Inference Processes. Annals of Mathematics and Artificial Intelligence 35, 125–149 (2002). https://doi.org/10.1023/A:1014531116863
Issue Date:
DOI: https://doi.org/10.1023/A:1014531116863