A differential approach to inference in Bayesian networks

Authors:
Adnan Darwiche
Affiliations:
University of California, Los Angeles, California
Venue:
Journal of the ACM (JACM)
Year:
2003

Citing 19
Cited 50

Graph-Based Algorithms for Boolean Function Manipulation

IEEE Transactions on Computers
Probabilistic reasoning in intelligent systems: networks of plausible inference

Probabilistic reasoning in intelligent systems: networks of plausible inference
Algebraic complexity theory

Annual review of computer science: vol. 3, 1988
Graph minors. IV. Tree-width and well-quasi-ordering

Journal of Combinatorial Theory Series B
The EM algorithm for graphical association models with missing data

Computational Statistics & Data Analysis - Special issue dedicated to Toma´sˇ Havra´nek
A Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth

SIAM Journal on Computing
Recursive conditioning

Artificial Intelligence - special issue on computational tradeoffs under bounded resources
Probabilistic Networks and Expert Systems

Probabilistic Networks and Expert Systems
Making Sensitivity Analysis Computationally Efficient

UAI '00 Proceedings of the 16th Conference on Uncertainty in Artificial Intelligence
Approximating MAP using Local Search

UAI '01 Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence
A compiler for deterministic, decomposable negation normal form

Eighteenth national conference on Artificial intelligence
Exploiting causal independence in Bayesian network inference

Journal of Artificial Intelligence Research
A knowledge compilation map

Journal of Artificial Intelligence Research
When do numbers really matter?

Journal of Artificial Intelligence Research
Local learning in probabilistic networks with hidden variables

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Goal oriented symbolic propagation in Bayesian networks

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
MAP complexity results and approximation methods

UAI'02 Proceedings of the Eighteenth conference on Uncertainty in artificial intelligence
Bucket elimination: a unifying framework for probabilistic inference

UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Sensitivity analysis in discrete Bayesian networks

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans

A differential semantics for jointree algorithms

Artificial Intelligence
Sensitivity analysis in Bayesian networks: from single to multiple parameters

UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
Case-factor diagrams for structured probabilistic modeling

UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
A new characterization of probabilities in Bayesian networks

UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
AND/OR search spaces for graphical models

Artificial Intelligence
Management of probabilistic data: foundations and challenges

Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On-line alert systems for production plants: A conflict based approach

International Journal of Approximate Reasoning
Case-factor diagrams for structured probabilistic modeling

Journal of Computer and System Sciences
On probabilistic inference by weighted model counting

Artificial Intelligence
Learning to assign degrees of belief in relational domains

Machine Learning
Logical Compilation of Bayesian Networks with Discrete Variables

ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Probabilistic databases: diamonds in the dirt

Communications of the ACM - Barbara Liskov: ACM's A.M. Turing Award Winner
Solving MAP exactly by searching on compiled arithmetic circuits

AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Performing incremental Bayesian inference by dynamic model counting

AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Cube summing, approximate inference with non-local features, and dynamic programming without semirings

EACL '09 Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics
Learning multi-linear representations of distributions for efficient inference

Machine Learning
Diagnosing faults in electrical power systems of spacecraft and aircraft

IAAI'08 Proceedings of the 20th national conference on Innovative applications of artificial intelligence - Volume 3
Complexity results and approximation strategies for MAP explanations

Journal of Artificial Intelligence Research
Compiling Bayesian networks using variable elimination

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Compiling Bayesian networks by symbolic probability calculation based on zero-suppressed BDDs

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Sensitivity analysis in Markov networks

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Compiling Bayesian networks with local structure

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Compiling relational Bayesian networks for exact inference

International Journal of Approximate Reasoning
Texture classification of aerial image based on Bayesian networks with hidden nodes

ISICA'07 Proceedings of the 2nd international conference on Advances in computation and intelligence
Computing query probability with incidence algebras

Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Understanding the scalability of Bayesian network inference using clique tree growth curves

Artificial Intelligence
Bayesian networks

Communications of the ACM
Interactive cost configuration over decision diagrams

Journal of Artificial Intelligence Research
Probabilistic model-based diagnosis: an electrical power system case study

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
Towards software health management with bayesian networks

Proceedings of the FSE/SDP workshop on Future of software engineering research
SampleSearch: Importance sampling in presence of determinism

Artificial Intelligence
Portfolios in Stochastic Local Search: Efficiently Computing Most Probable Explanations in Bayesian Networks

Journal of Automated Reasoning
Compiling AI engineering models for probabilistic inference

KI'11 Proceedings of the 34th Annual German conference on Advances in artificial intelligence
Sequential diagnosis by abstraction

Journal of Artificial Intelligence Research
A Study of Interactions in the Risk Assessment of Complex Engineering Systems: An Application to Space PSA

Operations Research
Review: learning bayesian networks: Approaches and issues

The Knowledge Engineering Review
Geo referenced dynamic bayesian networks for user positioning on mobile systems

LoCA'05 Proceedings of the First international conference on Location- and Context-Awareness
Relax, compensate and then recover

JSAI-isAI'10 Proceedings of the 2010 international conference on New Frontiers in Artificial Intelligence
Compiling bayesian networks for parameter learning based on shared BDDs

AI'11 Proceedings of the 24th international conference on Advances in Artificial Intelligence
Importance sampling-based estimation over AND/OR search spaces for graphical models

Artificial Intelligence
Local structure and determinism in probabilistic databases

SIGMOD '12 Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data
From Reliability Block Diagrams to Fault Tree Circuits

Decision Analysis
Formulating Asymmetric Decision Problems as Decision Circuits

Decision Analysis
Computing minimum-cardinality diagnoses by model relaxation

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Fast Structured Prediction Using Large Margin Sigmoid Belief Networks

International Journal of Computer Vision
Efficient sensitivity analysis in hidden markov models

International Journal of Approximate Reasoning
Compiling probabilistic graphical models using sentential decision diagrams

ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
The inclusion-exclusion rule and its application to the junction tree algorithm

IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Software health management with Bayesian networks

Innovations in Systems and Software Engineering
Probabilistic inference with noisy-threshold models based on a CP tensor decomposition

International Journal of Approximate Reasoning

Quantified Score

Hi-index	0.02

Visualization

Abstract

We present a new approach to inference in Bayesian networks, which is based on representing the network using a polynomial and then retrieving answers to probabilistic queries by evaluating and differentiating the polynomial. The network polynomial itself is exponential in size, but we show how it can be computed efficiently using an arithmetic circuit that can be evaluated and differentiated in time and space linear in the circuit size. The proposed framework for inference subsumes one of the most influential methods for inference in Bayesian networks, known as the tree-clustering or jointree method, which provides a deeper understanding of this classical method and lifts its desirable characteristics to a much more general setting. We discuss some theoretical and practical implications of this subsumption.