CINECA IRIS Institutional Research Information System
IRIS è l'Anagrafe della ricerca dell'Università degli Studi di Trento, e ha lo scopo di raccogliere, documentare, conservare e diffondere, anche ad accesso aperto, la produzione scientifica degli autori afferenti all'Università degli Studi di Trento.
EnglishReal 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 |
Copyright © 2022