Church (programming language): Difference between revisions

Revision as of 15:50, 6 February 2013

Latest revision as of 01:11, 22 April 2024

(15 intermediate revisions by 15 users not shown)

Line 1:

'''Church''' refers to both a family of [[LISP]]-like ''[[probabilistic programming]] languagelanguages''<ref>{{cite web | url=http://probabilistic-programming.org | title=Probabilistic Programming wiki | access-date=2020-07-22 | archive-url=https://web.archive.org/web/20081118165403/http://probabilistic-programming.org/ | archive-date=2008-11-18 | url-status=dead }}</ref> for specifying arbitrarilyarbitrary [[probabilistic]] [[Computer program|programs]], as well as a set of [[algorithms]] for performing probabilistic [[inference]] in the [[generative model]]s those programs define.<ref>{{cite web | url=http://projects.csail.mit.edu/church/wiki/Church | title=MIT Church wiki | publisher=csail.mit.edu}}</ref> Church was originally developed at [[MIT]], primarily in the computational cognitive science group, run by [[Joshua Tenenbaum]].<ref>

{{cite journal | last1 = Goodman | first1=Noah

| last2=Mansinghka | first2=Vikash

Line 7:

| journal = Proc. Uncertainty in Artificial Intelligence

| year = 2008

| title=Church: a language ofrfor generative models

| url = https://web.stanford.edu/~ngoodman/papers/churchUAI08_rev2.pdf

}}

</ref> Several different inference algorithms and concrete languages are in existence, including [[Bher]], [[MIT-Church]], [[Cosh]], Venture, and [[Venture]]Anglican.

==References==

{{Reflist}}

[[Category:Nondeterministic programming languages]]

[[Category:Probabilistic software]]

{{Compu-lang-stub}}