Приложения для церкви язык программирования
Кто-либо работал с церковью языка программирования? Кто-либо может рекомендовать практическое применение? Я просто обнаружил его, и в то время как это кажется, что решает некоторые давние проблемы в AI и машинном обучении, я скептически настроен. Я никогда не слышал о нем и был удивлен найти, что это на самом деле было вокруг в течение нескольких лет, объявленных в бумажной церкви: язык для порождающих моделей.
3 ответа
Я не уверен, что сказать о практических приложениях. Является ли моделирование когнитивных способностей с помощью генеративных моделей «практическим применением» в вашем уме?
Ключевое значение Черча (по крайней мере, сейчас) заключается в том, что он позволяет тем из нас, кто работает с решениями вероятностного вывода для проблем ИИ, более простой способ моделирования. По сути, это подмножество Лиспа.
Я не согласен с Крисом С. в том, что это вообще игрушечный язык. Хотя некоторые из этих проблем вывода могут быть воспроизведены на других языках (я построил несколько в Matlab), они, как правило, не очень многоразовые, и вам действительно нужно любить работать в 4 и 5 для глубоких циклов (я ненавижу это).
Вместо того, чтобы решать проблему таким образом, Черч использует рекурсивные преимущества lamda calaculus, а также допускает то, что называется мемоизацией, что действительно полезно для генеративных моделей, поскольку ваша генеративная модель часто не та же, что и после испытания - хотя для вам это действительно нужно.
Я бы сказал, что если то, что вы делаете, имеет какое-либо отношение к байесовским сетям, иерархическим байесовским моделям, вероятностным решениям для POMDP или динамическим байесовским сетям, то я думаю, что Черч вам очень поможет. Как бы то ни было, я работал и с Ноем, и с Джошем (двумя авторами Черча), и сейчас никто не знает лучше вероятностного вывода (ИМХО).
Скорее всего, статья предназначалась для публикации в День дурака. Вот еще одна статья, датированная концом марта прошлого года. http://dspace.mit.edu/handle/1721.1/44963
Знаете, что лучше для описания Церкви, чем то, что я сказал? Эта статья MIT: http://web.mit.edu/newsoffice/2010/ai-unification.html
Она немного более гиперболична, но, тем не менее, я не застрахован от оптимизма, присутствующего в этой статье.