Automatic Inference for Inverting Software Simulators via Probabilistic Programming

05/31/2015
by   Ardavan Saeedi, et al.
0

Models of complex systems are often formalized as sequential software simulators: computationally intensive programs that iteratively build up probable system configurations given parameters and initial conditions. These simulators enable modelers to capture effects that are difficult to characterize analytically or summarize statistically. However, in many real-world applications, these simulations need to be inverted to match the observed data. This typically requires the custom design, derivation and implementation of sophisticated inversion algorithms. Here we give a framework for inverting a broad class of complex software simulators via probabilistic programming and automatic inference, using under 20 lines of probabilistic code. Our approach is based on a formulation of inversion as approximate inference in a simple sequential probabilistic model. We implement four inference strategies, including Metropolis-Hastings, a sequentialized Metropolis-Hastings scheme, and a particle Markov chain Monte Carlo scheme, requiring 4 or fewer lines of probabilistic code each. We demonstrate our framework by applying it to invert a real geological software simulator from the oil and gas industry.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/03/2014

A Compilation Target for Probabilistic Programming Languages

Forward inference techniques such as sequential Monte Carlo and particle...
research
12/14/2015

Data-driven Sequential Monte Carlo in Probabilistic Programming

Most of Markov Chain Monte Carlo (MCMC) and sequential Monte Carlo (SMC)...
research
07/03/2015

A New Approach to Probabilistic Programming Inference

We introduce and demonstrate a new approach to inference in expressive p...
research
06/14/2016

Spreadsheet Probabilistic Programming

Spreadsheet workbook contents are simple programs. Because of this, prob...
research
01/27/2015

Particle Gibbs with Ancestor Sampling for Probabilistic Programs

Particle Markov chain Monte Carlo techniques rank among current state-of...
research
09/12/2022

Emulation and History Matching using the hmer Package

Modelling complex real-world situations such as infectious diseases, geo...
research
08/25/2017

Delayed Sampling and Automatic Rao-Blackwellization of Probabilistic Programs

We introduce a dynamic mechanism for the solution of analytically-tracta...

Please sign up or login with your details

Forgot password? Click here to reset