Software Open Access

# Paradoxes of probabilistic programming, and how to condition on events of measure zero with infinitesimal probabilities

Jules Jacobs

### JSON-LD (schema.org) Export

{
"description": "<p>Abstract Probabilistic programming languages allow programmers to write down conditional probability distributions that represent statistical and machine learning models as programs that use observe statements. These programs are run by accumulating likelihood at each observe statement, and using the likelihood to steer random choices and weigh results with inference algorithms such as importance sampling or MCMC. We argue that naive likelihood accumulation does not give desirable semantics and leads to paradoxes when an observe statement is used to condition on a measure-zero event, particularly when the observe statement is executed conditionally on random data. We show that the paradoxes disappear if we explicitly model measure-zero events as a limit of positive measure events, and that we can execute these type of probabilistic programs by accumulating infinitesimal probabilities rather than probability densities. Our extension improves probabilistic programming languages as an executable notation for probability distributions by making it more well-behaved and more expressive, by allowing the programmer to be explicit about which limit is intended when conditioning on an event of measure zero.</p>",
"creator": [
{
"affiliation": "TU Delft",
"@type": "Person",
"name": "Jules Jacobs"
}
],
"url": "https://zenodo.org/record/4075076",
"datePublished": "2020-10-09",
"@context": "https://schema.org/",
"identifier": "https://doi.org/10.5281/zenodo.4075076",
"@id": "https://doi.org/10.5281/zenodo.4075076",
"@type": "SoftwareSourceCode",
"name": "Paradoxes of probabilistic programming, and how to condition on events of measure zero with infinitesimal probabilities"
}
130
32
views
All versions This version
Views 130130
Data volume 379.5 kB379.5 kB
Unique views 112112