IPE and L2U: approximate algorithms for credal networks

This paper presents two approximate algorithms for inference in graphical models for binary random variables and imprecise probability. Exact inference in such models is extremely challenging in multiply-connected graphs. We describe and implement two new approximate algorithms. The first one is the Iterated Partial Evaluation (IPE) algorithm, directly based on the Localized Partial Evaluation (LPE) technique. The second one is the Loopy 2U (L2U) algorithm, an extension of the popular loopy belief propagation algorithm employed in Bayesian network inference. Experiments show excellent performance for these algorithms.

[1]  Fabio Gagliardi Cozman,et al.  Credal networks , 2000, Artif. Intell..

[2]  Kristian G. Olesen,et al.  An algebra of bayesian belief universes for knowledge-based systems , 1990, Networks.

[3]  Bjørnar Tessem,et al.  Interval probability propagation , 1992, Int. J. Approx. Reason..

[4]  Serafín Moral,et al.  An axiomatic framework for propagating uncertainty in directed acyclic networks , 1993, Int. J. Approx. Reason..

[5]  Andrés Cano,et al.  A Genetic algorithm to approximate convex sets of probabilities , 1996 .

[6]  Eugene Charniak,et al.  Bayesian Networks without Tears , 1991, AI Mag..

[7]  Isaac Levi,et al.  The Enterprise Of Knowledge , 1980 .

[8]  Rina Dechter,et al.  Bucket elimination: A unifying framework for probabilistic inference , 1996, UAI.

[9]  Fabio Gagliardi Cozman,et al.  Propositional and Relational Bayesian Networks Associated with Imprecise and Qualitat , 2004, UAI.

[10]  Michael I. Jordan,et al.  Loopy Belief Propagation for Approximate Inference: An Empirical Study , 1999, UAI.

[11]  Denise Draper,et al.  Localized Partial Evaluation of Belief Networks , 1994, UAI.

[12]  P. Walley Statistical Reasoning with Imprecise Probabilities , 1990 .

[13]  Fabio Gagliardi Cozman,et al.  Inference with Seperately Specified Sets of Probabilities in Credal Networks , 2002, UAI.

[14]  Enrico Fagiuoli,et al.  2U: An Exact Interval Propagation Algorithm for Polytrees with Binary Variables , 1998, Artif. Intell..

[15]  Serafín Moral,et al.  Using probability trees to compute marginals with imprecise probabilities , 2002, Int. J. Approx. Reason..

[16]  Fabio Gagliardi Cozman,et al.  Random Generation of Bayesian Networks , 2002, SBIA.

[17]  Thomas Lukasiewicz,et al.  Probabilistic Logic Programming , 1998, ECAI.

[18]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems , 1988 .

[19]  Fabio Gagliardi Cozman,et al.  Generation of Random Bayesian Networks with Constraints on Induced Width , with Application to the Average Analysis of d-Connectivity , Quasi-random Sampling , and Loopy Propagation , 2003 .