Methods for constructing balanced elimination trees and other recursive decompositions

An elimination tree is a form of recursive factorization for Bayesian networks. Elimination trees can be used as the basis for a practical implementation of Bayesian network inference via conditioning graphs. The time complexity for inference in elimination trees has been shown to be O(nexp(d)), where d is the height of the elimination tree. In this paper, we demonstrate two new heuristics for building small elimination trees. We also demonstrate a simple technique for deriving elimination trees from Darwiche et al.'s dtrees, and vice versa. We show empirically that our heuristics, combined with a constructive process for building elimination trees, produces the smaller elimination trees than previous methods.

[1]  Nevin L. Zhang,et al.  A simple approach to Bayesian network computations , 1994 .

[2]  Mark Hopkins,et al.  Using Recursive Decomposition to Construct Elimination Orders, Jointrees, and Dtrees , 2001, ECSQARU.

[3]  Rina Dechter,et al.  Bucket Elimination: A Unifying Framework for Reasoning , 1999, Artif. Intell..

[4]  Fabio Gagliardi Cozman,et al.  Anytime anyspace probabilistic inference , 2004, Int. J. Approx. Reason..

[5]  Uue Kjjrull Triangulation of Graphs { Algorithms Giving Small Total State Space Triangulation of Graphs { Algorithms Giving Small Total State Space , 1990 .

[6]  David J. Spiegelhalter,et al.  Local computations with probabilities on graphical structures and their application to expert systems , 1990 .

[7]  Kevin Grant,et al.  Conditioning Graphs: Practical Structures for Inference in Bayesian Networks , 2005, Australian Conference on Artificial Intelligence.

[8]  Adnan Darwiche,et al.  Recursive conditioning , 2001, Artif. Intell..

[9]  Gregory M. Provan,et al.  Query DAGs: A practical paradigm for implementing belief-network inference , 1996, UAI.

[10]  Gary L. Miller,et al.  Parallel tree contraction and its application , 1985, 26th Annual Symposium on Foundations of Computer Science (sfcs 1985).

[11]  Kevin Grant,et al.  Exploiting Dynamic Independence in a Static Conditioning Graph , 2006, Canadian Conference on AI.

[12]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[13]  Adnan Darwiche,et al.  Inference in belief networks: A procedural guide , 1996, Int. J. Approx. Reason..

[14]  Gregory F. Cooper,et al.  Bounded recursive decomposition: a search-based method for belief-network inference under limited resources , 1996, Int. J. Approx. Reason..