Publication

Exploiting Causal Independence Using Weighted Model Counting

AbstractPrevious studies have demonstrated that encoding a Bayesian network into a SAT-CNF formula and then performing weighted model counting using a backtracking search algorithm can be an effective method for exact inference in Bayesian networks. In this paper, we present techniques for improving this approach for Bayesian networks with noisy-OR and noisy-MAX relations—two relations which are widely used in practice as they can dramatically reduce thenumber of probabilities one needs to specify. In particular, we present two space efficient CNF encodings for noisy-OR/MAX and explore alternative search ordering heuristics. We experimentally evaluated our techniques on large-scale real and randomly generated Bayesian networks. On these benchmarks, our techniques gave speedups of up to two ordersof magnitude over the best previous approaches and scaled up to networks with larger numbers of random variables.

Download publication

Related Resources

See what’s new.

Publication

2004

Keeping Your Distance: Remote Usability Testing or the Lab – which is best?

Link to Publication: http://uxpamagazine…

Publication

2017

Practical Aspects of the DesignDEVS Simulation Environment

DesignDEVS is a simulation development environment based on the…

Publication

2017

Annotation Graphs: A Graph-Based Visualization for Meta-Analysis of Data based on User-Authored Annotations

User-authored annotations of data can support analysts in the activity…

Article

2023

Recently Published by Autodesk Researchers

A round up of recent publications from scientific journals and…

Get in touch

Something pique your interest? Get in touch if you’d like to learn more about Autodesk Research, our projects, people, and potential collaboration opportunities.

Contact us