Probabilistic Inference in Hybrid Domains by Weighted Model Integration

Belle, Vaishak; Passerini, Andrea; Van den Broeck, Guy

Probabilistic Inference in Hybrid Domains by Weighted Model Integration

Vaishak Belle, Andrea Passerini, Guy Van den Broeck

Download BibTeX Cite

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Special Track on Knowledge Representation and Reasoning. Pages 2770-2775.

Abstract

Weighted model counting (WMC) on a propositional knowledge base is an effective and general approach to probabilistic inference in a variety of formalisms, including Bayesian and Markov Networks. However, an inherent limitation of WMC is that it only admits the inference of discrete probability distributions. In this paper, we introduce a strict generalization of WMC called weighted model integration that is based on annotating Boolean and arithmetic constraints, and combinations thereof. This methodology is shown to capture discrete, continuous and hybrid Markov networks. We then consider the task of parameter learning for a fragment of the language. An empirical evaluation demonstrates the applicability and promise of the proposal.

Vaishak Belle, Andrea Passerini, and Guy Van den Broeck. 2015. Probabilistic Inference in Hybrid Domains by Weighted Model Integration. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15. IJCAI, 2770–2775. https://ijcai.org/proceedings/2015/392

@inproceedings{ijcai2015p392,
  title     = {Probabilistic Inference in Hybrid Domains by Weighted Model Integration},
  author    = {Belle, Vaishak and Passerini, Andrea and Van den Broeck, Guy},
  booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI-15}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Qiang Yang and Michael Wooldridge},
  pages     = {2770--2775},
  year      = {2015},
  month     = {7},
  note      = {Special Track on Knowledge Representation and Reasoning},
  url       = {https://ijcai.org/proceedings/2015/392},
}

TY  - CPAPER
TI  - Probabilistic Inference in Hybrid Domains by Weighted Model Integration
AU  - Belle, Vaishak
AU  - Passerini, Andrea
AU  - Van den Broeck, Guy
T2  - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2015
SP  - 2770
EP  - 2775
UR  - https://ijcai.org/proceedings/2015/392
ER  -