Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey

Morettin, Paolo; Zuidberg Dos Martires, Pedro; Kolb, Samuel; Passerini, Andrea

doi:10.24963/ijcai.2021/617

Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey

Paolo Morettin, Pedro Zuidberg Dos Martires, Samuel Kolb, Andrea Passerini

Download BibTeX Cite

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. Survey Track. Pages 4533-4542.

https://doi.org/10.24963/ijcai.2021/617

Keywords

Knowledge representation and reasoning: General
Uncertainty in AI: General
Constraints and SAT: General

Abstract

Real world decision making problems often involve both discrete and continuous variables and require a combination of probabilistic and deterministic knowledge. Stimulated by recent advances in automated reasoning technology, hybrid (discrete+continuous) probabilistic reasoning with constraints has emerged as a lively and fast growing research field. In this paper we provide a survey of existing techniques for hybrid probabilistic inference with logic and algebraic constraints. We leverage weighted model integration as a unifying formalism and discuss the different paradigms that have been used as well as the expressivity-efficiency trade-offs that have been investigated. We conclude the survey with a comparative overview of existing implementations and a critical discussion of open challenges and promising research directions.

Paolo Morettin, Pedro Zuidberg Dos Martires, Samuel Kolb, and Andrea Passerini. 2021. Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey. In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI-21. IJCAI, 4533–4542. https://doi.org/10.24963/ijcai.2021/617

@inproceedings{ijcai2021p617,
  title     = {Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey},
  author    = {Morettin, Paolo and Zuidberg Dos Martires, Pedro and Kolb, Samuel and Passerini, Andrea},
  booktitle = {Proceedings of the Thirtieth International Joint Conference on
               Artificial Intelligence, {IJCAI-21}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {Prof. Zhi-Hua Zhou},
  pages     = {4533--4542},
  year      = {2021},
  month     = {8},
  note      = {Survey Track},
  doi       = {10.24963/ijcai.2021/617},
  url       = {https://doi.org/10.24963/ijcai.2021/617},
}

TY  - CPAPER
TI  - Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey
AU  - Morettin, Paolo
AU  - Zuidberg Dos Martires, Pedro
AU  - Kolb, Samuel
AU  - Passerini, Andrea
T2  - Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI-21
PB  - International Joint Conferences on Artificial Intelligence Organization
PY  - 2021
SP  - 4533
EP  - 4542
DO  - 10.24963/ijcai.2021/617
UR  - https://doi.org/10.24963/ijcai.2021/617
ER  -