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 publicationRelated Resources
See what’s new.
2023
Safe Self-Supervised Learning in Real of Visuo-Tactile Feedback Policies for Industrial InsertionThis research introduces a robotics method that reduces human input…
2020
AuthAR: Concurrent Authoring of Tutorials for AR Assembly GuidanceAugmented Reality (AR) can assist with physical tasks such as object…
2022
BeNTO: Beam Network Topology OptimizationWe present an optimization framework that allows designers and…
2010
Towards Coherent Image Space Stylization of Animated 3D ShapesWe describe a rendering technique for creating animations of 3D shapes…
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