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].
Titolo: | Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey | |
Autori: | Morettin, Paolo; Zuidberg Dos Martires, Pedro; Kolb, Samuel; Passerini, Andrea | |
Autori Unitn: | ||
Titolo del volume contenente il saggio: | Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence | |
Luogo di edizione: | International Joint Conferences on Artificial Intelligence Organization | |
Casa editrice: | International Joint Conferences on Artificial Intelligence Organization | |
Anno di pubblicazione: | 2021 | |
Codice identificativo Scopus: | 2-s2.0-85125437330 | |
ISBN: | 978-0-9992411-9-6 | |
Handle: | http://hdl.handle.net/11572/330909 | |
Citazione: | 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]. | |
Appare nelle tipologie: | 04.1 Saggio in atti di convegno (Paper in Proceedings) |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
ijcai_surv2021.pdf | Versione editoriale (Publisher’s layout) | Tutti i diritti riservati (All rights reserved) | Open Access Visualizza/Apri |