アレン・ニューウェル(1927年3月19日- 1992年7月19日)は、ランド研究所およびカーネギーメロン大学のコンピュータ科学部、テッパー経営大学院、心理学部でコンピュータ科学と認知心理学を研究したアメリカ人研究者である。彼はハーバート・A・サイモン、クリフ・ショーとともに情報処理言語(1956年)と、初期の人工知能プログラムであるロジック・セオリスト(1956年)とジェネラル・プロブレム・ソルバー(1957年)に貢献した。彼とサイモンは、人工知能と人間の認知心理学への貢献により、1975年にACMチューリング賞を受賞した。 [ 1 ] [ 2 ]
ニューウェルは1949年にスタンフォード大学で物理学の学士号を取得した。同年から1950年にかけてプリンストン大学の大学院生として数学を専攻した。ゲーム理論という当時まだ知られていなかった分野に早くから触れたこと、そして数学の研究を通して得た経験から、純粋数学よりも実験と理論を組み合わせた研究の方が自分には合っていると確信するようになった。
1950年、彼はプリンストン大学を離れ、サンタモニカのランド研究所に入所し、「空軍の兵站問題を研究するグループ」で働いた。[ 2 ]ジョセフ・クラスカルとの共同研究により、「組織理論のモデル」と「組織理論における精密な概念の定式化」という2つの理論が生まれた。ニューウェルは最終的に、ハーバート・サイモンを指導教官として、現在のカーネギーメロン大学テッパー・スクール・オブ・ビジネスで博士号を取得した。
その後、ニューウェルは「小集団における意思決定に関する実験室実験の設計と実施」に着手した。[ 2 ]しかし、小規模な実験室実験から得られた結果の正確性と妥当性に満足できなかった。彼は、ランド研究所の同僚であるジョン・ケネディ、ボブ・チャップマン、ビル・ビールと共に、空軍早期警戒基地で飛行乗務員の組織プロセスを研究した。彼らは1952年に空軍から資金提供を受け、コックピット内での意思決定と情報処理に関連する相互作用を調査・分析できるシミュレーターを構築した。これらの研究から、ニューウェルは情報処理が組織における中心的な活動であると考えるようになった。[ 3 ]
1954年9月、ニューウェルはセミナーに参加し、そこでオリバー・セルフレッジが「文字やその他のパターンを認識することを学習する実行中のコンピュータプログラム」について説明した。[ 2 ]この時、アレンは、システムは作成可能であり、知能を持ち、適応能力を持つ可能性があると考えるようになった。この考えに基づき、アレンは数か月後の1955年に『チェスマシン:適応による複雑なタスクへの対処例』を執筆し、「人間のようにチェスをプレイするコンピュータプログラムの独創的な設計の概要」を示した。[ 2 ]
彼の研究は経済学者(後にノーベル賞を受賞)のハーバート・A・サイモンの目に留まり、プログラマーのJC・ショーと共に、最初の真の人工知能プログラム[ 4 ](注を参照)であるロジック・セオリストを開発した。ニューウェルのこのプログラムに関する研究は、この分野の基礎を築いた。彼の発明には、それ以来AIで使用されている最も重要なプログラミングパラダイムであるリスト処理、一般的な推論(または「探索としての推論」)への手段目的分析の適用、探索空間を制限するためのヒューリスティクスの使用などがある。
彼らは1956年のダートマス会議でこのプログラムを発表した。この会議は、機械で知能をシミュレートすることに関心のある研究者たちの非公式な集まりだった。現在では「人工知能の誕生」として広く認識されているこの会議[ 5 ]は、非常に大きな影響力があり、出席者はニューウェルを含め、その後20年間のAI研究のリーダーとなった。
ニューウェルとサイモンは、長きにわたるパートナーシップを築いた。彼らはカーネギーメロン大学に人工知能研究所を設立し、1950年代後半から1960年代にかけて、一連の重要なプログラムと理論的洞察を生み出した。この業績には、手段目的分析の非常に影響力のある実装である汎用問題解決プログラム( General Problem Solver)や、ニューウェルのプログラムが示したような記号操作にすべての知的行動を還元できるという、物議を醸した哲学的主張である物理記号システム仮説などが含まれる。
ニューウェルの研究は、 Soarとして知られる認知アーキテクチャの開発と、1990年に発表された彼の統一認知理論で頂点に達したが、それらの改良は彼の死に至るまでの努力の目標であった(ニューウェルの最後の書簡の1つは、Wayback Machineに2011年5月14日にアーカイブされている)。彼が始めた認知アーキテクチャの分野は、人工知能と計算認知科学の両方のコミュニティで今も活発である。[ 6 ]
ACM -AAAIアレン・ニューウェル賞は、彼の功績を称えて名付けられた。カーネギーメロン大学コンピュータサイエンス学部の研究優秀賞も、彼の功績を称えて名付けられた。
[ i ]ロジックセオリストは通常、最初の真のAIプログラムと考えられていますが、アーサー・サミュエルのチェッカープログラムはそれより前にリリースされました。クリストファー・ストラッチーも1951年にチェッカープログラムを作成しました[ 18 ]