Scaling up Probabilistic Inference in Linear and Non-Linear Hybrid Domains by Leveraging Knowledge Compilation.
Anton FuxjaegerVaishak BellePublished in: CoRR (2018)
Keyphrases
- probabilistic inference
- knowledge compilation
- logical inference
- model counting
- weighted model counting
- product configuration
- graphical models
- prime implicates
- probabilistic reasoning
- belief networks
- bayesian networks
- conditional probabilities
- message passing
- polynomial size
- belief propagation
- decision support
- normal form
- decomposable negation normal form
- cnf formula
- object oriented
- special case
- training data