Formula-based probabilistic inference

Proceedings of the 26th Conference on Uncertainty in Artificial Intelligence, UAI 2010

Volumn , Issue , 2010, Pages 210-219

  Gogate, Vibhav ^a   Domingos, Pedro ^a  

^a University of Washington   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

APPROXIMATE METHODS; INFERENCE PROBLEM; LOGICAL INFERENCE; NATURAL EXTENSION; PERFORMANCE GAIN; PROBABILISTIC INFERENCE; STATE-OF-THE-ART SCHEME; STRUCTURAL INFORMATION;

IMPORTANCE SAMPLING;

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

References (33)

1. Fahiem Bacchus, Shannon Dalmao, and Toniann Pitassi. Value Elimination: Bayesian Inference via Backtracking Search. In UAI, pages 20-28, 2003.
2. C. Boutilier. Context-specific independence in Bayesian networks. In Uncertainty in Artificial Intelligence (UAI-96), pages 115-123, 1996.
3. George Casella and Christian P. Robert. Rao-Blackwellisation of sampling schemes. Biometrika, 83(1):81-94, 1996. doi: 10.1093/biomet/83.1.81.
4. Mark Chavira and Adnan Darwiche. On probabilistic inference by weighted model counting. Artificial Intelligence, 172(6-7): 772-799, 2008.
5. Adnan Darwiche. Recursive conditioning. Artificial Intelligence, 126(1-2):5-41, 2001. ISSN 0004-3702. (Pubitemid 32196230)
6. Adnan Darwiche. New Advances in Compiling CNF into Decomposable Negation Normal Form. In ECAI, pages 328-332, 2004.
7. R. Dechter. Bucket elimination: A unifying framework for rea soning. Artificial Intelligence, 113:41-85, 1999. (Pubitemid 30542742)
8. R. Dechter and R. Mateescu. AND/OR search spaces for graphical models. Artificial Intelligence, 171(2-3):73-106, 2007. (Pubitemid 46328845)
9. Pedro Domingos and Daniel Lowd. Markov Logic: An Interface Layer for Artificial Intelligence. Morgan and Claypool, 2009.
10. Stuart Geman and Donald Geman. Stochastic relaxations, Gibbs distributions and the Bayesian restoration of images. IEEE Transaction on Pattern analysis and Machine Intelligence, 6 (6):721-742, 1984.
11. Lise Getoor and Ben Taskar. Introduction to Statistical Relational Learning. The MIT Press, 2007.
12. Vibhav Gogate and Rina Dechter. Approximate inference algorithms for hybrid Bayesian networks with discrete constraints. In UAI, pages 209-216, 2005.
13. Vibhav Gogate and Rina Dechter. SampleSearch: A scheme that Searches for Consistent Samples. Proceedings of the 11th Conference on Artificial Intelligence and Statistics (AISTATS), pages 147-154, 2007a.
14. Vibhav Gogate and Rina Dechter. Approximate counting by sampling the backtrack-free search space. In Proceedings of 22nd Conference on Artificial Intelligence (AAAI), pages 198-203, 2007b. (Pubitemid 350149574)
15. Vibhav Gogate and Rina Dechter. AND/OR Importance Sampling. In In 23rd Conference on Uncertainty in Artificial Intelligence (UAI), pages 212-219, 2008.
16. Carla P. Gomes and Meinolf Sellmann. Streamlined constraint reasoning. In CP, pages 274-289, 2004.
17. Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, and Bart Selman. From sampling to model counting. In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI), pages 2293-2299, 2007.
18. Stanley Kok, Parag Singla, Matthew Richardson, Pedro Domingos, Marc Sumner, Hoifung Poon, Daniel Lowd, and Jue Wang. Alchemy - Open Source AI. Website: http://alchemy.cs.washington.edu/, 2004.
19. S.L. Lauritzen and D.J. Spiegelhalter. Local computation with probabilities on graphical structures and their application to expert systems. Journal of the Royal Statistical Society, Series B, 50(2):157-224, 1988.
20. Nils J. Nilsson. Probabilistic logic. Artif. Intell., 28(1):71-87, 1986.
21. James D. Park. Using weighted max-sat engines to solve mpe. In AAAI, pages 682-687, 2002.
22. J. Pearl. Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann, 1988.
23. Stephen Della Pietra, Vincent J. Della Pietra, and John D. Lafferty. Inducing features of random fields. IEEE Transanctions on Pattern Analysis and Machine Intelligence, 19(4):380-393, 1997.
24. Hoifung Poon and Pedro Domingos. Sound and efficient inference with probabilistic and deterministic dependencies. In AAAI, pages 458-463, 2006. (Pubitemid 44705326)
25. Matthew Richardson and Pedro Domingos. Markov logic networks. Machine Learning, 62(1-2):107-136, 2006. ISSN 0885-6125. (Pubitemid 43202307)
26. Roberto J. Bayardo Jr. and Joseph Daniel Pehoushek. Counting models using connected components. In Proceedings of 17th National Conference on Artificial Intelligence (AAAI), pages 157-162, 2000.
27. Reuven Y. Rubinstein. Simulation and the Monte Carlo Method. John Wiley & Sons Inc., 1981.
28. Tian Sang, Paul Beame, and Henry Kautz. Heuristics for fast exact model counting. In Eighth International Conference on Theory and Applications of Satisfiability Testing (SAT), pages 226-240, 2005. (Pubitemid 41425509)
29. M. Shwe, B. Middleton, D. Heckerman, M. Henrion, E. Horvitz, H. Lehmann, and G. Cooper. Probabilistic diagnosis using a reformulation of the internist-1/qmr knowledge base i. the probabilistic model and inference algorithms. Methods of Information in Medicine, 30:241-255, 1991.
30. Niklas Sorensson and Niklas Een. Minisat v1.13-a SAT solver with conflict-clause minimization. In SAT 2005 competition, 2005.
31. WeiWei and Bart Selman. A new approach to model counting. In SAT, pages 324-339, 2005. (Pubitemid 41425516)
32. Jonathan S. Yedidia, William T. Freeman, and Yair Weiss. Constructing free energy approximations and generalized belief propagation algorithms. IEEE Transactions on Information Theory, 51:2282-2312, 2004. (Pubitemid 41136394)
33. Changhe Yuan and Marek J. Druzdzel. Importance sampling algorithms for Bayesian networks: Principles and performance. Mathematical and Computer Modelling, 43(9-10):1189-1207, 2006. ISSN 0895-7177. (Pubitemid 44316568)