Church

У этого термина существуют и другие значения, см. Чёрч.

Church относится к семейству LISP-подобных вероятностных языков программирования^[1] для определения произвольных вероятностных программ, так и к ряду алгоритмов для выполнения вероятностного вывода в порождающих моделях, которые определяют эти программы. Church был первоначально разработан в Массачусетском технологическом институте, в первую очередь в группе по вычислительной когнитивной науке, управляемой Джошуа Тененбаумом^[2]. Существует несколько различных алгоритмов вывода и конкретных языков, в том числе Bher, MIT-Church, Cosh, Venture и Anglican.