교회(프로그래밍 언어)

Church (programming language)

처치(Church)는 임의의 확률론적 프로그램을 지정하기 위한 LISP와 유사한 확률론적 프로그래밍[1] 언어 패밀리와 프로그램이 정의하는 생성 모델에서 확률론적 추론을 수행하기 위한 알고리즘 세트를 모두 참조한다.처치는 원래 조슈아 [2]테넨바움이 운영하는 컴퓨터 인지 과학 그룹에서 MIT에서 개발되었습니다.Bher, MIT-Church, Cosh, Venture 및 성공회 등 여러 가지 다른 추론 알고리즘과 구체적인 언어가 존재합니다.

레퍼런스

  1. ^ "Probabilistic Programming wiki". Archived from the original on 2008-11-18. Retrieved 2020-07-22.
  2. ^ Goodman, Noah; Mansinghka, Vikash; Roy, Daniel; Bonawitz, Keith; Tenenbaum, Joshua (2008). "Church: a language for generative models" (PDF). Proc. Uncertainty in Artificial Intelligence.