Jump to content

Church (programming language)

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Mcld (talk | contribs) at 09:46, 24 December 2013 (cat). 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 language[1] for specifying arbitrarily 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, and Venture.

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.