艾伦·纽厄尔（Allen Newell）

艾伦·纽厄尔（Allen Newell，1927—1992）是美国计算机科学家与认知心理学家，人工智能学科的开创者之一，1975 年图灵奖得主。

概述

纽厄尔与经济学家、心理学家赫伯特·西蒙是长期合作伙伴。20 世纪 50 年代，两人在兰德公司和卡内基梅隆大学合作，开发了逻辑理论家（Logic Theorist）——被认为是历史上第一个人工智能程序，能够自动证明数学定理。随后他们又研制了通用问题求解器（GPS），试图用统一的搜索方法模拟人类解题过程。纽厄尔晚年提出统一认知理论并开发了 Soar 认知架构，试图为智能行为建立一个通用的计算模型。

核心贡献

• 逻辑理论家：首个自动定理证明程序，标志着人工智能的诞生。
• 物理符号系统假说：与西蒙共同提出，认为符号操作系统具备产生智能行为的必要且充分条件。
• Soar 认知架构：一个试图统一解释人类认知与智能行为的计算框架。

应用场景

纽厄尔的思想深刻影响了人工智能的符号主义流派。启发式搜索、问题空间、产生式规则等概念广泛应用于规划、专家系统与自动推理。Soar 等认知架构则被用于智能体、机器人控制和认知建模研究。

常见问题

问：什么是物理符号系统假说？答：它主张一个能够操作符号的系统，只要具备足够的符号处理能力，就有可能表现出通用智能，是符号主义人工智能的理论基石。

问：纽厄尔和西蒙谁更偏计算机？答：纽厄尔更偏计算机科学与系统实现，西蒙则跨越经济学、心理学与决策科学，两人长期互补合作，共同获得图灵奖。