Value Elimination: Bayesian Inference via Backtracking Search

10/19/2012
by   Fahiem Bacchus, et al.
0

Backtracking search is a powerful algorithmic paradigm that can be used to solve many problems. It is in a certain sense the dual of variable elimination; but on many problems, e.g., SAT, it is vastly superior to variable elimination in practice. Motivated by this we investigate the application of backtracking search to the problem of Bayesian inference (Bayes). We show that natural generalizations of known techniques allow backtracking search to achieve performance guarantees similar to standard algorithms for Bayes, and that there exist problems on which backtracking can in fact do much better. We also demonstrate that these ideas can be applied to implement a Bayesian inference engine whose performance is competitive with standard algorithms. Since backtracking search can very naturally take advantage of context specific structure, the potential exists for performance superior to standard algorithms on many problems.

READ FULL TEXT

page 1

page 2

page 5

page 7

page 8

research
07/04/2012

The Relationship Between AND/OR Search and Variable Elimination

In this paper we compare search and inference in graphical models throug...
research
01/15/2014

Solving #SAT and Bayesian Inference with Backtracking Search

Inference in Bayes Nets (BAYES) is an important problem with numerous ap...
research
02/12/2015

Variable and value elimination in binary constraint satisfaction via forbidden patterns

Variable or value elimination in a constraint satisfaction problem (CSP)...
research
06/24/2011

Exploiting Contextual Independence In Probabilistic Inference

Bayesian belief networks have grown to prominence because they provide c...
research
05/10/2019

Variable elimination in binary CSPs

We investigate rules which allow variable elimination in binary CSP (con...
research
12/16/2010

Fast Convergent Algorithms for Expectation Propagation Approximate Bayesian Inference

We propose a novel algorithm to solve the expectation propagation relaxa...
research
03/27/2013

Heuristic Search as Evidential Reasoning

BPS, the Bayesian Problem Solver, applies probabilistic inference and de...

Please sign up or login with your details

Forgot password? Click here to reset