On the checking of G-coherence of conditional probability bounds

International Journal of Uncertainty, Fuzziness and Knowldege-Based Systems

Volumn 11, Issue SUPL., 2003, Pages 75-104

  Biazzo, Veronica ^a   Gilio, Angelo ^b   Sanfilippo, Giuseppe ^a  

^a UNIVERSITY OF CATANIA   (Italy)

^b Dip Metodi   (Italy)

Author keywords

Algorithms; Generalized coherence; Linear systems; Lower conditional probability bounds; Probabilistic reasoning; Reduced sets of variables and constraints

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; LINEAR SYSTEMS; NUMERICAL METHODS; OPTIMIZATION; PROBABILISTIC LOGICS; PROBABILITY; PROBLEM SOLVING;

CONDITIONAL PROBABILITY BOUNDS; PROBABILISTIC REASONING;

KNOWLEDGE BASED SYSTEMS;

EID: 0347537882     PISSN: 02184885     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218488503002442     Document Type: Article

References (28)

1. V. Biazzo, A. Gilio, T. Lukasiewicz, and G. Sanfilippo. Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P. Journal of Applied Non-Classical Logics 12(2): 189-213 (2002)
2. V. Biazzo and A. Gilio. A generalization of the fundamental theorem of de Finetti for imprecise conditional probability assessments. International Journal of Approximate Seasoning 24: 251-272 (2000)
3. A. Gilio. Probabilistic consistency of conditional probability bounds. Advances in Intelligent Computing, Lecture Notes in Computer Science 945 (B. Bouchon-Meunier, R., R,. Yager, and L. A. Zadeh, Eds.), Springer-Verlag, Berlin Heidelberg, 200-209 (1995)
4. P. Walley. Statistical reasoning with imprecise probabilities. Chapman and Hall, London (1991)
5. P. M. Williams. Notes on conditional previsions. Technical Report, School of Mathematical and Physical Sciences, University of Sussex, (1975)
6. T. Lukasiewicz. Local probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events. Intern. J. Approx. Reason. 21: 23-61 (1999)
7. T. Lukasiewicz. Probabilistic deduction with conditional constraints over basic events. Journal of Artificial Intelligence Research 10: 199-241 (1999)
8. V. Biazzo, A. Gilio, T. Lukasiewicz, and G. Sanfilippo. Probabilistic logic under coherence: complexity and algorithms. Proc. of The Second International Symposium on Imprecise Probabilities and their Applications (ISIPTA '01), Ithaca, USA, June 26 - 29, 51-61 (2001)
9. V. Biazzo, A. Gilio, T. Lukasiewicz, and G. Sanfilippo. Probabilistic logic under coherence: complexity and algorithms. Annals of Mathematics and Artificial Intelligence (submitted)
10. P. Hansen, B. Jaumard, G.-B. D. Nguetsé, and M. P. de Aragão. Models and algorithms for probabilistic and Bayesian logic. Proc. of IJCAI-95, 1862-1868 (1995)
11. B. Jaumard, P. Hansen, and M. P. de Aragão. Column generation methods for probabilistic logic. ORSA J. Comput. 3: 135-147 (1991)
12. K. Weichselberger. The theory of interval-probability as a unifying concept for uncertainty. International Journal of Approximate Reasoning 24(2-3): 149-170 (2000)
13. P. Walley, R. Pelessoni, and P. Vicig. 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" 6 (1999)
14. F. G. Cozman. Algorithms for conditioning on events of zero probability. Fifteenth International Florida Artificial Intelligence Society Conference. Pensacola, Florida, 248-252 (2002)
15. V. Biazzo, A. Gilio, and G. Sanfilippo. Coherence checking and propagation of lower probability bounds. Soft Computing, Vol. 7, No. 5, 310-320 (2002)
16. th Int. Conf. on Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU), Volume 3, 1857-1864 (2000)
17. G. Coletti and R. Scozzafava. Conditioning and inference in intelligent systems. Soft Computing, 3/3: 118-130 (1999)
18. G. Coletti and R. Scozzafava. Exploiting zero probabilities, Proc. of EUFIT'97, Aachen, Germany, ELITE foundation, 1499-1503 (1997)
19. A. Capotorti and B. Vantaggi. An algorithm for coherent conditional probability assessments. Proc. IV Congresso Nazionale SIMAI, Giardini Naxos (Messina), Italy, Vol.2: 144-148 (1998)
20. A. Capotorti and B. Vantaggi. Locally strong coherence in inference processes. Annals of Mathematics and Artificial Intelligence 35: 125-149 (2002)
21. T. Lukasiewicz. 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, 75-82 (1997)
22. V. Biazzo and A. Gilio. On the linear structure of betting criterion and the checking of coherence. Annals of Mathematics and Artificial Intelligence 35: 83-106 (2002)
23. th Workshop on Uncertainty Processing, WUPBS'2000, Jindrichuv Hradec (Czech Republic), June 20-24, 1-13 (2000)
24. K. Kraus, D. Lehmann, and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44: 167-207 (1990)
25. E. W. Adams. The logic of conditionals. Dordrecht, Netherlands: Reidel. (1975)
26. V. Biazzo, A. Gilio, and G. Sanfilippo. Some results on generalized coherence of conditional probability bounds. Proc. of The Third International Symposium on Imprecise Probabilities and their Applications (ISIPTA '03), Lugano, Switzerland, July 14 - 17, 62-76 (2003)
27. A. Gilio. Probabilistic reasoning under coherence in System P. Annals of Mathematics and Artificial Intelligence 34: 5-34 (2002)
28. S. Parsons and R. A. Bourne. On proofs in System P. Intern. Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 8 (2): 203-233 (2000)