13

プログラミング言語Churchを使ったことのある人はいますか? 誰でも実用的なアプリケーションを推奨できますか? 私はそれを発見したばかりで、AI と機械学習における長年の問題に対処しているように思えますが、私は懐疑的です。私はそれについて聞いたことがありませんでしたが、それが実際に数年前から出回っていることを知って驚きました。紙のChurch: a language for Generative models で発表されました。

4

4 に答える 4

6

実際のアプリケーションの問題について何を言うべきかわかりません。生成モデルによる認知能力のモデル化は、あなたの心の中で「実用的なアプリケーション」を構成しますか?

Church の (少なくとも現時点での) 重要な点は、AI の問題に対する確率論的推論ソリューションに取り組んでいる私たちが、より簡単な方法でモデル化できるようにすることです。これは本質的に Lisp のサブセットです。

私は、それがおもちゃの言語であるという Chris S に同意しません。これらの推論問題のいくつかは他の言語で再現できますが (私はいくつかを Matlab で作成しました)、それらは一般的にあまり再利用可能ではなく、4 と 5 の for ループの深さで作業するのが本当に好きでなければなりません (私はそれが嫌いです)。

そのように問題に取り組む代わりに、Church は lamda calaculus の再帰的な利点を使用し、また、生成モデルは試行ごとに同じではないことが多いため、生成モデルに非常に役立つメモ化と呼ばれるものを可能にします。これが必要です。

あなたがやっていることは、ベイジアン ネットワーク、階層ベイジアン モデル、POMDPs または動的ベイジアン ネットワークへの確率的ソリューションと関係がある場合、Church は大きな助けになると思います。価値のあることとして、私は Noah と Josh (Church の著者の 2 人) の両方と協力してきましたが、現在、確率論的推論をより適切に処理できる人はいません (IMHO)。

于 2010-04-07T05:11:46.027 に答える
2

Church は、モデルの推定とその定義の分離を可能にする確率的プログラミング言語のファミリーの一部です。これにより、機械学習を適用したいと考えているが、筋金入りの機械学習研究者ではない人々にとって、確率的モデリングと推論がより利用しやすくなります。

長い間、確率的プログラミングでは、データのモデルを考え出し、そのモデルの推定値を自分で導き出す必要がありました。いくつかの観測値があり、パラメーターを学習したいのです。モデルの構造は、パラメーターの推定方法と密接に関連しており、計算を正しく行うには、機械学習に関するかなり高度な知識が必要です。最近の確率的プログラミング言語は、それに対処し、データ サイエンティストや機械学習を適用する仕事をしている人々が物事をより利用しやすくするための試みです。

類推として、次のことを考慮してください。

あなたはプログラマーで、コンピューターでコードを実行したいと考えています。1970 年代には、プログラムを実行するために、パンチ カードにアセンブリ言語を記述し、それをメインフレーム (時間を予約する必要がありました) に供給する必要がありました。今は 2014 年ですが、コンピューター アーキテクチャの仕組みの知識がなくてもコードを記述できる、高レベルで簡単に学べる言語があります。これらの言語でコンピューターがどのように書くかを理解することは依然として役に立ちますが、その必要はありません。また、パンチ カードを使用してプログラミングする必要がある場合よりも多くの人がコードを記述します。

確率的プログラミング言語は、統計モデルを使用した機械学習でも同じことを行います。また、これに対する選択肢は教会だけではありません。関数型プログラミングの愛好家でない場合は、グラフィカル モデルでのベイジアン推論の次のフレームワークも確認できます。

于 2014-01-22T21:24:46.910 に答える
0

教会を説明する上で、私が言ったことよりも優れていることを知っていますか? この MIT の記事: http://web.mit.edu/newsoffice/2010/ai-unification.html

少し大げさですが、私はこの記事の楽観主義に無関心ではありません。

于 2010-04-08T00:22:36.383 に答える
-8

Likely, the article was intended to be published on April Fool's Day. Here's another article dated late march of last year. http://dspace.mit.edu/handle/1721.1/44963

于 2010-04-01T04:48:39.057 に答える