Answering queries from context-sensitive probabilistic knowledge bases

Theoretical Computer Science

Volumn 171, Issue 1-2, 1997, Pages 147-177

  Ngo, Liem ^a   Haddawy, Peter ^a  

^a University of Wisconsin Milwaukee   (United States)

Author keywords

Bayesian networks; Logic programming; Probability model construction; Reasoning under uncertainty

Indexed keywords

ALGORITHMS; COMPUTER NETWORKS; COMPUTER PROGRAMMING LANGUAGES; PROBABILISTIC LOGICS;

BAYESIAN NETWORKS; DECLARATIVE SEMANTICS; PROBABILITY MODEL CONSTRUCTION;

LOGIC PROGRAMMING;

EID: 0030737325     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(96)00128-4     Document Type: Article

References (29)

1. K.R. Apt and M. Bezem, Acyclic programs, New Generation Comput. (1991) 335-363.
2. F. Bacchus, Using first-order probability logic for the construction of Bayesian networks, in: Proc. 9th Conf. on Uncertainty in Artificial Intelligence (1993) 219-226.
3. H.A. Blair and V.S. Subrahmanian, Paraconsistent logic programming, Theoret. Comput. Sci. (1987) 35-54.
4. J.S. Breese, Construction of belief and decision networks, Comput. Intelligence 8 (1992) 624-647.
5. G. F. Cooper, The computational complexity of probabilistic inference using bayesian belief networks, Artificial Intelligence 42 (1990) 393-405.
6. F.J. Diez, Parameter adjustment in bayes networks. The generalized noisy or-gate, in: Proc. 9th Conf. on Uncertainty in Artificial Intelligence, Washington, DC (1993) 99-105.
7. M.C. Fitting, Bilattices and the semantics of logic programming, J. Logic Programming (1988) 91-116.
8. A.V. Gelder, K.A. Ross and J.S. Schlipf, The well-founded semantics for general logic programs, J. ACM (1991) 620-650.
9. M. Gelfond and V. Liftschitz, The stable model semantics for logic programming, in: Proc. of the 5th Internat. Conf. and Symposium on Logic Programming (1988) 1070-1080.
10. R.P. Goldman and E. Charniak, Dynamic construction of belief networks, in: Proc. 6th Conf. on Uncertainty in Artificial Intelligence, Cambridge, MA (1990) 90-97.
11. R.P. Goldman and E. Charniak, A language for construction of belief networks, IEEE Trans. Pattern Analysis Machine Intelligence 15 (1993) 196-208.
12. P. Haddawy, Generating Bayesian networks from probability logic knowledge bases, in: Proc. 10th Conf. on Uncertainty in Artificial Intelligence, Seattle (1994) 262-269.
13. P. Haddawy, J.W. Helwig, L. Ngo and R. Krieger, Clinical simulation using context-sensitive temporal probability models, in: Proc. 19th Ann. Symp. on Computer Applications in Medical Care (SCAMC95), New Orleans (1995) 203-207.
14. D. Heckerman and M.P. Wellman, Bayesian networks, Comm. ACM 38 (1995) 27-30.
15. M. Kifer and V.S. Subramahnian, Theory of generalized annotated logic programs and its applications, J. Logic Programming (1992) 335-367.
16. D. Lin and R. Goebel, Integrating probabilistic, taxonomic and causal knowledge in abductive diagnosis, in: Uncertainty in Artificial Intelligence: Vol. VI (Elsevier, Amsterdam, 1991) 77-87.
17. J.W. Lloyd, Foundation of Logic Programming (Springer, Berlin, 2nd ed., 1987).
18. R. Ng, Semantics and consistency of empirical databases, in: Proc. 1993 Internat. Conf. on Logic Programming (1993) 812-826.
19. R. Ng and V.S. Subrahmanian, A semantical framework for supporting subjective and conditional probability in deductive databases, in: Proc. 1991 Internat. Conf. on Logic Programming (1991) 565-580.
20. R. Ng and V.S. Subrahmanian, Empirical probabilities in monadic deductive databases, in: Proc. 8th Conf. on Uncertainty in Artificial Intelligence (1992) 215-222.
21. R. Ng and V.S. Subrahmanian, Probabilistic logic programming, Inform. and Comput. (1992) 150-201.
22. L. Ngo, P. Haddawy and J. Helwig, A theoretical framework for context-sensitive temporal probability model construction with application to plan projection, in: Proc. 11th Conf. on Uncertainty in Artificial Intelligence (1995) 419-426.
23. J. Pearl, Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference (Morgan Kaufmann, San Mateo, CA, 1988).
24. D. Poole, Probabilistic horn abduction and bayesian networks, Artificial Intelligence 64 (1993) 81-129.
25. R.D. Shachter, Probabilistic inference and influence diagrams, Oper. Res. 36 (1988) 589-604.
26. S. Srinivas, A generalization of the noisy-or model, in: Proc. 9th Conf. on Uncertainty in Artificial Intelligence (1993) 208-217.
27. S. Srinivas and J. Breese, IDEAL: A software package for analysis of influence diagrams, in: Proc. 6th Conf. on Uncertainty in Artificial Intelligence (1990) 212-219.
28. M.H. van Emden, Quantitative deduction and its fixpoint theory, J. Logic Programming (1986) 37-53.
29. M.P. Wellman, J.S. Breese and R.P. Goldman, From knowledge bases to decision models, Knowledge Eng. Rev. 7 (1992) 35-53.