Allen Newell
Allen Newell
American computer and cognitive scientist at Carnegie Mellon — founder of symbolic AI
Newell’s partnership with Herbert Simon is one of the longest-running collaborations in the history of AI (1954–1992). They jointly received the 1975 ACM Turing Award for foundational contributions to AI, the symbolic system theory of cognition, the invention of list processing, and for conceiving of the computer as a system that manipulates symbol structures.
Allen Newell
简介
Allen Newell（1927–1992），美国计算机科学家与认知科学家，卡内基梅隆大学教授。
1975 年与 Herbert A. Simon 共同获得 ACM 图灵奖，获奖理由涵盖：人工智能的奠基贡献、认知心理学的符号系统理论、表处理（List Processing）的发明、以及将计算机概念化为操纵符号结构的系统。
核心贡献
与 Simon 的长期合作（1954–1992）
Newell 与 Simon 的合作是 AI 史上持续时间最长、影响最深远的学术伙伴关系之一，初期在 RAND 公司与 J.C. Shaw 共同进行，后移至卡内基梅隆大学。
主要成果：
- Logic Theorist（1955–56）：首个能证明数学定理的 AI 程序，证明了《数学原理》前52条定理中的38条
- General Problem Solver（GPS）（1957）：形式化手段-目的分析，提取跨任务域的通用问题求解机制
- LISP 影响：Newell 与 Simon 的表处理工作直接启发了 McCarthy 的 LISP
- 信息处理心理学：将符号系统模型应用于人类认知研究，奠定认知科学的计算框架
物理符号系统假说（1976）
与 Simon 共同发表图灵奖讲座，提出物理符号系统假说——计算机科学最基本的定性结构律：
“一个物理符号系统具备通用智能行为的充分必要条件。“
统一认知理论（SOAR，1987–）
Newell 晚年致力于构建统一认知理论（Unified Theory of Cognition），其主要实现是 SOAR 系统——一个基于问题空间的通用认知架构，将人类认知的所有方面（学习、规划、决策）整合到单一框架中。
1990 年出版《统一认知理论》（Unified Theories of Cognition），被视为认知科学的重要里程碑。
与本 wiki 的关联
| 论文/成果 | 在 wiki 中的意义 |
|---|---|
| PSSH（1976） | 物理符号系统假说的奠基 |
| GPS（1957） | 手段-目的分析的形式化 |
| 问题空间理论 | 问题空间概念的理论基础 |
| 启发式搜索 | 启发式搜索的系统研究 |
关联实体
- Herbert A. Simon — 长期合作者，1975 年图灵奖共同获奖人
References
- Newell, A., & Simon, H. A. (1976). “Computer Science as Empirical Inquiry: Symbols and Search.” Communications of the ACM, 19(3), 113–126. 摘要:
sources/newell-simon-computer-science-empirical-inquiry-1975.md - Newell, A. (1990). Unified Theories of Cognition. Harvard University Press.