Merging the local and global approaches to probabilistic satisfiability

International Journal of Approximate Reasoning

Volumn 47, Issue 2, 2008, Pages 125-140

  Hansen, Pierre ^a   Perron, Sylvain ^a  

^a HEC MONTRÉAL   (Canada)

Author keywords

Column generation; Linear programming; Probabilistic entailment; Probabilistic satisfiability; Rule Based approach; Stabilization

Indexed keywords

KNOWLEDGE BASED SYSTEMS; LINEAR PROGRAMMING; PROBLEM SOLVING; STABILIZATION;

COLUMN GENERATION; PROBABILISTIC ENTAILMENT; PROBABILISTIC SATISFIABILITY;

PROBABILISTIC LOGICS;

EID: 36348945343     PISSN: 0888613X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ijar.2007.03.001     Document Type: Article

References (44)

1. Adams E.W., and Levine H.P. On the uncertainties transmitted from premises to conclusions in deductive inferences. Synthese 30 (1975) 429-460
2. S. Amarger, D. Dubois, and H. Prade, Constraint propagation with imprecise conditional probabilities. In Proceedings of the 7th Conference on Uncertainty in Artificial Intelligence, pages 26-34, 1991.
3. Boole G. Proposed question in the theory of probabilities. The Cambridge and Dublin Mathematical Journal 6 186 (1851)
4. G. Boole. An Investigation of the Laws of Thought, on which are founded the Mathematical Theories of Logic and Probabilities. London: Walton and Maberley, 1854. (Reprint New York: Dover 1958).
5. Chvátal V. Linear programming. A Series of Books in the Mathematical Sciences (1983), W.H. Freeman and Company, New York
6. Coletti G., and Scozzafava R. Probabilistic logic in a coherent setting. Trends in Logic-Studia Logica Library vol. 15 (2002), Kluwer Acad. Publ., Dordrecht. 1-4020-0917-8
7. de Finetti B. La prévision: ses lois logiques, ses sources subjectives. Annales de l'Institut Henri Poincaré 7 (1937) 1-68
8. Douanya Nguetsé G.B., Hansen P., and Jaumard B. Probabilistic satisfiability and decomposition. Symbolic and quantitative approaches to reasoning and uncertainty. Lecture Notes in Comput. Sci vol. 946 (1995), Springer, Berlin 151-161
9. du Merle O., Villeneuve D., Desrosiers J., and Hansen P. Stabilized column generation. Discrete Math. 194 1-3 (1999) 229-237
10. D. Dubois and H. Prade. Combination and propagation of uncertainty with belief functions. In Proceedings IJCAI-85, pages 111-113, Los Angeles, CA, 1985.
11. Dubois D., and Prade H. On fuzzy syllogisms. Comput. Intelligence 4 (1988) 171-179
12. Fagin R., Halpern J.Y., and Megiddo N. A logic for reasoning about probabilities. Inform. and Comput. 87 1-2 (1990) 78-128
13. Fréchet M. Sur les tableaux de corrélation dont les marges sont données. Ann. Univ. Lyon. Sect. A (3) 14 (1951) 53-77
14. Frisch A.M., and Haddawy P. Anytime deduction for probabilistic logic. Artificial Intelligence 69 1-2 (1994) 93-122
15. Georgakopoulos G., Kavvadias D., and Papadimitriou C.H. Probabilistic satisfiability. J. Complexity 4 1 (1988) 1-11
16. Gilmore P.C., and Gomory R.E. A linear programming approach to the cutting-stock problem. Operations Res. 9 (1961) 849-859
17. Gilmore P.C., and Gomory R.E. A linear programming approach to the cutting-stock problem: part ii. Operations Res. 11 (1963) 863-888
18. Grosof B.N. An inequality paradigm for probabilistic knowledge: the logic of conditional probability intervals. In: Kanal J.F., and Lemmer J.F. (Eds). Uncertainty in Artificial Intelligence (1986), Elsevier Science, Amsterdam, Netherlands
19. Hailperin T. Best possible inequalities for the probability of a logical function of events. Amer. Math. Monthly 72 (1965) 343-359
20. Hailperin T. Boole's logic and probability. Studies in Logic and the Foundations of Mathematics vol. 85 (1986), North-Holland Publishing Co., Amsterdam
21. Hammer P.L., and Rudeanu S. Boolean methods in operations research and related areas (1968), Springer Verlag, New York
22. Hansen P., and Jaumard B. Probabilistic satisfiability. Algorithms for uncertainty and defeasible reasoning. Handb. Defeasible Reason. Uncertain. Manag. Syst vol. 5 (2000), Kluwer Acad. Publ., Berlin 321-367
23. Hansen P., Jaumard B., and Mathon V. Constrained nonlinear +0-+1 programming. ORSA J. Comput. 5 2 (1993) 97-119
24. Hansen P., Jaumard B., and Poggi de Aragão M. Boole's conditions of possible experience and reasoning under uncertainty. Discrete Appl. Math. 60 1-3 (1995) 181-193
25. Hansen P., and Mladenović N. Variable neighborhood search. In: Glover F., and Kochenberger G. (Eds). Handbook of metaheuristics. Internat. Ser. Oper. Res. Management Sci vol. 57 (2003), Kluwer Acad. Pub., Boston, MA 145-184
26. P. Hansen and S. Perron, Algorithms for L1-embeddability and related problems. Les Cahiers du GERAD G-2003-27, 2003.
27. Höffding W. Maßstabinvariante Korrelationstheorie. Schr. Math. Inst. u. Inst. Angew. Math. Univ. Berlin 5 (1940) 181-233
28. ilog cplex 8.1: user's manual ilog and reference manual. S.A., http://www.ilog.com/, 2003.
29. Jaumard B., Hansen P., and Poggi de Aragão M. Column generation methods for probabilistic logic. ORSA J. Comput. 3 (1991) 135-148
30. Jaumard B., Lemaire S., and Parreira A.D. A deductive approach for probabilistic logic problems. AMAI (2000)
31. B. Jaumard and A.D. Parreira, An Anytime Deduction Algorithm for the Probabilistic Logic and Entailment Problems. Les Cahiers du GERAD G-2006-79, 2006.
32. L.V. Kantorovich, Mathematical methods in the organization and planning of production, 1939. English translation: Management Sci. 6 (1960) 366-422.
33. Kavvadias D., and Papadimitriou C.H. A linear programming approach to reasoning about probabilities. Ann. Math. Artif. Intell. 1 (1990) 189-205
34. Lukasiewicz T. Local probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events. Internat. J. Approx. Reason. 21 1 (1999) 23-61
35. Lukasiewicz T. Probabilistic deduction with conditional constraints over basic events. J. Artificial Intelligence Res. 10 (1999) 199-241 (electronic)
36. Mladenović N., and Hansen P. Variable neighborhood search. Comput. Oper. Res. 24 11 (1997) 1097-1100, 199
37. Nilsson N.J. Probabilistic logic. Artificial Intelligence 28 1 (1986) 71-87
38. Nilsson N.J. Probabilistic logic revisited. Artificial Intelligence 59 1-2 (1993) 39-42
39. A.D. Parreira. Raisonnement sous incertitude - logique probabiliste et variantes. Ph.D. thesis, École Polytechnique de Montréal, 2002.
40. H. Thöne. Precise Conclusion under Uncertainty and Incompleteness in Deductive Database Systems. Ph.D. thesis, Universität Tübingen, 1994.
41. Thöne H., Kießling W., and Güntzer U. On cautious probabilistic inference and default detachment. Annals of Operations Research 55 (1995) 195-224, 199
42. S. Ursic, Generalizing fuzzy logic probabilistic inferences, in: Proceedings of the Third Workshop on Uncertainty in Artificial Intelligence, Philadelphia, PA, 1986, pages 303-310.
43. Walley P. Statistical reasoning with imprecise probabilities. Monographs on Statistics and Applied Probability vol. 42 (1991), Chapman and Hall Ltd., London
44. Walley P., Pelessoni R., and Vicig P. Direct algorithms for checking consistency and making inferences from conditional probability assessments. J. Statist. Plann. Inference 126 1 (2004) 119-151