## Church

swMATH ID: | 8946 |

Software Authors: | Goodman N., Mansinghka V.K., Roy D., Bonawitz K., Tenenbaum J.B. |

Description: | Church: A language for generative models. 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. |

Homepage: | http://arxiv.org/ftp/arxiv/papers/1206/1206.3255.pdf |

Related Software: | BLOG; IBAL; ProbLog; Figaro; FACTORIE; Stan; Venture; Haskell; BUGS; PRISM; WinBUGS; Infer.NET; EasyCheck; Theano; NUTS; KiCS2; Curry; TensorFlow; Edward; Dyna |

Referenced in: | 51 Publications |

all
top 5

### Referenced by 129 Authors

all
top 5

### Referenced in 16 Serials

all
top 5