アレン・ニューウェル
ニューウェルとサイモンはしばらく共同研究を続けた。彼らはカーネギーメロン大学に人工知能研究所を創設し、1950年代末から1960年代にかけて一連の重要なプログラムを生み出し、理論的洞察ももたらした。例えば、General Problem Solver は手段目標分析の実装例として大きな影響を及ぼし、あらゆる知的行動がニューウェルのプログラムが行っているような記号操作に還元されるという哲学的主張「物理記号システム仮説(英語版)」を提唱した。
Soar (1973) という認知アーキテクチャは、『認知の統一理論』(UTC)という著作 (1990) を執筆する過程でニューウェルが具体化したものである。ニューウェルは死ぬまでその改良に務めた。