アドバイスを受ける人

アドバイステイカーは、ジョン・マッカーシーが1959年の論文「常識のあるプログラム」で提案した仮想的なコンピュータプログラムです。 ^{[1]これは、コンピュータ内の情報を他のプログラムの主題としてだけでなく、}論理を使用して表現する最初の提案だったと思われます。また、人工知能の鍵として常識的な推論能力を提案した最初の論文だったかもしれません。マッカーシーは論文で次のように主張しました。

「…適切な形式言語 (述語計算の一部である可能性が高い) で一般的な手段文を操作するプログラム。基本プログラムは、前提のリストから即座に結論を導き出します。これらの結論は、宣言文または命令文のいずれかになります。命令文が導き出されると、プログラムは対応するアクションを実行します。」

マッカーシーは次のように彼の提案を正当化した。

「アドバイス テイカーに期待される主な利点は、アドバイス テイカーにステートメントを発し、その象徴的な環境と、アドバイス テイカーに何を求めているかを伝えるだけで、その動作を改善できるという点です。これらのステートメントを発するためには、プログラムに関する知識やアドバイス テイカーの事前の知識はほとんど必要ありません。アドバイス テイカーは、伝えられたことやその事前の知識から、かなり幅広いクラスの即時の論理的帰結を利用できると想定できます。この特性は、一部の人間が常識を持っていると私たちが説明するものと多くの共通点があると予想されます。したがって、伝えられたことやすでに知っていることから、十分に幅広いクラスの即時の帰結を自動的に推論できるプログラムは、常識を持っていると言えます。」