ハーバート・サイモンと人工知能:意思決定理論家がどのように初のAIプログラムを共創したか
ハーバート・サイモン(1916–2001)は、アレン・ニューウェルおよびクリフ・ショーと共に、初の人工知能プログラムと広く見なされるロジック・セオリストを共同開発しました。1956年1月、サイモンは彼のクラスに「クリスマスの間に、アル・ニューウェルと私は思考機械を発明しました」と語りました。ロジック・セオリストは、ホワイトヘッドとラッセルの『プリンキピア・マテマティカ』の第2章にある最初の52の定理のうち38を証明し、定理2.85のより優れた証明を見つけました。バートランド・ラッセルは喜んで応じましたが、シンボリック・ロジック誌は、初等定理の新しい証明は出版に値しないと判断し、原稿を却下しました。サイモンとニューウェルは、一般問題解決機(初版1957年、報告書1959年発表)を構築し、手段-目的分析を導入し、1976年のチューリング講演で物理シンボルシステム仮説を述べました。「物理シンボルシステムは、一般的な知的行動のための必要かつ十分な手段を持っています。」サイモンは、ACMチューリング賞(1975年、ニューウェルと共に)とノーベル経済学賞(1978年)の両方を受賞した数少ない人物の一人です。彼の意思決定研究の一貫したテーマは、知性は制約の下でのヒューリスティック探索であるということです — コードに実装された制約付き合理性です。ディープラーニングはシンボリックプログラムの強い主張を覆しましたが、制約付き合理性の核心は生き残っています:現代のシステムは依然としてヒューリスティック探索、近似的な十分な解決策、そしてサイモンの直感の定義である認識に依存しています。
1956年1月、ある経済学者がカーネギー・テックの教室に入り、こう発表しました:クリスマスの間に、アル・ニュエルと私は思考機械を発明しました。 それはほとんど誇張ではなく、ハードウェアで動作する前にインデックスカードで手動シミュレーションされたロジック・セオリストは、最初のAIプログラムとなりました。その設計原則は、サイモンの意思決定科学をコードに変換したものでした:知性とは制約の下でのスマートな探索であり、徹底的な計算ではありません。
- 論理定理証明者 (1956) — ヒューリスティックサーチによって『数理原理』の最初の52の定理のうち38を証明しました。その定理2.85の改良された証明はバートランド・ラッセルを喜ばせましたが、記号論理学ジャーナルに却下されました。
- 一般問題解決者 (1957–59) — 手段-目的分析を導入し、AI計画において今でも認識可能です。
- 1976年の仮説 — 物理的シンボルシステムは、一般的な知的行動に必要かつ十分な手段を持っている:シンボリックAIの基礎的主張。
- ノーベル賞 + チューリング賞 — サイモンは両方を持つ数少ない人物の一人です。
- 正直なスコアカード:深層学習は、シンボリックプログラムの強い主張を打ち破り、知性が限界があり、ヒューリスティックで認識に基づいているというより深い主張を正当化しました。
一人の男が完璧な決定を下すことはできないと証明し、代わりに何をすべきかを教え、同じ原則に基づいて最初の人工知能を構築しました。ハーバート・サイモンに関する三つの関連する要素:理論、実践、そして機械。
- 1.Herbert Simon Won a Nobel Prize for Proving You Can't Make Perfect Decisions. Here's What to Do Instead.
- 2.Stop Searching for the Perfect Decision. Nobel Prize Research Says "Good Enough" Wins.
- 3.The Decision Theorist Who Co-Founded AI: How Herbert Simon's Christmas Thinking Machine Changed Everythingあなたはここにいます
1956年1月。カーネギー技術大学。39歳の教授 — 政治学者としての訓練を受け、すでに経済学者の間で「誰も何も最適化しない」と主張して有名になっている — は、真実であるべきではない文で数学的モデリングのクラスを始めた:クリスマスの間に、アル・ニュエルと私は思考機械を発明しました。
その機械は、機械としてほとんど存在していなかった。休暇中、サイモン、アレン・ニューウェル、プログラマーのクリフ・ショーはロジック・セオリストを作り上げ、コンピュータで実行される前に、彼らは手動シミュレーションを行った:プログラムのサブルーチンは3×5のインデックスカードに書かれ、サイモンの家族や学生に配られ、各人間が一つのコンポーネントのルールを実行した。思考する機械、最初は人々の上で動作した。その夏にはハードウェア上で動作し、ダートマスのワークショップで発表された — 人工知能にその名前を与えた会議である。
この話は通常、コンピュータの歴史の下に分類されます。それは意思決定科学にも同様に属します — なぜなら、論理定理証明器はより速い計算機ではなかったからです。それは、コードに実装されたサイモンの制約された合理性の理論でした:もし人間の知性が徹底的な計算ではなくショートカットと選択的検索を通じて機能するのなら、ショートカットと選択的検索を使用する機械も知的であり得るのです。サイモンがAIで構築したすべては、その一つの動きから派生しています。
クリスマスの間、
アル・ニュエルと私は思考機械を発明しました。
— ハーバート・A・サイモン、カーネギー工科大学のクラスにて、1956年1月(私の人生のモデル、1991年)
存在してはいけない履歴書
ハーバート・アレクサンダー・サイモン(1916–2001)は、政治学の博士号を取得し(シカゴ、1943年)、組織が実際にどのように決定するかについての著書Administrative Behavior(1947年)を執筆し、カーネギーメロン大学で経済学、心理学、コンピュータサイエンス、科学哲学の分野で50年間活動しました。受賞歴はその幅広さを示しています:人工知能と人間の認知心理学への基本的な貢献に対してアレン・ニュエルと共に受賞した1975年ACMチューリング賞、経済組織における意思決定に関する先駆的な研究に対して受賞した1978年ノーベル経済学賞、1986年アメリカ国家科学メダル。彼は、チューリング賞とノーベル賞の両方を受賞した数少ない人物の一人であり、彼が主張したようにそれは単一の研究プログラムによるものでした。
そのプログラムは、実際に機能する知性を理解することです — 人々、組織、機械の中で — 情報、計算、時間の実際の制約の下で。理論の半分は、完全に合理的な経済人を退けました。工学の半分は明らかな次の質問をしました:知性が制約された探索であるなら、私たちはそれを構築できるのでしょうか?
論理学者:ショートカットによる証明
ロジック・セオリストは、ホワイトヘッドとラッセルのプリンキピア・マテマティカの定理に挑戦し、第二章で最初の52のうち38を証明しました。この方法がメッセージでした:すべての導出を徹底的に行うのではなく(当時のハードウェアでは耐えられなかった力任せの方法)、有望な道を選択するためにヒューリスティックを使用し、目標から逆算し、最良の証明ではなく有効な証明が得られた時点で停止しました。ヒューリスティック検索とサティスファイシング — サイモンの意思決定科学が機械の速度で動いています。
定理2.85について、元のものよりも優れた証明が見つかりました。サイモンがそれについて書いたとき、当時80代のバートランド・ラッセルは喜んで応じました。記号論理学ジャーナルは魅了されることはなく、初等定理の新しい証明は出版に値しないと判断し、結果を発表することを拒否しました — どうやら、著者の一人がコンピュータプログラムであるという詳細を考慮せずに。
一般問題解決者:主題なしの戦略
後継プログラムは、Administrative Behaviorの著者から期待される方向において、より野心的でした。一般問題解決者 — 最初のバージョンは1957年に稼働し、1959年にニュエル、ショー、サイモンによって報告されました — は手段-目的分析を導入しました:現在の状態と目標状態の違いを測定し、その違いを減少させるオペレーターを見つけて適用し、繰り返します。ギャップを埋めることでのナビゲーション。
GPSの真の革新は、建築的なものでした。それは問題解決の戦略を問題の内容から分離しました。同じエンジンが、状態とオペレーターの説明があれば、パズル、証明、または計画に取り組むことができました。その分離 — 一般的な方法、プラグイン可能なドメイン — はAIの基本的な設計原則となり、手段と目的の分析は現代の計画システムの中でも依然として認識可能です。
大きな主張:シンボルと検索
1976年のチューリング賞講演「経験的探求としてのコンピュータ科学」において、ニュエルとサイモンは20年にわたる研究をこの分野で最も有名な仮説に凝縮しました:物理的シンボルシステムは一般的な知的行動のために必要かつ十分な手段を持っている。心はシンボルを操作し、コンピュータもシンボルを操作します。したがって、適切にプログラムされれば、コンピュータは知的に行動することができ、シンボル操作以外の何も必要ありません。これが現在「シンボリックAI」またはGOFAIと呼ばれるものの憲章となりました。
彼らは日付付きの予測も行い、その日付は間違っていました。1958年のOperations Research論文で、サイモンとニューウェルは、ルールが競技から排除しない限り、10年以内にデジタルコンピュータが世界のチェスチャンピオンになると予測しました。世界チャンピオンは1997年にコンピュータに奪われました — 予測から39年後であり、10年ではありません。どのような間違いであるかを指摘する価値があります:メカニズム(機械が網羅できない空間に対するヒューリスティック検索)は正確でしたが、タイムラインは世代分ずれていました。両方の事実は記録に残るべきです。
ディープラーニングはサイモンの誤りを証明しなかったのか?
ここに2026年の読者が持ち込む異議があります:現代のAIは象徴的ではありません。ニューラルネットワークはデータからパターンを学習します;誰もヒューリスティックを手書きしません;リチャード・サットンの影響力のある2019年のエッセイ「苦い教訓」は、サイモンの全アプローチに対する判決のように読まれます — 計算にスケールする一般的な手法が、人間が作成したドメイン知識に基づくシステムに勝ることを示す70年のAIの歴史です。
異議は部分的に受け入れられる。強い象徴的主張は生き残らなかった:十分な象徴が存在しなかったことが判明し、1970年代と80年代の手作りの知識プログラムは、サットンが説明する通りに停滞した。サイモンの正直な説明はそれを明確に示している。しかし、『苦い教訓』の結論を読んでみてほしい:スケールする二つの方法論は探索と学習である。ヒューリスティック探索はサイモンとニュエルの分野への貢献であり、ゲームツリー探索から現在のAIシステムの意図的な推論ループに至るまで生き続けている。そして、深層ネットワークが行うこと — 大量の経験から蓄積されたパターンを認識すること — は、サイモンの専門知識の定義に驚くほど近い。強化学習は、その創設者アンドリュー・バルトとリチャード・サットンが2024年のチューリング賞を受賞した(2025年3月発表)もので、計算的制約の下での選択的な試行錯誤探索であり、サイモンが親族として認識したであろう研究プログラムである。
スコアカードは分かれており、その分かれ方は示唆に富んでいます。彼が賭けたアーキテクチャは失敗しましたが、その下にある知能の理論は成功しました。機械は徹底的に計算することで知能を持つようにはなりませんでした。彼らは限られた、ヒューリスティックで、認識駆動の探索によって知能を持つようになったのです — これはサイモンがキャリアを賭けた主張です。最近の研究は、別の側面からループを閉じています:2025年の研究では、大規模言語モデルが自ら限られた合理性を示し、人間のような方法でゲーム理論的最適性から逸脱していることがわかりました。また、サティスファイシングはモデルの整合性において志向レベルの制約として組み込まれています。
直感は何もありません
そして認識以外の何ものでもない。
— ハーバート・A・サイモン(1992)、カーネマン&クラインの引用、アメリカン・サイコロジスト(2009)
サイモンの現代AIにおける指紋
ヒューリスティック検索
A* パスファインディングからゲームツリー探索、現代の意図的推論ループまで、真剣なシステムは徹底的に探索しません。予算内での選択的探索は、論理理論家の方法を工業化したものです。
満足化
トレーニングは、証明可能な最適解ではなく、許容可能な損失で停止します。リアルタイムシステムは、締切までに利用可能な最良の回答に基づいて行動します。制約の下で十分であることは、現在のエンジニアリング原則です。
直感としての認識
サイモンは専門家の直感を認識として定義しました — 状況が手がかりを提供し、その手がかりが保存されたパターンを引き出します。訓練されたニューラルネットワークが何をするかを説明するのに、これ以上の一行の説明を書くのは難しいです。
制約された機械、測定された
2025年の研究では、LLMを明示的に限界合理的エージェントとして扱い、彼らの人間のようなヒューリスティックを測定し(arXiv:2506.09390)、満足化の閾値を通じて整合させています(arXiv:2505.23729)。
タイムライン:多才な人の人生
AIの10年に向けてサイモンから何を持ち帰るべきか
境界のある機械を使って構築する人や、共に決定する人のための4つの作業原則:
1. 計算を予算化し、それを否定しないでください
あなたのチームもモデルも最適化していません。時折の完璧を目指すのではなく、明示的な予算の下で信頼できる十分なものを設計してください。プロンプトとプロセスの両方に対して。
2. 理由を検証可能にする
論理学者の証明は読み取り、検証することができました。現代のワークフローは創始者の基準を守るべきです:その推論が検証できない結論は信頼できず、改善もできません。
3. 力に応じて労働を分担する
機械は広範囲に迅速に検索しますが、人間は利害、価値、可逆性を判断します。最後に応答した人に決定させるのではなく、ハンドオフを明示的に設計してください。
4. 組織のトレーニングデータとして決定をアーカイブする
サイモンは組織の記憶を限られた心の延長と呼びました。過去の決定とその理由の検索可能な記録はまさにそれであり、人間とツールのためのものです。
診断の質問
チームが意思決定にAIを使用した場合、その後に誰かが理由を示すことができますか、それとも答えだけですか?
Argumentreeが適合する場所
サイモンは人間の知性と機械の知性を一つのテーマとして扱いました:制約の下で探索する限界のあるエージェントです。Argumentreeは同じ前提に基づいて構築されています。人間の議論とAIによって抽出された議論は、検査可能な一つの構造—ツリー—に集約され、そこでは推論が可視化され、評価が限られた注意を最も強いポイントに向け、記録は組織の記憶として残ります。
監査可能なAIの使用が必要なチームのために、姉妹製品AIAgentreeは、機械的推論自体に同じアイデアを拡張します。AIシステムがどのように結論に達したかを追跡し、サイモンが見せるように求めた構造で示します。
ロングベット
サイモンのチェス時計は4回も回り、象徴的なアーキテクチャは崩れ、彼が共同設立した分野は今や彼が構築した方法ではなくなっている。予言として評価されれば、混合した記録となる。科学として評価されれば、より珍しいものとなる:核心の主張 — 知能は、どこで発生しても、認識によって導かれる限界のある探索である — は、それをテストするために使用されたすべてのアーキテクチャ、彼自身のものを含めて、超えて生き残っている。
そのため、教室の文は70年後でも響いています。彼はガジェットを発表していたわけではありません。彼は、思考がエンジニアリングの対象になったことを発表していたのです — 人のため、組織のため、そして今や機械のために。
知性は決して完璧な計算ではありません。制約の下での賢い探索です — 心の中で、組織の中で、そして機械の中で。
検査可能な推論
人間とAIの議論を一つの可視構造にまとめ、永久的な記録を持つ — サイモンの基準があなたの決定に適用されます。
参考文献とさらなる読み物
- サイモン, H. A. (1991). 私の人生のモデル. ニューヨーク: ベーシックブックスサイモンの自伝 — 1956年1月の教室発表の出所と論理学者の起源。
- ニューウェル, A. & サイモン, H. A. (1976). コンピュータ科学の経験的探求: シンボルと探索. ACMの通信, 19(3), 113–126チューリング賞講演;物理シンボルシステム仮説の出典、逐語的に引用。
- サイモン, H. A. & ニューウェル, A. (1958). ヒューリスティック問題解決: オペレーションズリサーチの次の進展. オペレーションズリサーチ, 6(1), 1–10テキストで議論されたチェスチャンピオンの主張を含む10年間の予測。
- カーネマン, D. & クライン, G. (2009). 直感的専門知識の条件: 意見の不一致の失敗. アメリカ心理学者, 64(6), 515–526サイモン(1992)は直感を認識として引用しています(p. 155) — 引用文で使用された部分。
- A. M. チューリング賞 1975年 — アレン・ニューウェルとハーバート・A・サイモン、ACM人工知能と人間の認知心理学への基本的な貢献に対する受賞記録。
- サットン, R. S. (2019). 苦い教訓反論セクションの背後にあるエッセイ:スケールする一般的な方法 — 検索と学習 — は組み込みの知識に勝る。
- ACMが2024年A.M.チューリング賞を発表:アンドリュー・G・バートとリチャード・S・サットン(2025年3月)反論の解決に言及された強化学習のチューリング賞。
- ナッシュ均衡を超えて:戦略的意思決定におけるLLMと人間の限られた合理性(2025)。arXiv:2506.093902025年、大規模言語モデルが人間のような制約された合理性を示す証拠。
よくある質問
ハーバート・サイモンの人工知能への貢献は何ですか?
アレン・ニュエルとクリフ・ショーと共に、サイモンはロジック・セオリスト(1956年)を作成しました。これは広く初のAIプログラムと見なされており、力任せではなくヒューリスティック検索を用いて『プリンキピア・マテマティカ』から定理を証明しました。彼とニュエルはその後、一般問題解決機(初版1957年、報告1959年)を構築し、手段-目的分析を導入し、1976年のチューリング講演で物理シンボルシステム仮説を述べました。彼はこれらの貢献により、1975年にニュエルと共にACMチューリング賞を受賞しました。
ロジックセオリストとは何ですか、そしてそれはなぜ重要なのですか?
ロジック・セオリストは、人間のような推論を行うために設計された最初のプログラムでした。これは、ホワイトヘッドとラッセルの『プリンキピア・マテマティカ』の第2章にある最初の52の定理のうち38を証明し、定理2.85のより優れた証明を見つけました — これはバートランド・ラッセルを喜ばせましたが、シンボリック・ロジック誌は、初等定理の新しい証明は価値がないと判断し、掲載を拒否しました。これは、ヒューリスティック検索を通じて機械知能を示したため重要でした — 短絡的な方法であり、徹底的な計算ではありませんでした。
限界合理性は初期のAIにどのように影響を与えましたか?
直接に。サイモンの意思決定研究は、人間がヒューリスティックとサティスフィシングを通じて推論することを示しました。これは、十分に良いところで止まる選択的な検索を意味しました。つまり、機械知能は無限の計算能力を必要としなかったということです。適切に選ばれたショートカットを使用するプログラムは、1950年代のハードウェア上で知的に振る舞うことができました。ヒューリスティック検索はAIの基礎的な方法となり、限られた心がどのように決定するかに関するサイモンの理論から直接派生しています。
物理シンボルシステム仮説とは何ですか?
1976年のチューリング賞講演でニュエルとサイモンが述べたように、物理的シンボルシステムは一般的な知的行動のための必要かつ十分な手段を持っています。知性はシンボル構造の操作にあると主張しており、これはシンボリックAIの基礎的な主張です。現代の機械学習は実際にはその十分性の主張を覆しましたが、ハイブリッドな神経シンボリックアプローチはプログラムの一部を生かし続けています。
ディープラーニングはサイモンの誤りを証明したのか?
それは彼のアーキテクチャを壊し、彼の理論を正当化した。手作りの象徴的知識システムは停滞し、リチャード・サットンの「苦い教訓」(2019)が語るように、勝利した方法、すなわち探索と学習は、知性が限界があり、ヒューリスティックで認識に基づくというサイモンのより深い主張を実装している。彼の1992年の定義 — 直感は認識に他ならない — は、訓練されたニューラルネットワークを驚くほどよく説明しており、2025年の研究ではLLMが自ら限界的合理性を示していることがわかる。
ハーバート・サイモンは本当にノーベル賞とチューリング賞の両方を受賞したのですか?
はい — 1975年のACMチューリング賞(アレン・ニューヴェルと共同)を人工知能と人間の認知心理学への貢献に対して受賞し、1978年には経済組織における意思決定に関する研究でノーベル経済学賞を受賞しました。また、1986年にはアメリカ合衆国国家科学メダルも受けました。彼はこれらすべてを一つの研究プログラムとして扱いました:制約下の知性。
サイモンはコンピューターチェスについて何を予測しましたか?
1958年のオペレーションズリサーチの論文で、サイモンとニューヴェルは、競争から排除されない限り、10年以内にデジタルコンピュータが世界のチェスチャンピオンになると予測しました。実際には39年かかり、1997年に世界チャンピオンがコンピュータに対して試合に敗れました。彼らが予測したメカニズム、尽きることのないゲームツリーに対するヒューリスティック検索が、実際に起こったことの本質です;タイムラインは世代分ずれていました。
理由を皆が見える場所に置いてください
人間とAIの両方の推論のための議論ツリー — 検査可能で、評価され、永久に記録される。
約 Argumentree Team
Decision Science
The Argumentree team is building the collaborative decision-making platform Argumentree. Our mission is to transform how organizations make, document, and learn from decisions.

