Measure Theoretic Weighted Model Integration

03/25/2021
by   Ivan Miosic, et al.
0

Weighted model counting (WMC) is a popular framework to perform probabilistic inference with discrete random variables. Recently, WMC has been extended to weighted model integration (WMI) in order to additionally handle continuous variables. At their core, WMI problems consist of computing integrals and sums over weighted logical formulas. From a theoretical standpoint, WMI has been formulated by patching the sum over weighted formulas, which is already present in WMC, with Riemann integration. A more principled approach to integration, which is rooted in measure theory, is Lebesgue integration. Lebesgue integration allows one to treat discrete and continuous variables on equal footing in a principled fashion. We propose a theoretically sound measure theoretic formulation of weighted model integration, which naturally reduces to weighted model counting in the absence of continuous variables. Instead of regarding weighted model integration as an extension of weighted model counting, WMC emerges as a special case of WMI in our formulation.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/02/2018

Knowledge Compilation with Continuous Random Variables and its Application in Hybrid Probabilistic Logic Programming

In probabilistic reasoning, the traditionally discrete domain has been e...
research
03/13/2019

Efficient Search-Based Weighted Model Integration

Weighted model integration (WMI) extends Weighted model counting (WMC) t...
research
01/13/2020

Monte Carlo Anti-Differentiation for Approximate Weighted Model Integration

Probabilistic inference in the hybrid domain, i.e. inference over discre...
research
02/17/2020

On the Approximability of Weighted Model Integration on DNF Structures

Weighted model counting admits an FPRAS on DNF structures. We study weig...
research
09/25/2020

Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula

Weighted First Order Model Counting (WFOMC) computes the weighted sum of...
research
05/29/2023

Gauss quadrature for integrals and sums

Gauss quadrature integral approximation is extended to include integrals...
research
09/20/2019

Hybrid Probabilistic Inference with Logical Constraints: Tractability and Message-Passing

Weighted model integration (WMI) is a very appealing framework for proba...

Please sign up or login with your details

Forgot password? Click here to reset