アドバイスを求める人

アドバイス・テイカーは、ジョン・マッカーシーが1959年の論文「常識を備えたプログラム」で提案した架空のコンピュータ・プログラムである。 ^{[ 1 ]}これは、コンピュータ内で情報を単に別のプログラムの題材としてではなく、論理を用いて表現するという提案としてはおそらく最初のものであった。また、人工知能の鍵として常識的な推論能力を提唱した最初の論文であった可能性もある。マッカーシーはこの論文で、次のように主張した。

…適切な形式言語（おそらく述語論理の一部）を用いて、一般的な道具的命題を操作するプログラム。基本プログラムは、前提のリストから即座に結論を導き出す。これらの結論は、宣言文または命令文のいずれかとなる。命令文が導き出された場合、プログラムはそれに対応する動作を実行する。

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

「助言を受ける側が持つと期待される主な利点は、助言を受ける側の行動が、助言を受ける側の象徴的な環境や、助言を受ける側に求められることを伝えるだけで改善できる点です。こうした助言を与えるには、プログラムや助言を受ける側のこれまでの知識はほとんど、あるいは全く必要ありません。助言を受ける側は、伝えられた内容やこれまでの知識から、かなり幅広い範囲の直接的な論理的帰結を導き出すことができると想定できます。この特性は、私たちが特定の人間を常識を持っていると表現する理由と多くの共通点があると期待されます。したがって、プログラムが伝えられた内容や既に知っていることから、十分に幅広い範囲の直接的な帰結を自動的に推論できる場合、そのプログラムは常識を持っていると言えるでしょう。」