Probabilistic Data with Continuous Distributions

01/28/2021
by   Martin Grohe, et al.
0

Statistical models of real world data typically involve continuous probability distributions such as normal, Laplace, or exponential distributions. Such distributions are supported by many probabilistic modelling formalisms, including probabilistic database systems. Yet, the traditional theoretical framework of probabilistic databases focusses entirely on finite probabilistic databases. Only recently, we set out to develop the mathematical theory of infinite probabilistic databases. The present paper is an exposition of two recent papers which are cornerstones of this theory. In (Grohe, Lindner; ICDT 2020) we propose a very general framework for probabilistic databases, possibly involving continuous probability distributions, and show that queries have a well-defined semantics in this framework. In (Grohe, Kaminski, Katoen, Lindner; PODS 2020) we extend the declarative probabilistic programming language Generative Datalog, proposed by (Bárány et al. 2017) for discrete probability distributions, to continuous probability distributions and show that such programs yield generative models of continuous probabilistic databases.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/17/2020

Generative Datalog with Continuous Distributions

Arguing for the need to combine declarative and probabilistic programmin...
research
03/08/2023

Neural Probabilistic Logic Programming in Discrete-Continuous Domains

Neural-symbolic AI (NeSy) allows neural networks to exploit symbolic bac...
research
01/25/2018

Probabilistic Planning by Probabilistic Programming

Automated planning is a major topic of research in artificial intelligen...
research
10/27/2021

Evidential Softmax for Sparse Multimodal Distributions in Deep Generative Models

Many applications of generative models rely on the marginalization of th...
research
06/19/2019

On infinite covariance expansions

In this paper we provide a probabilistic representation of Lagrange's id...
research
12/16/2019

Synthetic topology in Homotopy Type Theory for probabilistic programming

The ALEA Coq library formalizes measure theory based on a variant of the...
research
06/26/2018

A General Framework for Anytime Approximation in Probabilistic Databases

Anytime approximation algorithms for computing query probabilities over ...

Please sign up or login with your details

Forgot password? Click here to reset