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.

References in zbMATH (referenced in 34 articles )

Showing results 1 to 20 of 34.
Sorted by year (citations)

1 2 next

  1. Angelopoulos, Nicos; Cussens, James: Distributional logic programming for Bayesian knowledge representation (2017)
  2. Breuvart, Flavien; Dal Lago, Ugo; Herrou, Agathe: On higher-order probabilistic subrecursion (2017)
  3. Crubillé, Raphaëlle; Dal Lago, Ugo: Metric reasoning about $\lambda$-terms: the general case (2017)
  4. Culpepper, Ryan; Cobb, Andrew: Contextual equivalence for probabilistic programs with continuous random variables and scoring (2017)
  5. Dal Lago, Ugo; Grellois, Charles: Probabilistic termination by monadic affine sized typing (2017)
  6. Lampropoulos, Leonidas; Gallois-Wong, Diane; Hriţcu, Cătălin; Hughes, John; Pierce, Benjamin C.; Xia, Li-yao: Beginner’s Luck: a language for property-based generators (2017)
  7. Nitti, Davide; Belle, Vaishak; De Laet, Tinne; De Raedt, Luc: Planning in hybrid relational mdps (2017)
  8. Staton, Sam: Commutative semantics for probabilistic programming (2017)
  9. Teso, Stefano; Sebastiani, Roberto; Passerini, Andrea: Structured learning modulo theories (2017)
  10. Chen, Yutian; Bornn, Luke; de Freitas, Nando; Eskelin, Mareija; Fang, Jing; Welling, Max: Herded Gibbs sampling (2016)
  11. Davis, Ernest; Marcus, Gary: The scope and limits of simulation in automated reasoning (2016)
  12. Dustin Tran, Alp Kucukelbir, Adji B. Dieng, Maja Rudolph, Dawen Liang, David M. Blei: Edward: A library for probabilistic modeling, inference, and criticism (2016) arXiv
  13. Huang, Daniel; Morrisett, Greg: An application of computable distributions to the semantics of probabilistic programming languages (2016)
  14. Kiselyov, Oleg: Probabilistic programming language and its incremental evaluation (2016)
  15. Narayanan, Praveen; Carette, Jacques; Romano, Wren; Shan, Chung-chieh; Zinkov, Robert: Probabilistic inference by program transformation in Hakaru (system description) (2016)
  16. Nitti, Davide; De Laet, Tinne; De Raedt, Luc: Probabilistic logic programming for hybrid relational domains (2016)
  17. Turliuc, Calin Rares; Dickens, Luke; Russo, Alessandra; Broda, Krysia: Probabilistic abductive logic programming using Dirichlet priors (2016)
  18. Vlasselaer, Jonas; Van den Broeck, Guy; Kimmig, Angelika; Meert, Wannes; De Raedt, Luc: $T_\mathcalP$-compilation for inference in probabilistic logic programs (2016)
  19. De Raedt, Luc; Kimmig, Angelika: Probabilistic (logic) programming concepts (2015)
  20. Jansen, Nils; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Olmedo, Federico; Gretz, Friedrich; McIver, Annabelle: Conditioning in probabilistic programming (2015)

1 2 next