Exploiting Evidence in Probabilistic Inference

We define the notion of compiling a Bayesian network with evidence and provide a specific approach for evidence-based compilation, which makes use of logical processing. The approach is practical and advantageous in a number of application areas-including maximum likelihood estimation, sensitivity analysis, and MAP computations-and we provide specific empirical results in the domain of genetic linkage analysis. We also show that the approach is applicable for networks that do not contain determinism, and show that it empirically subsumes the performance of the quickscore algorithm when applied to noisy-or networks.

[1]  K. Lange,et al.  An algorithm for automatic genotype elimination. , 1987, American journal of human genetics.

[2]  Adnan Darwiche,et al.  New Advances in Compiling CNF into Decomposable Negation Normal Form , 2004, ECAI.

[3]  David Heckerman,et al.  A Tractable Inference Algorithm for Diagnosing Multiple Diseases , 2013, UAI.

[4]  Adnan Darwiche,et al.  Solving MAP Exactly using Systematic Search , 2002, UAI.

[5]  Dan Geiger,et al.  Maximum Likelihood Haplotyping for General Pedigrees , 2005, Human Heredity.

[6]  Francisco Javier Díez,et al.  Efficient computation for the noisy MAX , 2003, Int. J. Intell. Syst..

[7]  Ross D. Shachter.  Evaluating Influence Diagrams , 1986, Oper. Res..

[8]  Adnan Darwiche,et al.  A differential approach to inference in Bayesian networks , 2000, JACM.

[9]  D. Rubin,et al.  Maximum likelihood from incomplete data via the EM - algorithm plus discussions on the paper , 1977 .

[10]  Matthew Richardson,et al.  Markov logic networks , 2006, Machine Learning.

[11]  Ross D. Shachter.  Evidence Absorption and Propagation through Evidence Reversals , 2013, UAI.

[12]  Adnan Darwiche,et al.  A Logical Approach to Factoring Belief Networks , 2002, KR.

[13]  Adnan Darwiche,et al.  A differential semantics for jointree algorithms , 2002, Artif. Intell..

[14]  Adnan Darwiche,et al.  Sensitivity Analysis in Bayesian Networks: From Single to Multiple Parameters , 2004, UAI.

[15]  Craig Boutilier,et al.  Context-Specific Independence in Bayesian Networks , 1996, UAI.

[16]  Adnan Darwiche,et al.  Compiling Bayesian Networks with Local Structure , 2005, IJCAI.

[17]  Rina Dechter,et al.  Bayesian Inference in the Presence of Determinism , 2003, AISTATS.

[18]  Dan Geiger,et al.  Exact genetic linkage computations for general pedigrees , 2002, ISMB.