Lifted Reasoning Meets Weighted Model Integration

Jonathan Feldstein, Vaishak Belle

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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 languageEnglish
Title of host publicationProceedings of the the 37th Conference on Uncertainty in Artificial Intelligence (UAI 2021)
Number of pages11
Publication statusAccepted/In press - 12 May 2021
Event37th Conference on Uncertainty in Artificial Intelligence - Online
Duration: 27 Jul 202130 Jul 2021
https://www.auai.org/uai2021/

Conference

Conference37th Conference on Uncertainty in Artificial Intelligence
Abbreviated titleUAI 2021
Period27/07/2130/07/21
Internet address

Fingerprint

Dive into the research topics of 'Lifted Reasoning Meets Weighted Model Integration'. Together they form a unique fingerprint.

Cite this