artificial-intelligence - Church 编程语言的应用

Question

有人使用过这种编程语言吗 Church ？谁能推荐一下实际应用吗？我刚刚发现它，虽然听起来它解决了人工智能和机器学习中一些长期存在的问题，但我对此表示怀疑。我从来没有听说过它，并且惊讶地发现它实际上已经存在了几年，并在报纸 Church: a language for generative models 中宣布过。 .

Answer 1

关于实际应用的问题我不知道该说什么。用生成模型对认知能力进行建模是否构成您心目中的“实际应用”？

Church 的关键重要性(至少现在)是它让我们这些致力于人工智能问题的概率推理解决方案的人能够以更简单的方式进行建模。它本质上是 Lisp 的一个子集。

我不同意 Chris S 的观点，即它根本就是一种玩具语言。虽然其中一些推理问题可以用其他语言复制(我在 Matlab 中构建了几个)，但它们通常不太可重用，而且您确实必须喜欢在 4 和 5 个 for 循环中工作(我讨厌它)。

Church 并没有以这种方式解决问题，而是利用了 lamda 演算的递归优势，并且还允许一种称为内存的东西，这对于生成模型来说非常有用，因为你的生成模型在一次又一次的试验中通常并不相同 - 尽管对于测试你是否真的需要这个。

我想说，如果您所做的事情与贝叶斯网络、分层贝叶斯模型、POMDP 概率解决方案或动态贝叶斯网络有关，那么我认为 Church 会提供很大帮助。无论如何，我曾与 Noah 和 Josh(Church 的两位作者)合作过，目前没有人能更好地处理概率推理(恕我直言)。