記号処理用言語・人工知能言語
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/12 02:49 UTC 版)
「Prolog」の記事における「記号処理用言語・人工知能言語」の解説
Prolog は LISP の資産の多くを継承して間違いなく記号処理用の言語であるが、人工知能言語として分類されることも多い。これは、人工知能の世界では述語論理が古くから理論的な柱の一つとなっているからである。述語論理を基礎とするトップ・ダウン式の問題解決と同じく述語論理を基礎とする Prolog の駆動機構の相性は当然良いため、人工知能研究に広く利用されてきた。特にエキスパートシステムで多用されるプロダクションシステムにおいては、ルールを自然に自ら動的に変更できる能力を持つことと、後ろ向き推論と呼ばれる推論が Prolog の導出過程そのものであることから、その最も主要な記述言語の位置を占めてきた。
※この「記号処理用言語・人工知能言語」の解説は、「Prolog」の解説の一部です。
「記号処理用言語・人工知能言語」を含む「Prolog」の記事については、「Prolog」の概要を参照ください。
ウィキペディア小見出し辞書の「記号処理用言語人工知能言語」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 記号処理用言語人工知能言語のページへのリンク
