Church (programming language): Difference between revisions

Revision as of 20:51, 29 November 2012

Latest revision as of 01:11, 22 April 2024

(20 intermediate revisions by 18 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]]. Several different inference algorithms and concrete languages are in existence, including [[Bher]], [[MIT-Church]], [[Cosh]], and [[Venture]].<ref>

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

| last2=Mansinghka | first2=Vikash

| last3=Roy | first3=Daniel

| last4=Bonawitz | first4=Keith

| last5=Tenenbaum | first5=Joshua

| journal = Proc. Uncertainty in Artificial Intelligence

| year = 2008

| title=Church: a language for 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 Anglican.

==References==

{{Reflist}}

[[Category:Nondeterministic programming languages]]

[[Category:Probabilistic software]]

{{Compu-lang-stub}}