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.

Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey / Morettin, Paolo; Zuidberg Dos Martires, Pedro; Kolb, Samuel; Passerini, Andrea. - In: IJCAI. - ISSN 1045-0823. - (2021), pp. 4533-4542. (Intervento presentato al convegno IJCAI tenutosi a Montreal, Canada nel 19th- 26th August, 2021) [10.24963/ijcai.2021/617].

Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey

Morettin, Paolo;Kolb, Samuel;Passerini, Andrea
2021-01-01

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.
2021
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence
International Joint Conferences on Artificial Intelligence Organization
International Joint Conferences on Artificial Intelligence Organization
978-0-9992411-9-6
Morettin, Paolo; Zuidberg Dos Martires, Pedro; Kolb, Samuel; Passerini, Andrea
Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey / Morettin, Paolo; Zuidberg Dos Martires, Pedro; Kolb, Samuel; Passerini, Andrea. - In: IJCAI. - ISSN 1045-0823. - (2021), pp. 4533-4542. (Intervento presentato al convegno IJCAI tenutosi a Montreal, Canada nel 19th- 26th August, 2021) [10.24963/ijcai.2021/617].
File in questo prodotto:
File Dimensione Formato  
ijcai_surv2021.pdf

accesso aperto

Tipologia: Versione editoriale (Publisher’s layout)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 395.88 kB
Formato Adobe PDF
395.88 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/330909
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? ND
social impact