Abstract

We study the problem of probabilistic deduction with conditional constraints over basic events. We show that globally complete probabilistic deduction with conditional constraints over basic events is NP-hard. We then concentrate on the special case of probabilistic deduction in conditional constraint trees. We elaborate very efficient techniques for globally complete probabilistic deduction. In detail, for conditional constraint trees with point probabilities, we present a local approach to globally complete probabilistic deduction, which runs in linear time in the size of the conditional constraint trees. For conditional constraint trees with interval probabilities, we show that globally complete probabilistic deduction can be done in a global approach by solving nonlinear programs. We show how these nonlinear programs can be transformed into equivalent linear programs, which are solvable in polynomial time in the size of the conditional constraint trees. 1. Introduction Dealing wit...

Citations

8881	D.S.: Computers and Intractability, A Guide to the Theory of NP-Completeness - Garey, Johnson - 1979
5664	Probabilistic Reasoning in Intelligent Systems - Pearl - 1988
1232	Theory of Linear and Integer Programming - Schrijver - 1986
355	Probabilistic logic - Nilsson - 1986
239	An analysis of first-order logics of probability - Halpern - 1990
225	Representing Reasoning with Probabilistic Knowledge - Bacchus - 1990
193	Logical Foundations of Probability - Carnap - 1962
181	A logic for reasoning about probabilities - Fagin, Halpern, et al. - 1990
146	The Logic of Conditionals,” D - Adams - 1975
104	From statistical knowledge bases to degrees of belief - Bacchus, Grove, et al. - 1996
88	Theory of Probability - DeFinetti - 1975
62	Probabilistic Description Logics - Heinsohn - 1994
58	Anytime Deduction for Probabilistic Logic - Frisch, Haddawy - 1994
54	A semantical framework for supporting subjective and conditional probabilities in deductive databases - Ng, Subrahmanian - 1993
42	de Finetti, Theory of Probability (J - unknown authors - 1974
41	Probabilistic logic programming - Lukasiewicz - 1998
32	Probabilistic Satisfiability - Georgakopoulos, Kavvadias, et al. - 1988
31	Constraint propagation with imprecise conditional probabilities - Amarger, Dubois, et al. - 1991
31	Local probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events - Lukasiewicz - 1999
24	Probabilistic logic revisited - Nilsson - 1993
23	On Fuzzy Syllogisms - Dubois, Prade - 1988
23	The Logic of Conditionals, volume 86 of Synthese Library - Adams - 1975
22	Coherent numerical and ordinal probabilistic assessments - Coletti - 1994
21	Inference with imprecise numerical quantifiers - Dubois, Prade, et al. - 1990
20	Bayesian Logic. Decision Support Systems 11 - Andersen, Hooker - 1994
18	Column generation methods for probabilistic logic - Jaumard, Hansen, et al.
18	Towards precision of probabilistic bounds propagation - Thöne, Güntzer, et al. - 1992
17	de Arag~ao, Column Generation Methods for Probabilistic Logic - Jaumard, Hansen, et al. - 1991
16	A Linear Programming Approach to Reasoning about - Kavvadias, Papadimitriou - 1990
15	On cautious probabilistic inference and default - THONE, KIESSLING, et al. - 1995
14	Probabilistic and truth-functional manyvalued logic programming - Lukasiewicz - 1999
14	An analysis of rst-order logics of probability - Halpern - 1990
13	Computation of best bounds of probabilities from uncertain data - Luao, Yu, et al. - 1996
11	Conditional events in probability assessments and revision - Gilio, Scozzafava - 1994
10	Efficient global probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events - Lukasiewicz - 1997
8	Magic inference rules for probabilistic deduction under taxonomic knowledge - Lukasiewicz - 1998
8	Many-valued first-order logics with probabilistic semantics - Lukasiewicz - 1999
7	Computing probability intervals under independency constraints - Gaag - 1991
6	Precision of Probabilistic Deduction under Taxonomic Knowledge - Lukasiewicz - 1996
5	Qualitative reasoning with imprecise probabilities - Dubois, Godo, et al. - 1993
5	de M`antaras. A symbolic approach to reasoning with linguistic quantifiers - Dubois, Prade, et al. - 1992
5	Uncertain reasoning in concept lattices - Lukasiewicz - 1995
5	Probabilistic Satis ability - Georgakopoulos, Kavvadias, et al. - 1988
4	Probabilistic logic - Paa�� - 1988
4	Precise Conclusion under Uncertainty and Incompleteness in Deductive Database Systems - Thone - 1994
3	Anytime decision making with imprecise probabilities - Pittarelli - 1994
2	Taxonomic and uncertain integrity constraints in object-oriented databases - the TOP approach - Lukasiewicz, Kie��ling, et al. - 1995
2	Toucas, Inference with imprecise numerical quanti ers - Dubois, Prade, et al. - 1990
1	Probabilistic Deduction with Conditional Constraints over Basic Events - Ng - 1994
1	Models and algorithms for probabilistic and Bayesian logic - Hansen, Jaumard, et al. - 1995