Semantic Scholar Open Access 2021 30 sitasi

Compositional Semantics for Probabilistic Programs with Exact Conditioning

Dario Stein S. Staton

Lihat Sumber DOI

Abstrak

We define a probabilistic programming language for Gaussian random variables with a first-class exact conditioning construct. We give operational, denotational and equational semantics for this language, establishing convenient properties like exchangeability of conditions. Conditioning on equality of continuous random variables is nontrivial, as the exact observation may have probability zero; this is Borel’s paradox. Using categorical formulations of conditional probability, we show that the good properties of our language are not particular to Gaussians, but can be derived from universal properties, thus generalizing to wider settings. We define the Cond construction, which internalizes conditioning as a morphism, providing general compositional semantics for probabilistic programming with exact conditioning.

Topik & Kata Kunci

Computer Science Mathematics

Penulis (2)

Dario Stein

S. Staton

Format Sitasi

APA MLA BibTeX

Stein, D., Staton, S. (2021). Compositional Semantics for Probabilistic Programs with Exact Conditioning. https://doi.org/10.1109/LICS52264.2021.9470552

Akses Cepat

Lihat di Sumber doi.org/10.1109/LICS52264.2021.9470552

Informasi Jurnal

Tahun Terbit: 2021
Bahasa: en
Total Sitasi: 30×
Sumber Database: Semantic Scholar
DOI: 10.1109/LICS52264.2021.9470552
Akses: Open Access ✓