有人使用过编程语言Church吗？谁能推荐实用的应用程序？我只是发现了它，虽然听起来像它解决了AI和机器学习中的一些长期问题，但我对此持怀疑态度。我从未听说过它，并且很惊讶地发现它实际上已经存在了几年，已经在文件Church: a language for generative models中宣布了。
最佳答案
对于实际应用，我不确定该说些什么。用生成模型对认知能力进行建模是否会在您的脑海中构成“实际应用”？
Church的关键重要性(至少现在是这样)是，它允许我们这些人以更简单的建模方法来处理针对AI问题的概率推理解决方案。它本质上是Lisp的子集。
我不同意Chris S，它完全是玩具语言。虽然其中一些推理问题可以用其他语言复制(我已经在Matlab中建立了一些问题)，但是它们通常不是很可重用，因此您真的很喜欢在4和5中进行深度循环(我讨厌)。
丘吉尔没有使用那种方法来解决问题，而是利用了lama calaculus的递归优势，并且允许使用一种称为内存的东西，这对于生成模型确实非常有用，因为您的生成模型在一次又一次的试验中通常是不同的，尽管它可以真正地测试您。需要这个。
我想说的是，如果您正在做的事情与贝叶斯网络，分层贝叶斯模型，POMDP或动态贝叶斯网络的概率解决方案有关，那么我认为Church对您有很大帮助。就其值(value)而言，我曾与Noah和Josh(Church的两位作者)一起工作，并且现在没有人能更好地处理概率推理(IMHO)。