ハーバート・サイモン（1916年-2001年）は、アメリカの経済学者、政治学者、コンピュータ科学者であり、初期の人工知能プログラムのいくつかを共同開発し、限定合理性の理論により1978年にノーベル経済学賞を受賞した。
論理理論家と初期のAI
サイモンは、アレン・ニューウェルおよびプログラマーのクリフ・ショーとともに、ランド研究所とカーネギーメロン大学で活動し、1955年から1956年にかけて論理理論家を共同開発した。これは、人間の問題解決を模倣するように設計された最初のプログラムとして広く認識され、しばしば最初の真の人工知能プログラムと呼ばれる。このプログラムは、アルフレッド・ノース・ホワイトヘッドとバートランド・ラッセルの『プリンキピア・マテマティカ』から定理を証明し、あるケースでは元の証明よりも短い証明を見つけた。サイモンとニューウェルは1956年のダートマス会議に出席し、そこでサイモンは「思考機械を発明した」と発表したと伝えられている。これは、この新しい分野の野心と論争の両方を捉えた、特徴的に大胆な主張であった。
限定合理性
サイモンの経済学上の業績は、古典派経済学における意思決定者が完全に合理的な最適化者であるという前提に挑戦した。彼は代わりに、人間であれ人工物であれ、実際の主体は限定合理性の下で行動すると主張した。すなわち、限られた情報、限られた計算能力、限られた時間により、意思決定者は「満足化」を余儀なくされ、証明可能な最適解ではなく、十分に良い選択肢を選ぶのである。この枠組みは、経済学に影響を与え、1978年のノーベル経済学賞をもたらしただけでなく、ヒューリスティック探索や制約下での意思決定に関する人工知能研究にも影響を与え、その考えは後の強化学習や、AIエージェントにおける資源制約のある計画に関する研究に反映されている。
一般問題解決器と認知科学
サイモンとニューウェルは、1957年に一般問題解決器を開発した。これは、領域固有のルールではなく汎用的なヒューリスティックを使用して、目標から逆算することで幅広い問題を解決することを意図したプログラムであり、後の計画システムの初期の前駆体となった。サイモンはまた、認知科学の創設者の一人であり、人間の認知自体が計算に匹敵する情報処理の一形態として理解できると主張した。これは、シンボリックAIのより広範なプロジェクトの中心となる立場である。
遺産
サイモンとニューウェルは、人工知能と認知心理学への貢献により1975年にチューリング賞を共同受賞し、サイモンはノーベル賞とチューリング賞の両方を持つ数少ない研究者となった。経済学、心理学、コンピュータ科学、行政学にまたがる彼の学際的なキャリアは、人間であれ機械であれ、知性が記号操作と探索の統一された現象として研究できるという初期の確信を体現していた。これは、一般的なAIアプローチの基盤となる前提であり、後に狭いデータ駆動型の機械学習手法へと取って代わられ、最終的には汎用人工知能に関する議論へとつながった。