教会程序设计语言的应用

有没有人使用编程语言教会？有人可以推荐实际应用吗？我刚刚发现它,虽然听起来它解决了人工智能和机器学习中一些长期存在的问题,但我对此表示怀疑.我从来没有听说过它,并且惊讶地发现它已经存在了几年,已经在论文教会宣布:生成模型的语言.

我不确定在实际应用方面该怎么说.用生成模型建模认知能力是否构成了你脑海中的"实际应用"？

Church(至少目前)的关键重要性在于它允许我们这些使用概率推理解决方案解决AI问题的人更简单的建模方法.它本质上是Lisp的一个子集.

我不同意Chris S的观点,认为它完全是一种玩具语言.虽然其中一些推理问题可以在其他语言中复制(我在Matlab中构建了几个)但它们通常不是非常可重用的,你真的不得不喜欢在4和5中深入研究(我讨厌它).

教会使用lamda calaculus的递归优势而不是解决这个问题的方法,并且还允许称为memoization的东西,这对于生成模型非常有用,因为你的生成模型通常不是试验后的一个试验 - 尽管为了测试你真的需要这个.

我想说如果你正在做的事情与贝叶斯网络,分层贝叶斯模型,POMDP或动态贝叶斯网络的概率解决方案有关,那么我认为教会是一个很好的帮助.为了它的价值,我和Noah和Josh(Church的两位作者)一起工作,现在没有人能更好地处理概率推理(恕我直言).