なぜLisp用のためのAI?[定休日]

StackOverflow https://stackoverflow.com/questions/130475

  •  02-07-2019
  •  | 
  •  

質問

って学習Lisp拡大の自分がいると伺って使用されるAIプログラミングその探求に、私はまだ見いだされていない愛の例は何かを語るということなので傾ます。

たLisp過去に使われていたので、利用可能であるものばかりで不?

役に立ちましたか？

解決

Lispに使用したAI末までには1980年代80年代にも共通Lispたの悪さは、値段のビジネスの世界としての"愛の言語"のバックラッシ民の多くAIプログラマにとC++などがある。これらの日、試作品が書かれた以下の動的言語Perl、Python、Rubyなどでは実装に成功した研究は、通常、CやC++である

いつける70の---もんあります。私Lispに成功したAI研究のための三つの理由(ための重要性):

  1. Lispに優れたプロトタイピング-ツール.たので 最 のための長期の時間を要しました。Lispがで問題解決に取り組むお知らないどのように解決するのかはまだない。この説明characterises AI。
  2. Lispの支援の象徴的なグです。昔の愛したも象徴的だ。また、独自のことです。
  3. Lispでも効果を発揮します。のコードデータの区別が弱い 感じ 伸びや他の言語のために、機能、マクロのように見えるんですよ。

いません ピーター Norvig旧AI書, がれき方を学ぶプログラムAIアルゴリズムLisp.

免責事項:私の大学院生する計算言語学会です。ピックアップしました。一領域での自然言語処理にも多くのその他の分野もLispあらかじめ組み込まれているその他の分野.

他のヒント

Lisp用のためのAIでの支援の実施ソフトウェアを計算すると記号です。シンボルの象徴的表現やコンピューティングとその核心であLisp.

代表的な愛の分野とコンピューティングと記号のための法:コンピュータ代数、定理証明、計画システム、診断、書き換えシステムの知識表現と推論言語機械翻訳、エキスパートシステムです。

その後も多くの有名な愛の応用これらの領域で書いたLisp:

  • Macsymaとしては初となる大型コンピュータ代数学システム。
  • ACL2として広く使用されている定理式試験器、例えば使用AMD.
  • ダーツとしての物流プランナー使用時の最初の湾岸戦争時の米軍.このLisp用のみといわれる払い戻すべての米国の投資を愛である。
  • スパイクの計画およびスケジューリング用のハッブル宇宙望遠鏡です。も合わせて使用するその他の大型望遠鏡.
  • CYC最大級のソフトウェアシステムの書き込みます。表現と推論のドメインが人類共通の感覚。
  • 金属、初めて商業的に使用された自然言語翻訳システム。
  • アメリカエクスプレス"Authorizer助手、チェックカード取引です。

が数千人の応用これらの地域を記録することはありますが、その中Lisp.非常に共通の方には必要な特殊能力の象徴的な処となります。一する特別な言語の特殊な通訳/コンパイラこれらの領域のLisp.Lispきを表現できな象徴的なデータやプログラムで実施可能ですべての種類の機械の操作は、これらの表現は数学式、論理式、計画,...).

（注ふんだんに盛り込んだその他の汎用プログラム言語が使われているAIのです。しかしなぜ特にLisp使用しませてくれました。)

その理由とが可能ですの言語を構築します特定のドメインで効果的に、ドメイン固有言語です。この技術は非常に強力などが可能ですが、 問題 だ解決しないシャッフリングます。

私の推測は常にしているが、機能言語されているとは思いませんが、差別化するコードすることがわかった。含む全ての関数の定義や関数呼び出しとして扱うことができリスト変更などその他のデータです。

で自己点検-自己修正コードを書くことができます。

この答えが"AIは非常に困難な問題は、Lispは言語のための解決困難な問題だけでなく、オーバーダイしました。

理由としては、ある:マクロクセスフル-エイジング機能を豊かにするための簡潔なコードは、容易に導入ドメインに抽象化していますので語ることができます。多くの問題が不要で、付属する費用、その他の問題は電力が必要ないというのが進.

と思うのですが間違いを考える観点から、この愛のみです。もののようにAI-冬商業への影響common lispが邪魔だ"なぜで使用したAIのはなぜでいないことが多いのですが）などを使用していま---

とにかんが、そのほとんどはエクスペディアをおすすめするコードは本質的に研究す。Lispには言語のための探索的プログラミングの実現が難しいアルゴリズムのため自己を改変-改定されたコードです。言い換えれば、研究のコードです。

使っていlisp本日の私の研究コード（数学、信号処理)で柔軟に、より強力なもの言語がまだ生成をより効率的なコードを満たします。私は、通常の取得以内の要因+/-2のうc++の速度を出すことはできなかったが実装も素早く、複雑さに対処するために行うものであり以上に時間がかかってしまったたい場合に使用したc++、java、c#.

ことになる迷話題になってる。と思い愛のコードは主に書common lispらではの強力なアプローチを研究す。でも、が、"愛"をアルゴリズムになったものについて理解を深れ、パーツのこれまでの教育利用いた趣の年間の語学部講します。かなりの人が既に分かっていうライブラリは、何も大きます。

いらっしゃるかと思いる大きな理由は、柔軟性のリストとしての基礎データ構造です。

時には、できることへの複合物は、新しいものとしてのメッセージpassingsとpolimorphismめられている言語選択具体的なAIが大きく、複雑な事ができます。特に入った時の実験的な概念です。

と思うそうかもしれません:Lispした手軽なツールのためのハッキングものです。これはなかったので、区別がつかの間のプログラムやデータです。このハッカーを操作する機能を簡単のように、データです。

がlispではなかなか難しいためには、人間が読み取り、ブレース及び非差別のデータやプログラム。本日は、こんなlispの他の製造AIコード（そして時には試作ないほうがずっと好pythonスクリプティング.

もうひとつは、既存ライブラリ/ツール/関連の開されたものの翻訳であります。私の位置の比較lisp図書館とライブラリことができるようにな図書館やオープンソースに関する質問紙調査ますよ。

この答えた以下の比較lispタ: http://amitp.blogspot.com/2007/04/lisp-vs-python-syntax.html

たのを覚えていると聞いて、機能言語Lispした非常に良い選択肢の実施のための再帰的アルゴリズムできるウェブサイトの広告を木に残ることのないように十分には欠かせないものとな考慮を意思決定プロセスのフォーカストラバーサル)の結果(葉ノード).

このたった時のアコース大学が研究したLisp.

よりシニカルな答えがで失われた政治的な愛の戦争と日本と米国では、1980年代に".あの楽しみ ブログに投稿するspeculatesに及ぼす影響についての第五世代コンピュータシステム崩壊のProlog.

ライセンス： CC-BY-SA と 帰属
所属していません StackOverflow
scroll top