Jump to content

Church (programming language)

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by PamD (talk | contribs) at 22:38, 13 April 2016 (stub-sort). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Church refers to both a family of LISP-like probabilistic programming languages[1] for specifying arbitrary probabilistic programs, as well as a set of algorithms for performing probabilistic inference in the generative models those programs define.[2] Church was originally developed at MIT, primarily in the computational cognitive science group, run by Joshua Tenenbaum.[3] Several different inference algorithms and concrete languages are in existence, including Bher, MIT-Church, Cosh, Venture, and Anglican.

References

  1. ^ "Probabilistic Programming wiki".
  2. ^ "MIT Church wiki". csail.mit.edu.
  3. ^ Goodman, Noah; Mansinghka, Vikash; Roy, Daniel; Bonawitz, Keith; Tenenbaum, Joshua (2008). "Church: a language for generative models". Proc. Uncertainty in Artificial Intelligence.