PILOGIC
All research Conference paper · 2007 · IJCAI-07

Compiling Bayesian Networks Using Variable Elimination

Mark Chavira · Adnan Darwiche

A second way to compile a Bayesian network, built on variable elimination and algebraic decision diagrams, that exploits local structure far better than earlier elimination methods and can answer many queries at once.

What it showed

Compiling a network once had proven an effective route to inference that uses both its global and its local structure. This paper defines a new way to compile, based on variable elimination and algebraic decision diagrams. It exploits local structure much more effectively than earlier elimination methods, lets any variant of variable elimination answer multiple queries at the same time, and makes a large body of work on structured factor representations useful in many more settings.

In experiments, elimination exploited local structure as effectively as the best conditioning-based algorithms on the networks tested, and sometimes compiled much faster.

Why it matters

One of the routes to a compiled model. The point that matters for everything on this page is the same: compile once, then answer every later query fast and exactly.

Scope

A methods paper. No spacecraft or product claims attach to it.

More research.

JOURNAL · 2008 On probabilistic inference by weighted model counting Overview CONFERENCE · 2008 Diagnosing Faults in Electrical Power Systems of Spacecraft and Aircraft Overview JOURNAL · 2010 Probabilistic Model-Based Diagnosis: An Electrical Power System Case Study Overview

Don’t guess.
Compute.

Models Manifest Resolve
Company Company Careers
Resources Research News Contact
Compliance Privacy Policy Terms
PILOGIC Exact AI for aerospace
and defense.
© 2026 PiLogic · pilogic.ai