On probabilistic inference by weighted model counting

Artificial Intelligence

Volumn 172, Issue 6-7, 2008, Pages 772-799

  Chavira, Mark ^a   Darwiche, Adnan ^a  

^a University of California   (United States)

Author keywords

Bayesian networks; Compilation; Exact inference; Weighted model counting

Indexed keywords

APPROXIMATION THEORY; BAYESIAN NETWORKS; KNOWLEDGE BASED SYSTEMS; MODEL CHECKING; PARAMETER ESTIMATION; PROBABILITY;

CONJUNCTIVE NORMAL FORM (CNF); EXACT INFERENCE; PROBABILISTIC INFERENCE; WEIGHTED MODEL COUNTING (WMC);

INFERENCE ENGINES;

EID: 38649102485     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2007.11.002     Document Type: Article

References (48)

1. M. Chavira, A. Darwiche, Compiling Bayesian networks with local structure, in: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI), 2005, pp. 1306-1312
2. M. Chavira, D. Allen, A. Darwiche, Exploiting evidence in probabilistic inference, in: Proceedings of the 21st Conference on Uncertainty in Artificial Intelligence (UAI), 2005, pp. 112-119
3. Chavira M., and Darwiche A. Encoding cnfs to empower component analysis. Proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing (SAT). Lecture Notes in Computer Science vol. 4121 (2006), Springer, Berlin, Heidelberg 61-74
4. Jensen F.V., Lauritzen S., and Olesen K. Bayesian updating in recursive graphical models by local computation. Computational Statistics Quarterly 4 (1990) 269-282
5. Lauritzen S.L., and Spiegelhalter D.J. Local computations with probabilities on graphical structures and their application to expert systems. Journal of Royal Statistics Society, Series B 50 2 (1988) 157-224
6. Zhang N.L., and Poole D. Exploiting causal independence in Bayesian network inference. Journal of Artificial Intelligence Research 5 (1996) 301-328
7. R. Dechter, Bucket elimination: A unifying framework for probabilistic inference, in: Proceedings of the 12th Conference on Uncertainty in Artificial Intelligence (UAI), 1996, pp. 211-219
8. Darwiche A. Recursive conditioning. Artificial Intelligence 126 1-2 (2001) 5-41
9. F. Jensen, S.K. Andersen, Approximations in Bayesian belief universes for knowledge based systems, in: Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence (UAI), Cambridge, MA, 1990, pp. 162-169
10. C. Boutilier, N. Friedman, M. Goldszmidt, D. Koller, Context-specific independence in Bayesian networks, in: Proceedings of the 12th Conference on Uncertainty in Artificial Intelligence (UAI), 1996, pp. 115-123
11. D. Larkin, R. Dechter, Bayesian inference in the presence of determinism, in: C.M. Bishop, B.J. Frey (Eds.), Proceedings of the Ninth International Workshop on Artificial Intelligence and Statistics, Jan 3-6, 2003, Key West, FL
12. Bacchus F., Dalmao S., and Pitassi T. Value elimination: Bayesian inference via backtracking search. Proceedings of the 19th Annual Conference on Uncertainty in Artificial Intelligence (UAI-03) (2003), Morgan Kaufmann Publishers, San Francisco, CA 20-28
13. D. Heckerman, A tractable inference algorithm for diagnosing multiple diseases, in: Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence, 1989, pp. 174-181
14. Poole D., and Zhang N. Exploiting contextual independence in probabilistic inference. Journal of Artificial Intelligence 18 (2003) 263-313
15. A. Darwiche, A logical approach to factoring belief networks, in: Proceedings of KR, 2002, pp. 409-420
16. Sang T., Beame P., and Kautz H. Solving Bayesian networks by weighted model counting. Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05), vol. 1 (2005), AAAI Press 475-482
17. M. Chavira, A. Darwiche, Compiling Bayesian networks using variable elimination, in: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI), 2007, pp. 2443-2449
18. T. Sang, F. Bacchus, P. Beame, H.A. Kautz, T. Pitassi, Combining component caching and clause learning for effective model counting, in: SAT, 2004
19. T. Sang, P. Beame, H.A. Kautz, Heuristics for fast exact model counting, in: SAT, 2005, pp. 226-240
20. Darwiche A. On the tractability of counting theory models and its application to belief revision and truth maintenance. Journal of Applied Non-Classical Logics 11 1-2 (2001) 11-34
21. Pearl J. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference (1988), Morgan Kaufmann Publishers, Inc., San Mateo, CA
22. Chavira M., Darwiche A., and Jaeger M. Compiling relational Bayesian networks for exact inference. International Journal of Approximate Reasoning 42 1-2 (May 2006) 4-20
23. Roth D. On the hardness of approximate reasoning. Artificial Intelligence 82 1-2 (1996) 273-302
24. F. Bacchus, S. Dalmao, T. Pitassi, Algorithms and complexity results for #sat and Bayesian inference, in: FOCS, 2003, pp. 340-351
25. Davis M., Logemann G., and Loveland D. A machine program for theorem proving. CACM 5 (1962) 394-397
26. A. Darwiche, New advances in compiling CNF to decomposable negational normal form, in: Proceedings of European Conference on Artificial Intelligence, 2004, pp. 328-332
27. Dechter R., and Mateescu R. AND/OR search spaces for graphical models. Artificial Intelligence 171 2-3 (2007) 73-106
28. W. Wei, B. Selman, A new approach to model counting, in: SAT, 2005, pp. 324-339
29. W. Wei, J. Erenrich, B. Selman, Towards efficient sampling: Exploiting random walk strategies, in: AAAI, 2004, pp. 670-676
30. R. Bayardo, J. Pehoushek, Counting models using connected components, in: AAAI, 2000, pp. 157-162
31. Darwiche A. A compiler for deterministic, decomposable negation normal form. Proceedings of the Eighteenth National Conference on Artificial Intelligence (AAAI) (2002), AAAI Press, Menlo Park, CA 627-634
32. F. Bacchus, S. Dalmao, T. Pitassi, Dpll with caching: A new algorithm for #SAT and Bayesian inference, Electronic Colloquium on Computational Complexity (ECCC) 10 (003)
33. Darwiche A., and Marquis P. A knowledge compilation map. Journal of Artificial Intelligence Research 17 (2002) 229-264
34. J. Huang, A. Darwiche, Dpll with a trace: From sat to knowledge compilation, in: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI), 2005, pp. 156-162
35. Jaeger M. Relational Bayesian networks. In: Geiger D., and Shenoy P.P. (Eds). Proceedings of the 13th Conference of Uncertainty in Artificial Intelligence (UAI-13) (1997), Morgan Kaufmann, Providence, USA 266-273
36. Darwiche A. A differential approach to inference in Bayesian networks. Journal of the ACM 50 3 (2003) 280-305
37. Hayes J.P. Introduction to Digital Logic Design (1993), Addison Wesley
38. Mirsalehi M.M., and Gaylord T.K. Logical minimization of multilevel coded functions. Applied Optics 25 (1986) 3078-3088
39. Shachter R.D. Evaluating influence diagrams. Operations Research 34 6 (1986) 871-882
40. Ross S. Evidence absorption and propagation through evidence reversals. Proceedings of the 5th Annual Conference on Uncertainty in Artificial Intelligence (UAI-90) (1990), Elsevier Science Publishing Company, Inc., New York
41. Park J., and Darwiche A. Approximating MAP using stochastic local search. Proceedings of the 17th Conference on Uncertainty in Artificial Intelligence (UAI) (2001), Morgan Kaufmann Publishers, Inc., San Francisco, CA 403-410
42. J. Park, A. Darwiche, Solving map exactly using systematic search, in: Proceedings of the 19th Conference on Uncertainty in Artificial Intelligence (UAI), 2003, pp. 459-468
43. C. Yuan, T.-C. Lu, M. Druzdzel, Annealed MAP, in: Proceedings of the 20th Annual Conference on Uncertainty in Artificial Intelligence (UAI), 2004, pp. 628-635
44. Fishelson M., and Geiger D. Exact genetic linkage computations for general pedigrees. Bioinformatics 18 1 (2002) 189-198
45. M. Fishelson, N. Dovgolevsky, D. Geiger, Maximum likelihood haplotyping for general pedigrees, Tech. Rep. CS-2004-13, Technion, Haifa, Israel, 2004
46. Dempster A., Laird N., and Rubin D. Maximum likelihood from incomplete data via the EM algorithm. Journal of the Royal Statistical Society 39 1 (1977) 1-38
47. Chan H., and Darwiche A. Sensitivity analysis in Bayesian networks: From single to multiple parameters. Proceedings of the Twentieth Conference on Uncertainty in Artificial Intelligence (UAI) (2004), AUAI Press, Arlington, Virginia 67-75
48. Park J., and Darwiche A. A differential semantics for jointree algorithms. Artificial Intelligence 156 (2004) 197-216