Reasoning with BKBs - Algorithms and complexity

Annals of Mathematics and Artificial Intelligence

Volumn 40, Issue 3-4, 2004, Pages 403-425

  Rosen, Tzachi ^a   Shimony, Solomon Eyal ^a   Santos Jr , Eugene ^b  

^a BEN GURION UNIVERSITY OF THE NEGEV   (Israel)

^b University of Connecticut   (United States)

Author keywords

Context specific independence; Probabilistic reasoning; Rule based systems

Indexed keywords

EID: 4043097679     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/b:amai.0000012874.65239.b0     Document Type: Article

References (27)

1. F. Bacchus, Representing and Reasoning with Probabilistic Knowledge: A Logical Approach to Probabilities (MIT Press, 1990).
2. C. Boutilier, N. Friedman, M. Goldszmidt and D. Koller, Context-specific independence in Bayesian networks, in: Uncertainty in Artificial Intelligence, Proceedings of the 12th Conference (Morgan Kaufmann, August 1996) pp. 115-123.
3. G.F. Cooper, The computational complexity of probabilistic inference using Bayesian belief networks, Artificial Intelligence 44 (1990) 393-405.
4. P. Dagum and M. Luby, Approximating probabilistic inference in Bayesian belief networks is NP-hard, Artificial Intelligence 60(1) (March 1993) 141-153.
5. A.P. Dempster, A generalization of Bayesian inference, Journal of the Royal Statistical Society 30 (1968) 205-247.
6. C. Domshlak, D. Gershkovich, E. Gudes, N. Liusternik, A. Meisels, T. Rosen and S.E. Shimony, FlexiMine - a flexible platform for KDD research and application construction, in: KDD-98, Proceedings of the Fourth International Conference on Knowledge Discovery in Databases (1998) pp. 184-188.
7. W.F. Dowling and J.H. Gallier, Linear-time algorithms for testing the satisfiability of propositional Horn formulae, Journal of Logic Programming 3 (1984) 267-284.
8. D. Heckerman, Probabilistic Similarity Networks (MIT Press, 1991).
9. M. Henrion, Propagating uncertainty in Bayesian networks by probabilistic logic sampling, in: Proceedings Uncertainty in Artificial Intelligence 4 (1988) pp. 149-163.
10. G. Johnson, Jr. and E. Santos, Jr., Generalizing knowledge representation rules for acquiring and validating uncertain knowledge, in: Proceedings of the 13th International Florida Artificial Intelligence Research Society Conference (May 2000) pp. 186-190.
11. N.J. Nilsson, Probabilistic logic, Artificial Intelligence 28 (1986) 71-87.
12. J. Pearl, Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference (Morgan Kaufmann, San Mateo, CA, 1988).
13. D. Poole, Probabilistic Horn abduction and Bayesian networks, Artificial Intelligence 64(1) (1993) 81-129.
14. T. Rosen and S.E. Shimony, BKBs - semantics, characteristics, and inference, Technical Report FC-99-07, Ben-Gurion University (1999).
15. E. Santos, Jr. and E.S. Santos, A framework for building knowledge-bases under uncertainty, Journal of Experimental and Theoretical Artificial Intelligence 11 (1999) 265-286.
16. E.S. Santos and E.Santos, Jr., Reasoning with uncertainty in a knowledge-based system, in: Proceedings of the International Symposium on Multiple-Valued Logic (1987) pp. 75-81.
17. E. Santos Jr., A linear constraint satisfaction approach to cost-based abduction, Artificial Intelligence 65(1) (1994) 1-27.
18. G.A. Shafer, Mathematical Theory of Evidence (Princeton University Press, 1979).
19. S.E. Shimony, The role of relevance in explanation I: Irrelevance as statistical independence, International Journal of Approximate Reasoning 8(4) (June 1993) 281-324.
20. S.E. Shimony, Finding MAPs for belief networks is NP-hard, Artificial Intelligence 68(2) (August 1994) 399-410.
21. S.E. Shimony, The role of relevance in explanation II: Disjunctive assignments and approximate independence, International Journal of Approximate Reasoning 13(1) (July 1995) 27-60.
22. S.E. Shimony, E. Santos, Jr. and T. Rosen, Independence semantics for BKBs, in: Proceedings of the 13th International Florida Artificial Intelligence Research Society Conference (May 2000) pp. 308-312.
23. E.H. Shortliffe and B.G. Buchanan, A model of inexact reasoning in medicine, Mathematical Biosciences 23 (1975) 351-379.
24. P. Spirtes, C. Glymour and R. Scheines, Causation, Prediction, and Search (Springer, 1993).
25. P. Thagard, Explanatory coherence, Behavioral and Brain Sciences 12 (1989) 435-502.
26. L.A. Zadeh, The role of fuzzy logic in the management of uncertainty in expert systems, Fuzzy Sets and Systems 11 (1983) 199-227.
27. N.L. Zhang and D. Poole, Intercausal independence and heterogeneous factorization, in: Uncertainty in AI, Proceedings of the Tenth Conference (July 1994) pp. 606-614.