Church se refiere tanto a una familia de lenguajes de programación probabilística similares a LISP [1] para especificar programas probabilísticos arbitrarios , como a un conjunto de algoritmos para realizar inferencia probabilística 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 y lenguajes concretos diferentes, incluidos Bher, MIT-Church, Cosh, Venture y Anglican.