問題 No.572
1956年のダートマス会議で発表された、コンピュータによって数学の定理証明を行った世界初のAIプログラムはどれか。
【正解の解説】
Logic Theorist
ロジック・セオリスト(Logic Theorist)は、記号処理を用いて数学の定理証明を自動で行うことに成功した、最初期のAIプログラムです。
スポンサーリンク
【その他の選択肢の解説】
ELIZA
イライザは、人間との会話をシミュレーションするチャットボットの初期モデルです。
SHRDLU
SHRDLUは、積み木世界で自然言語命令を処理するプログラムです。
Perceptron
パーセプトロンは、ニューラルネットワークの基礎となった、単純な識別器の数学モデルです。