Control-data separation and logical condition propagation for efficient inference on probabilistic programs

DOI10.1016/J.JLAMP.2023.100922MaRDI QIDQ6151609OpenAlexFDO

Authors Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata

Publication date 12 February 2024

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2101.01502

zbMATH Keywords

samplingBayesian inferencestatic analysisprobabilistic programmingprogram logic

Mathematics Subject Classification ID

Computer science (68-XX)

Abstract: We introduce a novel sampling algorithm for Bayesian inference on imperative probabilistic programs. It features a hierarchical architecture that separates control flows from data: the top-level samples a control flow, and the bottom level samples data values along the control flow picked by the top level. This separation allows us to plug various language-based analysis techniques in probabilistic program sampling; specifically, we use logical backward propagation of observations for sampling efficiency. We implemented our algorithm on top of Anglican. The experimental results demonstrate our algorithm's efficiency, especially for programs with while loops and rare observations.

Cites work

• scientific article; zbMATH DE number 5919872 (Why is no real title available?)
• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• scientific article; zbMATH DE number 3764843 (Why is no real title available?)
• Introduction to multi-armed bandits
• Regret analysis of stochastic and nonstochastic multi-armed bandit problems
• Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
• Semantics of probabilistic programs
• The Continuum-Armed Bandit Problem

Cited in

(1)

• Logic and calculi for all on the occasion of Luís Barbosa's 60th birthday

This page was built for publication: Control-data separation and logical condition propagation for efficient inference on probabilistic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6151609)