艾伦·纽厄尔（1927-1992）是美国计算机科学家和认知心理学家，他与赫伯特·西蒙共同创建了最早的一些人工智能程序，并帮助在卡内基梅隆大学创立了认知科学领域。
逻辑理论家与兰德公司
纽厄尔的职业生涯始于兰德公司，在那里他研究复杂系统，并对人类如何解决问题产生了兴趣。他与赫伯特·西蒙及程序员克利夫·肖合作，帮助设计了逻辑理论家，该程序于1955-56年首次演示，通过启发式搜索而非蛮力计算来证明数学定理，常被视为第一个真正的人工智能程序。该团队在1956年的达特茅斯研讨会上展示了它，这次会议通常被视为人工智能作为学术领域的奠基事件。
通用问题求解器
1957年，纽厄尔、西蒙和肖开发了通用问题求解器（GPS），该程序试图将通用推理策略（特别是手段-目的分析）与领域特定知识分离开来，以便同一推理引擎原则上可应用于许多不同问题。尽管GPS实现真正通用性的雄心未能达成，因为它高度依赖于问题的表示方式，但它仍是早期有影响力的尝试，后来被视作迈向通用人工智能的一步，并塑造了随后数十年在符号人工智能中关于搜索和规划的研究。
认知架构与Soar
纽厄尔职业生涯的大部分时间在卡内基梅隆大学度过，在那里他追求“认知统一理论”的理念，即一个单一的计算架构能够解释人类认知行为的全部范围。这一努力最终催生了Soar，这是一种由约翰·莱尔德和保罗·罗森布鲁姆在1980年代开发的认知架构，在同一个集成系统中模拟推理、学习和记忆。Soar及相关的认知架构影响了后来关于集成式、目标导向系统的研究，这一脉络连接到了现代关于AI智能体的讨论，这些智能体结合了规划、记忆和工具使用。
遗产
纽厄尔和西蒙因对人工智能和人类认知心理学的奠基性贡献，于1975年共同获得图灵奖。纽厄尔于1987年在哈佛大学发表了著名的威廉·詹姆斯讲座，后来出版为《认知统一理论》（1990年），该书至今仍是研究者的试金石，他们主张智能应作为集成架构来研究，而非一系列独立、狭窄能力的集合，这一观点如今常与现代深度学习和大语言模型的规模驱动成功形成对比。