Church (programming language): Difference between revisions

Revision as of 19:54, 30 November 2012

Revision as of 15:50, 6 February 2013

Line 1:

'''Church''' refers to both a family of [[LISP]]-like programming language for specifying arbitrarily [[probabilistic]] [[programs]], as well as 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

| last1 = Goodman | first1=Noah

| last2=Mansinghka | first2=Vikash

| last3=Roy | first3=Daniel

Line 7 ⟶ 6:

| last5=Tenenbaum | first5=Joshua

| journal = Proc. Uncertainty in Artificial Intelligence

| dateyear = 2008

| title=Church: a language ofr generative models

}}

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

{{Reflist}}