[AIストーリー] 人工知能の決定的人物 (5) サイモンとニューウェルの素晴らしい組み合わせ

2024-07-17

シリーズの第5回目では、初期の人工知能を共に開拓したハーバート・サイモンとアラン・ニューウェルに注目します。シリーズの過去の内容をまだチェックしていないなら、最初に読むことをおすすめします。

‍[AIストーリー] 人工知能のキーフィギュア (1) アラン・チューリング

【AIストーリー】人工知能の決定的人物（2）ディープラーニングの創始者ウォルター・フィッツ

[AIストーリー] 人工知能の決定的人物 (3) 人工知能の創始者ジョン・マッカーシー

[AIストーリー] 人工知能のキーフィギュア (4) ディープラーニングのパイオニア、ローゼンブラット

‍

ハーバート・アレクサンダー・サイモン (1916.6.15.~2001.2.9.) とアレン・ニューウェル (1927.3.19.~1992.7.19) は、人工知能の初期のパイオニアです。共同作業を通じて、初期の人工知能のための主要なプログラムを共同開発しました。司祭であり運命のパートナーでもあった二人が、共に重要な功績を成し遂げたお話を紹介します。

ハーバート・サイモンとアラン・ニューウェル、二人の運命的な出会い

‍

アラン・ニューウェルとハーバート・サイモンソース

‍

ハーバート・サイモンは、1978年にノーベル経済学賞を受賞した経済学者です。しかし、経済学以外にも、政治学、経営学、組織学、認知科学、コンピューターサイエンスなど、さまざまな分野も学びました。彼はルネッサンス時代の人物でもあり、多才だったので、これらすべての分野に大きな影響を与えました。

‍

サイモンは、人間の認知能力の限界を見落とし、合理性のみに焦点を当てていた当時の主流派経済学を批判しました。その代わり、彼は人間の知性の限界を指摘した「限定的合理性」*という概念を提案しました。これは、私たちの脳で行われている意思決定プロセスへの洞察であり、初期の人工知能プログラムを後のマニュアルで開発するための基礎となります。また、心理学と経済学を組み合わせた革新的な見方でもあり、後に行動経済学へと発展しました。

‍

一方、アラン・ニューウェルはスタンフォード大学とプリンストン大学で数学を学びました。無数のシステムによって生み出される美しい数学の世界にどっぷり浸かりました。しかし、後にサイモンと同じように、彼の興味や目標は変わり、コンピューターサイエンスと認知心理学を学びました。

‍

数学を学んでいたニューウェルは、ゲーム理論**に出会い、純粋数学よりも実験と理論が出会う分野が好きだと気づきました。その後、サンタモニカのランド研究所で空軍の物流問題を研究していたとき、コンピューターサイエンスに夢中になりました。その後、ここに関わっていたハーバート・サイモンと付き合いを持ち、後に彼の指導のもとで博士号を取得しました。***

こうして、サイモンとニューエルは、将来一緒に多くのことをする運命にあるパートナーに出会いました。

論理理論家（LT）および一般問題解決者（一般問題解決者）

バートランド・ラッセルの『プリンキピア・マセマティカ（Principia Mathematica）』を見たサイモンは、ここに提示された定理を証明するプログラムを作成することにしました。もちろん、アラン・ニューウェルもこの研究に参加し、最初の人工知能プログラム「Logic Theorist」を作成しました。その結果、彼らは「数学的原理」の定理（定理）を証明し、機械が論理的推論を行うことができることを示しました。****

‍

論理理論家に関する報告、ソースおよびプログラムフローチャート、ソース

‍

論理理論家は、後に人工知能研究に重要な影響を与えた重要な概念を提案しました。これは、かつて人工知能研究の主流となったエキスパートシステム開発の基礎となっています。私たちは、一般に「IF-THEN-ELSE」という形で表現されるルールを提供することで、マシンが情報を論理的に処理できるようにするアルゴリズムを作成しました。」******

その後、2人は「ジェネラル・プロブレム・ソルバー」というプログラムを作成しました。それは人間の問題解決方法をまねてすべての問題を解決しようとする汎用プログラムでした。人間らしいアプローチをとった最初のプログラムとして評価されたが、現実の複雑な問題をすべて解決できないという限界があった。全部は入力できないという人間の経験からくるケース数や常識をすべてプログラムすることはできませんでした。*******