Probabilistic theorem proving

Proceedings of the 27th Conference on Uncertainty in Artificial Intelligence, UAI 2011

Volumn , Issue , 2011, Pages 256-265

  Gogate, Vibhav ^a   Domingos, Pedro ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; PROBABILITY;

BELIEF PROPAGATION; FIRST ORDER LOGIC; FIRST ORDER THEOREM PROVING; HERBRAND INTERPRETATIONS; LOGICAL STRUCTURE; PROBABILISTIC INFERENCE; REPRESENTATION SCHEMES; VARIABLE ELIMINATION;

THEOREM PROVING;

EID: 80053152557     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (40)

1. F. Bacchus. Representing and Reasoning with Probabilistic Knowledge. MIT Press, Cambridge, MA, 1990.
2. P. Baumgartner and C. Tinelli. The model evolution calculus as a first-order DPLL method. Artif. Intell., 172(4-5):591-632, 2008.
3. R. J. Bayardo, Jr. and J. D. Pehoushek. Counting models using connected components. In AAAI, pages 157-162, 2000.
4. M. Chavira and A. Darwiche. On probabilistic inference by weighted model counting. Artif. Intell., 172(6-7):772-799, 2008.
5. A. Darwiche. Recursive conditioning. Artif. Intell., 126:5-41, 2001. (Pubitemid 32196230)
6. Adnan Darwiche. A logical approach to factoring belief networks. In KR, pages 409-420, 2002.
7. M. Davis, G. Logemann, and D. Loveland. A machine program for theorem proving. CACM, 5:394-397, 1962.
8. M. Davis and H. Putnam. A computing procedure for quantification theory. JACM, 7(3), 1960.
9. L. De Raedt, A. Kimmig, and H. Toivonen. Problog: A probabilistic prolog and its application in link discovery. In IJCAI, pages 2462-2467, 2007.
10. R. de Salvo Braz. Lifted First-Order Probabilistic Inference. PhD thesis, Univ. of Illinois, Urbana-Champaign, IL, 2007.
11. R. Dechter. Bucket elimination: A unifying framework for reasoning. Artif. Intell., 113:41-85, 1999. (Pubitemid 30542742)
12. R. Dechter and R. Mateescu. AND/OR search spaces for graphical models. Artif. Intell., 171(2-3):73-106, 2007. (Pubitemid 46328845)
13. S. Della Pietra, V. Della Pietra, and J. Lafferty. Inducing features of random fields. IEEE Transactions on Pattern Analysis and Machine Intelligence, 19:380-392, 1997.
14. P. Domingos and D. Lowd. Markov Logic: An Interface Layer for Artificial Intelligence. Morgan & Claypool, 2009.
15. M. R. Genesereth and N. J. Nilsson. Logical Foundations of Artificial Intelligence. Morgan Kaufmann, 1987.
16. L. Getoor and B. Taskar, editors. Introduction to Statistical Relational Learning. MIT Press, 2007.
17. V. Gogate and P. Domingos. Formula-based probabilistic inference. In UAI, pages 210-219, 2010.
18. Vibhav Gogate and Rina Dechter. SampleSearch: Importance Sampling in presence of Determinism. Artif. Intell., 175(2):694-729, 2011.
19. J. Halpern. An analysis of first-order logics of probability. Artif. Intell., 46:311-350, 1990.
20. A. Jha, V. Gogate, A. Meliou, and D. Suciu. Lifted inference from the other side: The tractable features. In NIPS, pages 973-981, 2010.
21. K. Kersting, B. Ahmadi, and S. Natarajan. Counting Belief Propagation. In UAI, pages 277-284, 2009.
22. J. Kisynski and D. Poole. Constraint processing in lifted probabilistic inference. In UAI, pages 293-302, 2009.
23. B. Milch, B. Marthi, S. J. Russell, D. Sontag, D. L. Ong, and A. Kolobov. BLOG: Probabilistic models with unknown objects. In IJCAI, pages 1352-1359, 2005.
24. B. Milch, L. S. Zettlemoyer, K. Kersting, M. Haimes, and L. P. Kaelbling. Lifted probabilistic inference with counting formulas. In AAAI, pages 1062-1068, 2008.
25. S. Kok, M. Sumner, M. Richardson, P. Singla, H. Poon, and P. Domingos. The Alchemy system for statistical relational AI. Tech. Rept., Dept. CSE, Univ. Washington, 2006. http://alchemy.cs.washington.edu.
26. K. S. Ng, J. W. Lloyd, and W. T. Uther. Probabilistic modelling, inference and learning using logical theories. AMAI Journal, 54(1-3):159-205, 2008.
27. N. Nilsson. Probabilistic logic. Artif. Intell., 28:71-87, 1986.
28. James D. Park. Using weighted MAX-SAT engines to solve MPE. In AAAI, pages 682-687, 2002.
29. D. Poole. First-order probabilistic inference. In IJCAI, pages 985-991, 2003.
30. H. Poon and P. Domingos. Sound and efficient inference with probabilistic and deterministic dependencies. In AAAI, pages 458-463, 2006. (Pubitemid 44705326)
31. H. Poon, P. Domingos, and M. Sumner. A general method for reducing the complexity of relational inference and its application to MCMC. In AAAI, pages 1075-1080, 2008.
32. J. A. Robinson. A machine-oriented logic based on the resolution principle. JACM, 12:23-41, 1965.
33. Reuven Y. Rubinstein. Simulation and the Monte Carlo Method. John Wiley & Sons Inc., 1981.
34. T. Sang, P. Beame, and H. Kautz. Solving Bayesian networks by weightedmodel counting. In AAAI, pages 475-482, 2005.
35. T. Sang, P. Beame, and H. A. Kautz. Heuristics for fast exact model counting. In SAT, pages 226-240, 2005. (Pubitemid 41425509)
36. P. Sen, A. Deshpande, and L. Getoor. Bisimulation-based approximate lifted inference. In UAI, pages 496-505, 2009.
37. P. Singla and P. Domingos. Discriminative training of Markov logic networks. In AAAI, pages 868-873, 2005. (Pubitemid 43006718)
38. P. Singla and P. Domingos. Lifted first-order belief propagation. In AAAI, pages 1094-1099, 2008.
39. H. Tamaki and T. Sato. OLD resolution with tabulation. In ICLP, pages 84-98, 1986.
40. M. Wellman, J. S. Breese, and R. P. Goldman. From knowledge bases to decision models. Knowl. Eng. Rev., 7, 1992.