Distribution estimation for probabilistic loops
From MaRDI portal
Abstract: We present an algorithmic approach to estimate the value distributions of random variables of probabilistic loops whose statistical moments are (partially) known. Based on these moments, we apply two statistical methods, Maximum Entropy and Gram-Charlier series, to estimate the distributions of the loop's random variables. We measure the accuracy of our distribution estimation by comparing the resulting distributions using exact and estimated moments of the probabilistic loop, and performing statistical tests. We evaluate our method on several probabilistic loops with polynomial updates over random variables drawing from common probability distributions, including examples implementing financial and biological models. For this, we leverage symbolic approaches to compute exact higher-order moments of loops as well as use sampling-based techniques to estimate moments from loop executions. Our experimental results provide practical evidence of the accuracy of our method for estimating distributions of probabilistic loop outputs.
Recommendations
- Moment-based invariants for probabilistic loops with non-polynomial assignments
- Does a Program Yield the Right Distribution?
- Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops
- Estimating and validating the cumulative distribution of a function of random variables: Toward the development of distribution arithmetic
- Quantifying uncertainty in the estimation of probability distributions
Cites work
- scientific article; zbMATH DE number 45877 (Why is no real title available?)
- scientific article; zbMATH DE number 3549968 (Why is no real title available?)
- scientific article; zbMATH DE number 1865509 (Why is no real title available?)
- A method for the solution of certain non-linear problems in least squares
- AQUA: automated quantized inference for probabilistic programs
- An Algorithm for Least-Squares Estimation of Nonlinear Parameters
- An equilibrium characterization of the term structure
- Asymptotic Approximations to Distributions
- Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops
- Brownian motion. With an appendix by Oded Schramm and Wendelin Werner
- Deriving probability density functions from probabilistic functional programs
- Finding polynomial loop invariants for probabilistic programs
- Function reconstruction as a classical moment problem: a maximum entropy approach
- Introduction to Probability and Statistics for Engineers and Scientists
- Moment information for probability distributions, without solving the moment problem. II: Main-mass, tails and shape approximation
- Monte Carlo sampling methods using Markov chains and their applications
- Probabilistic inference by program transformation in Hakaru (system description)
- Probability
- Statistical probabilistic model checking with a focus on time-bounded properties
- Tail probabilities for randomized program runtimes via martingales for higher moments
- The Early History of the Cumulants and the Gram‐Charlier Series
- The Kolmogorov-Smirnov Test for Goodness of Fit
Cited in
(4)
This page was built for publication: Distribution estimation for probabilistic loops
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6103024)
