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

In probabilistic reasoning, the traditionally discrete domain has been elevated to the hybrid domain encompassing additionally continuous random variables. Inference in the hybrid domain, however, usually necessitates to condone trade-offs on either the inference on discrete or continuous random variables. We introduce a novel approach based on weighted model integration and algebraic model counting that circumvents these trade-offs. We then show how it supports knowledge compilation and exact probabilistic inference. Moreover, we introduce the hybrid probabilistic logic programming language HAL-ProbLog, an extension of ProbLog, to which we apply our inference approach.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/21/2023

Declarative Probabilistic Logic Programming in Discrete-Continuous Domains

Over the past three decades, the logic programming paradigm has been suc...
research
03/25/2021

Measure Theoretic Weighted Model Integration

Weighted model counting (WMC) is a popular framework to perform probabil...
research
03/02/2020

Stochastically Differentiable Probabilistic Programs

Probabilistic programs with mixed support (both continuous and discrete ...
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
05/30/2022

A Fundamental Probabilistic Fuzzy Logic Framework Suitable for Causal Reasoning

In this paper, we introduce a fundamental framework to create a bridge b...
research
04/23/2014

Probabilistic graphs using coupled random variables

Neural network design has utilized flexible nonlinear processes which ca...
research
02/01/2023

Hybrid Probabilistic Logic Programming: Inference and Learning

This thesis focuses on advancing probabilistic logic programming (PLP), ...

Please sign up or login with your details

Forgot password? Click here to reset