Church: a language for generative models

06/13/2012
by   Noah Goodman, et al.
0

We introduce Church, a universal language for describing stochastic generative processes. Church is based on the Lisp model of lambda calculus, containing a pure Lisp as its deterministic subset. The semantics of Church is defined in terms of evaluation histories and conditional distributions on such histories. Church also includes a novel language construct, the stochastic memoizer, which enables simple description of many complex non-parametric models. We illustrate language features through several examples, including: a generalized Bayes net in which parameters cluster over trials, infinite PCFGs, planning by inference, and various non-parametric clustering models. Finally, we show how to implement query on any Church program, exactly and approximately, using Monte Carlo techniques.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/20/2013

Non-parametric Bayesian modeling of complex networks

Modeling structure in complex networks using Bayesian non-parametrics ma...
research
04/12/2020

A Non-Parametric Test to Detect Data-Copying in Generative Models

Detecting overfitting in generative models is an important challenge in ...
research
02/09/2014

Better Optimism By Bayes: Adaptive Planning with Rich Models

The computational costs of inference and planning have confined Bayesian...
research
06/16/2020

An algorithm for non-parametric estimation in state-space models

State-space models are ubiquitous in the statistical literature since th...
research
09/21/2023

Model-based Clustering using Non-parametric Hidden Markov Models

Thanks to their dependency structure, non-parametric Hidden Markov Model...
research
01/20/2020

DDKSP: A Data-Driven Stochastic Programming Framework for Car-Sharing Relocation Problem

Car-sharing issue is a popular research field in sharing economy. In thi...

Please sign up or login with your details

Forgot password? Click here to reset