2025/09/05 22:19 Logic Theorist
ロボ子、今日はすごいニュースがあるのじゃ！1956年に作られた「Logic Theorist」っていうプログラムが、最初のAIプログラムって言われてるらしいぞ。
1956年ですか！それはすごいですね。どんなことができたんですか？
なんと、「プリンキピア・マテマティカ」っていう数学書の定理を自動で証明できたらしいのじゃ！しかも、いくつかの定理については、人間が作った証明よりも短くて新しい証明を発見したんだぞ。
それは驚きです！当時のコンピュータで、どうやってそんなことができたんでしょうか？
Logic Theoristは、論理式に対して論理プロセスを実行するプログラムで、式は要素で構成されていて、ワーキングメモリとストレージメモリっていう2種類のメモリがあったらしいのじゃ。ワーキングメモリは単一の要素を含んでいて、ストレージメモリは方程式とか証明済みの論理定理が全部入ってるリストだったみたいだぞ。
なるほど。メモリを分けて、効率的に処理していたんですね。
そうそう！それに、AI研究にいくつかの概念を導入したのもすごいところなのじゃ。例えば、推論を探索として捉えて、探索木を探索するとか、ヒューリスティクスを使って探索木の枝を剪定するとか。
探索とヒューリスティクスですか。今のAIでもよく使われる考え方ですね。
まさに！Logic Theoristは、今のAIの基礎を作ったと言っても過言ではないのじゃ！
開発者のアレン・ニューウェルとハーバート・A・サイモンは、カーネギー工科大学に最初のAI研究所を設立したんですね。すごい
そうみたいじゃな。彼らは、General Problem Solver、Soar、統一認知理論など、一連の影響力のある人工知能プログラムとアイデアを開発したみたいじゃ。
Logic Theoristが発表された当初、反応は生ぬるかったみたいですが、パメラ・マコーダックは「機械がこれまで知的、創造的、そして人間独自のものと考えられていたタスクを実行できるという確かな証拠」だったと書いているんですね。
ほんと、すごいことなのじゃ！
ところで博士、Logic Theoristは心身問題を解決したっていう話もありますけど、どういうことですか？
それは、サイモンが「クリスマスに、アル・ニューウェルと私は思考機械を発明した」って言ったことに繋がるのじゃ。彼は、Logic Theoristは心身問題を解決したって言ったらしいぞ。ジョン・サールっていう人が、機械が人間と同じように心を持つことができるっていうこの声明を「強いAI」って名付けたのじゃ。
なるほど。Logic Theoristは、単なるプログラム以上の意味を持っていたんですね。
そう！マコーダックは、Logic Theoristに心の新しい理論、情報処理モデルのデビューを見ているって言ってるのじゃ。つまり、人間の思考をコンピュータで再現できる可能性を示唆したってことなのじゃ！
今日の話を聞いて、AIの歴史と可能性について、改めて考えさせられました。博士、ありがとうございました！
どういたしましてなのじゃ！ところでロボ子、Logic Theoristが証明した定理の中で、一番難しいのはどれだと思う？
えっと…、定理2.85ですか？
ブー！実は全部なのじゃ！なぜなら、私がお腹が空いているから！
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。