Abstract / Description of output
Exact inference in probabilistic graphical models is particularly challenging in the presence of relational and other deterministic constraints. For discrete domains, weighted model counting has emerged as an effective and general approach in a variety of formalisms. Weighted first-order model counting, which allows relational atoms and function-free first order logic has pushed the envelope further, by exploiting symmetry properties over indistinguishable groups of objects, and by extension avoids the need to perform inference on the exponential ground theory. Given the limitation to discrete domains, the formulation of weighted model integration was proposed as an extension to weighted model counting for mixed discrete-continuous domains over both symbolic and numeric weight functions. While that formulation has enjoyed considerable attention in recent years, there is very little understanding on whether the task can be solved at a lifted level, that is, whether we can reason with relational models by avoiding grounding. In this paper, we consider this question. We show how to generalize algorithmic ideas known in the circuit compilation for function-free lifted inference to functions with a continuous range.
Original language | English |
---|---|
Title of host publication | Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence |
Editors | Cassio de Campos, Marloes H. Maathuis |
Place of Publication | New York, United States |
Publisher | PMLR |
Pages | 322-332 |
Number of pages | 11 |
Volume | 161 |
Publication status | Published - 30 Jul 2021 |
Event | 37th Conference on Uncertainty in Artificial Intelligence - Online Duration: 27 Jul 2021 → 30 Jul 2021 https://www.auai.org/uai2021/ |
Publication series
Name | Proceedings of Machine Learning Research |
---|---|
Publisher | PMLR |
Volume | 161 |
ISSN (Electronic) | 2640-3498 |
Conference
Conference | 37th Conference on Uncertainty in Artificial Intelligence |
---|---|
Abbreviated title | UAI 2021 |
Period | 27/07/21 → 30/07/21 |
Internet address |