Coherence checking and propagation of lower probability bounds

Soft Computing

Volumn 7, Issue 5, 2003, Pages 310-320

  Gilio, A ^a   Biazzo, V ^b   Sanfilippo, G ^b  

^a Dipartimento di Metodi e Modelli Matematici   (Italy)

^b UNIVERSITY OF CATANIA   (Italy)

Author keywords

Basic sets; g coherence checking; Lower conditional probability bounds; Non relevant gains; Propagation

Indexed keywords

BASIC SETS; CONDITIONAL PROBABILITIES; G-COHERENCE CHECKING; GENERALIZED COHERENCES; IMPRECISE PROBABILITIES; LOWER PROBABILITIES; NON RELEVANT GAINS; UNCERTAIN KNOWLEDGE;

LINEAR SYSTEMS; WAVE PROPAGATION;

ALGORITHMS;

EID: 0348231072     PISSN: 14327643     EISSN: 14337479     Source Type: Journal    
DOI: 10.1007/s00500-002-0218-2     Document Type: Article

References (39)

1. Adams EW (1975) The Logic of Conditionals, Dordrecht, Netherlands: Reidel
2. Benferhat S, Dubois D, Prade H (1999) Possibilistic and standard probabilistic semantics of conditional knowledge bases, J Logic Comput 9(6): 873-895
3. Biazzo V, Gilio A (2000) A generalization of the fundamental theorem of de Finetti for imprecise conditional probability assessments, Int J Approx Reasoning 24: 251-272
4. Biazzo V, Gilio A (2002) On the linear structure of betting criterion and the checking of coherence, Ann Mathematics and Artificial Intelligence 35: 83-106
5. Biazzo V, Gilio A, Lukasiewicz T, Sanfilippo G (2001) Probabilistic logic under de Finetti's coherence: properties, complexity and algorithms, Proc of The Second International Symposium on Imprecise Probabilities and their Applications (ISIPTA '01), Ithaca, USA, pp. 51-61
6. Biazzo V, Gilio A, Sanfilippo G (2000) Computational aspects in checking of coherence and propagation of conditional probability bounds, Proc. of the 5th Workshop on Uncer-tainty Processing (WUPES'2000), Jindřichřuv Hradec, Czech Republic, pp. 1-13
7. Biazzo V, Gilio A, Sanfilippo G (2000) Efficient checking of coherence and propagation of imprecise probability assessments, Proc IPMU'2000, Madrid, pp. 1973-1976
8. Bourne R, Parsons S (1998) Propagating probabilities in System P, Proceedings of the 11th International FLAIRS Conference, pp. 440-445
9. Capotorti A, Galli L, Vantaggi B (2000) How to use strong local coherence in an inferential process based on upperlower probabilities, Proc of the 5th Workshop on Uncertainty Processing (WUPES'2000), Jindřichřuv Hradec, Czech Republic, pp. 14-28
10. Capotorti A, Tognoloni S, Vantaggi B (1999) Local coherence of conditional probability assessments: definition and application, Technical Report, Dip. Matematica, Univ. Perugia (Italy)
11. Capotorti A, Vantaggi B (1998) An algorithm for coherent conditional probability assessments, Proc IV Congresso Nazionale SIMAI, Giardini Naxos (Messina), Italy, Vol. 2, pp. 144-148
12. Coletti G (1993) Numerical and qualitative judgements in probabilistic expert systems. In: Probabilistic Methods in Expert Systems, Scozzafava R (ed.), S.I.S., Roma, pp. 37-55
13. Coletti G (1994) Coherent numerical and ordinal probabilistic assessments, IEEE Trans on Systems, Man, and Cybernetics, 24(12): 1747-1754
14. Coletti G, Gilio A, Scozzafava R (1991) Conditional events with vague information in expert systems. In: Uncertainty in Knowledge Bases, Bouchon-Meunier B, Yager RR, Zadeh LA (eds), Lecture Notes in Computer Science 521. Berlin Heidelberg: Springer-Verlag, pp. 106-114
15. Coletti G, Gilio A, Scozzafava R (1993) Comparative probability for conditional events: a new look through coherence, Theory and Decision 35: 237-258
16. Coletti G, Scozzafava R (1996) Characterization of coherent conditional probabilities as a tool for their assessment and extension, Int J Uncertainty, Fuzziness and Knowledge-Based Systems 4(2): 103-127
17. Coletti G, Scozzafava R (1997) Exploiting zero probabilities, Proc of EUFIT'97, Aachen, Germany, ELITE foundation, pp. 1499-1503
18. Coletti G, Scozzafava R (1998) Conditional measures: old and new. In: New trends in Fuzzy Systems, World Scientific, pp. 107-120
19. Coletti G, Scozzafava R (1999) Conditioning and inference in intelligent systems, Soft Computing 3(3): 118-130
20. Coletti G, Scozzafava R (1999) Coherent upper and lower Bayesian updating. In: Proc of the First Int Symposium on Imprecise Probabilities and Their Applications, de Cooman G, Cozman FG, Moral S, Walley P (eds), Imprecise Probabilities Project, Universiteit Gent, Belgium, pp. 101-110
21. Gilio A (1993) Probabilistic consistency of knowledge bases in inference systems. In: Proc of ECSQARU'93, Clarke M, Kruse R, Moral S (eds), Lecture Notes in Computer Science 747. Berlin Heidelberg: Springer-Verlag, pp. 160-167
22. Gilio A (1995) Probabilistic consistency of conditional probability bounds. In: Advances in Intelligent Computing, Lecture Notes in Computer Science 945, Bouchon-Meunier B, Yager RR, Zadeh LA (eds), Springer-Verlag, Berlin Heidelberg, pp. 200-209
23. Gilio A (1996) Algorithms for conditional probability assessments. In: Bayesian Analysis in Statistics and Econometrics, Berry DA, Chaloner KM, Geweke JK (eds), Wiley, New York, pp. 29-39
24. Gilio A (2002) Probabilistic reasoning under coherence in System P, Annals of Mathematics and Artificial Intelligence 34: 5-34
25. Gilio A, Ingrassia S (1998) Totally coherent set-valued probability assessments, Kybernetika 34(1): 3-15
26. Gilio A, Scozzafava R (1998) Le probabilità condizionate coerenti nei sistemi esperti. In: Ricerca Operativa e Intelligenza Artificiale, Atti delle Giornate di lavoro AIRO 1988, IBM, Pisa, pp. 317-330
27. Gilio A, Scozzafava R (1994) Conditional events in probability assessment and revision, IEEE Trans on Systems, Man, and Cybernetics 24(12): 1741-1746
28. Kraus K, Lehmann D, Magidor M (1990) Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence 44: 167-207
29. Lad FR, Dickey JM, Rahman MA (1990) The fundamental theorem of prevision, Statistica, anno L, 1: 19-38
30. Lukasiewicz T (1997) Efficient global probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events, Proc of the 6th International Conference on Information and Knowledge Management, ACM Press, pp. 75-82
31. Parsons S, Bourne RA (2000) On proofs in System P, Intern, J Uncertainty, Fuzziness and Knowledge-Based Systems 8(2): 203-233
32. Pelessoni R, Vicig P (1998) A consistency problem for imprecise conditional probability assessments. In: Proc of the Seventh Int Conf on "Information Processing and Management of Uncertainty in Knowledge-Based Systems" (IPMU '98), Paris, France, pp. 1478-1485
33. Sanfilippo G (1999) Algoritmi efficienti per la verifica della coerenza e per la propagazione di probabilità condizionate imprecise, Degree Thesis, University of Catania
34. Scozzafava R (1994) Subjective probability versus belief functions in artificial intelligence, Int J General Systems 22: 197-206
35. Scozzafava R (1996) Subjective conditional probability and coherence principles for handling partial information, Mathware Soft Comput 3: 183-192
36. Vicig P (1996) An algorithm for imprecise conditional probability assessments in expert systems. In: Proc of the Sixth Int Conf on "Information Processing and Management of Uncertainty in Knowledge-Based Systems" (IPMU '96), Granada, Spain, pp. 61-66
37. Walley P (1991) Statistical Reasoning with Imprecise Probabilities, Chapman and Hall, London
38. Walley P, Pelessoni R, Vicig P (1999) Direct Algorithms for Checking Coherence and Making Inferences from Conditional Probability Assessments, Quaderni del Dipartimento di Matematica Applicata alle Scienze Economiche, Statistiche e Attuariali "B. de Finetti", 1999/6
39. Williams PM (1975) Notes on conditional previsions, Tech. Report, School of Mathematical and Physical Sciences, University of Sussex