Scaling up Hybrid Probabilistic Inference with Logical and Arithmetic Constraints via Message Passing.
Zhe ZengPaolo MorettinFanqi YanAntonio VergariGuy Van den BroeckPublished in: CoRR (2020)
Keyphrases
- message passing
- probabilistic inference
- arithmetic constraints
- belief propagation
- approximate inference
- graphical models
- distributed systems
- influence diagrams
- constraint satisfaction problems
- probabilistic reasoning
- factor graphs
- markov random field
- loopy belief propagation
- three dimensional
- junction tree
- computer vision
- bayesian networks
- decision making
- arc consistency