Church se refiere tanto a una familia de lenguajes de programación probabilísticos similares a LISP [1] para especificar programas probabilísticos arbitrarios , como a un conjunto de algoritmos para realizar inferencias probabilísticas en los modelos generativos que definen esos programas. Church se desarrolló originalmente en el MIT , principalmente en el grupo de ciencia cognitiva computacional, dirigido por Joshua Tenenbaum . [2] Existen varios algoritmos de inferencia diferentes y lenguajes concretos, incluidos Bher, MIT-Church, Cosh, Venture y Anglican.