Simplification rules for the coherent probability assessment problem

Annals of Mathematics and Artificial Intelligence

Volumn 35, Issue 1-4, 2002, Pages 11-28

  Baioletti, Marco ^a   Capotorti, Andrea ^b   Tulipani, Sauro ^b   Vantaggi, Barbara ^c  

^a UNIVERSITY OF SIENA   (Italy)

^b UNIVERSITY OF PERUGIA   (Italy)

^c SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

Coherent probability assessment; Probabilistic satisfiability; Simplification rules

Indexed keywords

EID: 0036104568     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1014585822798     Document Type: Article

References (21)

1. M. Baioletti, A. Capotorti, S. Tulipani and B. Vantaggi, Eliminition of Boolean variables for probabilistic coherence, Soft Computing 4(2) (2000) 81-88.
2. G. Boole, Ah Investigation of the Laws of Thought (Walton and Maberley, London, 1854). Reprint (Dover, New York, 1958).
3. G. Coletti, A. Gilio and R. Scozzafava, Conditional events with vague information in expert systems, in: Lecture Notes in Computer Science, Vol. 521, eds. B. Bouchon-Meunier, R.R. Yager and L.A. Zadeh (Springer, 1991) pp. 106-114.
4. G. Coletti, Numerical and qualitative judgments in probabilistic expert systems, in: Proc. of the International Workshop on Probabilistic Methods in Expert Systems, ed. R. Scozzafava (SIS, Roma, 1993) pp. 37-55.
5. G. Coletti, Coherent numerical and ordinal probabilistic assessments, IEEE Trans. Systems Man Cybernet. 24(12) (1994) 1747-1754.
6. G. Coletti, Coherence principles for handling qualitative and quantitative partial probabilistic assessments, Mathware Soft Computing 3 (1996) 159-172.
7. G. Coletti and R. Scozzafava, Conditioning and inference in intelligent systems, Soft Computing 3 (1999) 118-130.
8. B. de Finetti, Sull'impostazione assiomatica del calcolo delle probabilità, Annali Univ. Trieste 19 (1949) 3-55. English translation: Probability, Induction, Statistics (Wiley, London, 1972) chapter 5.
9. B. de Finetti, Sull'impostazione assiomatica del calcolo delle probabilità, Annali Univ. Trieste 19 (1949) 3-55. English translation: Probability, Induction, Statistics (Wiley, London, 1972) chapter 5.
10. B. de Finetti, Teoria della probabilitá, Vols. I, II (Einaudi, Torino, 1970). English translation: Theory of Probability, Vols. 1, 11, (Wiley, London, 1974).
11. B. de Finetti, Teoria della probabilitá, Vols. I, II (Einaudi, Torino, 1970). English translation: Theory of Probability, Vols. I, II, (Wiley, London, 1974).
12. G. Georgakopoulos, D. Kavvadias and C.H. Papadimitriou, Probabilistic satisfiability, J. Complexity 4 (1988) 1-11.
13. A. Gilio, Probabilistic consistency of knowledge bases in inference systems, in: Lecture Notes in Computer Science, Vol. 747, eds. M. Clarke, R. Kruse and S. Moral (Springer, 1993) pp. 160-167.
14. T. Hailperin, Best possible inequalities for the probability of a logical function of events, Amer. Math. Monthly 72 (1965) 343-359.
15. T. Hailperin, Boole's Logic and Probability, Studies in Logic and the Foundations of Mathematics, Vol. 85 (North-Holland, New York, 1986).
16. P. Hansen and B. Jaumard, Algorithms for the maximum satisfiability problem, Computing 44 (1990) 279-303.
17. P. Hansen, B. Jaumard and M. Poggi de Aragão, Boole's conditions of possible experience and reasoning under uncertainty, Discrete Appl. Math. 60 (1995) 181-193.
18. B. Jaumard, P. Hansen and M. Poggi de Aragão, Column generation methods for probabilistic logic, ORSA J. Comput. 3 (1991) 135-148.
19. F.R. Lad, J.M. Dickey and M.A. Rahman, The fundamental theorem of prevision, Statistica 50(1) (1990) 19-38.
20. G.B.D. Nguetsé, P. Hansen and B. Jaumard, Probabilistic satisfiability and decomposition, in: Proceedings of European Conference, ECSQARU (Fribourg, Switzerland, 1995).
21. R. Scozzafava, Subjective probability versus belief functions in artificial intelligence, Internat. J. General Syst. 22 (1994) 197-206.