アレン・ニューウェル（1927年-1992年）は、アメリカの計算機科学者であり認知心理学者で、ハーバート・サイモンとともに、初期の人工知能プログラムのいくつかを共同で開発し、カーネギーメロン大学における認知科学の分野の創設に貢献した。
論理理論家とランド研究所
ニューウェルはランド研究所でキャリアを開始し、複雑なシステムに取り組む中で、人間がどのように問題を解決するかに興味を持つようになった。ハーバート・サイモンとプログラマーのクリフ・ショーと協力し、1955年から56年にかけて初めて実演された論理理論家の設計に貢献した。これは、力任せの計算ではなくヒューリスティック探索を用いて数学の定理を証明するプログラムであり、しばしば最初の本格的な人工知能プログラムとして引用される。チームは1956年のダートマス会議でこれを発表した。この会議は、AIが学術分野として成立した創設イベントとして慣例的に扱われている。
一般問題解決器
1957年、ニューウェル、サイモン、ショーは一般問題解決器（GPS）を開発した。これは、特に手段-目標分析といった汎用的な推論戦略を、領域固有の知識から分離し、同じ推論エンジンを原理的には多くの異なる問題に適用できるようにすることを試みたものである。GPSの真の汎用性への野心は、問題の表現方法に大きく依存していたため実現されなかったが、後に汎用人工知能への一歩として認識されることになる初期の影響力のある試みであり、その後の記号的AIにおける探索と計画に関する数十年にわたる研究を形作った。
認知アーキテクチャとSoar
ニューウェルはキャリアの大半をカーネギーメロン大学で過ごし、人間の認知行動の全範囲を説明できる単一の計算アーキテクチャである「認知の統一理論」という考えを追求した。この取り組みは、1980年代にジョン・レアードとポール・ローゼンブルームとともに開発した認知アーキテクチャであるSoarに結実し、推論、学習、記憶を単一の統合システム内でモデル化した。Soarと関連する認知アーキテクチャは、後の統合的で目標指向的なシステムに関する研究に影響を与え、その系譜は、計画、記憶、ツール使用を組み合わせたAIエージェントに関する現代の議論につながっている。
遺産
ニューウェルとサイモンは、人工知能と人間の認知心理学への基礎的な貢献により、1975年に共同でチューリング賞を受賞した。ニューウェルは1987年にハーバード大学で権威あるウィリアム・ジェームズ講義を行い、後に『認知の統一理論』（1990年）として出版された。この著作は、知能は個別の狭い能力の集合ではなく、統合されたアーキテクチャとして研究されるべきだと主張する研究者たちにとっての試金石であり続けており、この見解は現在、現代の深層学習と大規模言語モデルの規模主導の成功としばしば対比されている。