Probabilistic deduction with conditional constraints over basic events

Journal of Artificial Intelligence Research

Volumn 10, Issue , 1999, Pages 199-241

  Lukasiewicz, Thomas ^a  

^a JUSTUS LIEBIG UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; ARTIFICIAL INTELLIGENCE; COMPUTATIONAL COMPLEXITY; GRAPH THEORY; LINEAR PROGRAMMING; MATHEMATICAL MODELS; NONLINEAR PROGRAMMING; OPTIMIZATION; POLYNOMIALS; PROBABILITY DISTRIBUTIONS; THEOREM PROVING; TREES (MATHEMATICS);

CONSTRAINT TREES; PROBABILISTIC DEDUCTION;

CONSTRAINT THEORY;

EID: 0033342013     PISSN: 10769757     EISSN: None     Source Type: Journal    
DOI: 10.1613/jair.577     Document Type: Article

References (43)

1. Adams, E. W. (1975). The Logic of Conditionals, Vol. 86 of Synthese Library. D. Reidel, Dordrecht, Netherlands.
2. Amarger, S., Dubois, D., & Prade, H. (1991). Constraint propagation with imprecise conditional probabilities. In Proceedings of the 7th Conference on Uncertainty in Artificial Intelligence, pp. 26-34. Morgan Kaufmann.
3. Andersen, K. A., & Hooker, J. N. (1994). Bayesian logic. Decision Support Systems, 11, 191-210.
4. Bacchus, F. (1990). Representing and Reasoning with Probabilistic Knowledge: A Logical Approach to Probabilities. MIT Press, Cambridge, USA.
5. Bacchus, F., Grove, A., Halpern, J. Y., & Koller, D. (1996). From statistical knowledge bases to degrees of beliefs. Artificial Intelligence, 87, 75-143.
6. Carnap, R. (1950). Logical Foundations of Probability. University of Chicago Press, Chicago.
7. Coletti, G. (1994). Coherent numerical and ordinal probabilistic assessments. IEEE Transactions on Systems, Man, and Cybernetics, 24(12), 1747-1754.
8. de Finetti, B. (1974). Theory of Probability. Wiley, New York.
9. Dubois, D., & Prade, H. (1988). On fuzzy syllogisms. Computational Intelligence, 4(2), 171-179.
10. Dubois, D., Prade, H., Godo, L., & de Màntaras, R. L. (1993). Qualitative reasoning with imprecise probabilities. Journal of Intelligent Information Systems, 2, 319-363.
11. Dubois, D., Prade, H., & Touscas, J.-M. (1990). Inference with imprecise numerical quantifiers. In Ras, Z. W., & Zemankova, M. (Eds.), Intelligent Systems, chap. 3, pp. 53-72. Ellis Horwood.
12. Fagin, R., Halpern, J. Y., & Megiddo, N. (1990). A logic for reasoning about probabilities. Information and Computation, 87, 78-128.
13. Frisch, A. M., & Haddawy, P. (1994). Anytime deduction for probabilistic logic. Artificial Intelligence, 69, 93-122.
14. Garey, M. R., & Johnson, D. S. (1979). Computers and Intractability: A Guide to the Theory of NP-Completeness. Freeman, New York.
15. Georgakopoulos, G., Kavvadias, D., & Papadimitriou, C. H. (1988). Probabilistic satisfiability. Journal of Complexity, 4(1), 1-11.
16. Gilio, A., & Scozzafava, R. (1994). Conditional events in probability assessment and revision. IEEE Transactions on Systems, Man, and Cybernetics, 24(12), 1741-1746.
17. Halpern, J. Y. (1990). An analysis of first-order logics of probability. Artifical Intelligence, 46, 311-350.
18. Hansen, P., Jaumard, B., Nguetsé, G.-B. D., & de Aragão, M. P. (1995). Models and algorithms for probabilistic and Bayesian logic. In Proceedings of the 14th International Joint Conference on Artificial Intelligence, pp. 1862-1868.
19. Heinsohn, J. (1994). Probabilistic description logics. In Proceedings of the 10th Conference on Uncertainty in Artificial Intelligence. Morgan Kaufmann.
20. Jaumard, B., Hansen, P., & de Aragão, M. P. (1991). Column generation methods for probabilistic logic. ORSA Journal of Computing, 3, 135-147.
21. Kavvadias, D., & Papadimitriou, C. H. (1990). A linear programming approach to reasoning about probabilities. Annals of Mathematics and Artificial Intelligence, 1, 189-205.
22. Lukasiewicz, T. (1996). Precision of Probabilistic Deduction under Taxonomic Knowledge. Doctoral Dissertation, Universität Augsburg.
23. Lukasiewicz, T. (1997). Efficient global probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events. In Proceedings of the 6th International Conference on Information and Knowledge Management, pp. 75-82. ACM Press.
24. Lukasiewicz, T. (1998a). Magic inference rules for probabilistic deduction under taxonomic knowledge. In Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence, pp. 354-361. Morgan Kaufmann.
25. Lukasiewicz, T. (1998b). Many-valued first-order logics with probabilistic semantics. In Proceedings of the Annual Conference of the European Association for Computer Science Logic. To appear.
26. Lukasiewicz, T. (1998c). Probabilistic deduction with conditional constraints over basic events. In Principles of Knowledge Representation and Reasoning: Proceedings of the 6th International Conference, pp. 380-391. Morgan Kaufmann.
27. Lukasiewicz, T. (1998d). Probabilistic logic programming. In Proceedings of the 13th European Conference on Artificial Intelligence, pp. 388-392. J. Wiley & Sons.
28. Lukasiewicz, T. (1999a). Local probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events. International Journal of Approximate Reasoning. To appear.
29. Lukasiewicz, T. (1999b). Probabilistic and truth-functional many-valued logic programming. In Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic. To appear.
30. Luo, C., Yu, C., Lobo, J., Wang, G., & Pham, T. (1996). Computation of best bounds of probabilities from uncertain data. Computational Intelligence, 12(4), 541-566.
31. Ng, R. T., & Subrahmanian, V. S. (1993). A semantical framework for supporting subjective and conditional probabilities in deductive databases. Journal of Automated Reasoning, 10(2), 191-235.
32. Ng, R. T., & Subrahmanian, V. S. (1994). Stable semantics for probabilistic deductive databases. Information and Computation, 110, 42-83.
33. Nilsson, N. J. (1986). Probabilistic logic. Artificial Intelligence, 28, 71-88.
34. Nilsson, N. J. (1993). Probabilistic logic revisited. Artificial Intelligence, 59, 39-42.
35. Paaß, G. (1988). Probabilistic Logic. In Dubois, D., Smets, P., Mamdani, A., & Prade, H. (Eds.), Non-Standard Logics for Automated Reasoning, chap. 8, pp. 213-251. Academic Press.
36. Papadimitriou, C. H., & Steiglitz, K. (1982). Combinatorial Optimization, Algorithms and Complexity. Prentice-Hall, Englewood Cliffs, NJ.
37. Pearl, J. (1988). Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann, San Mateo, CA.
38. Pittarelli, M. (1994). Anytime decision making with imprecise probabilities. In Proceedings of the 10th Conference on Uncertainty in Artificial Intelligence, pp. 470-477. Morgan Kaufmann.
39. Schrijver, A. (1986). Theory of Linear and Integer Programming. Wiley, New York.
40. Thöne, H. (1994). Precise Conclusion under Uncertainty and Incompleteness in Deductive Database Systems. Doctoral Dissertation, Universität Tübingen.
41. Thöne, H., Kießling, W., & Güntzer, U. (1995). On cautious probabilistic inference and default detachment. Annals of Operations Research, 55, 195-224.
42. van der Gaag, L. (1991). Computing probability intervals under independency constraints. In Uncertainty in Artificial Intelligence 6, pp. 457-466. North-Holland, Amsterdam.
43. Walley, P. (1991). Statistical Reasoning with Imprecise Probabilities. Chapman and Hall, New York.