艾伦·纽厄尔

概况

艾伦·纽厄尔（Allen Newell，1927—1992）是美国计算机科学家与心理学家，一生想把「人的思维是怎样进行的」写成可以由机器执行的程序。他1927年3月19日生于加利福尼亚州旧金山，1992年7月19日卒于宾夕法尼亚州匹兹堡^[1]。1961年至1992年，他担任卡内基梅隆大学计算机科学与心理学教授^[1]，这个横跨两个系的双聘职位本身就体现了他的主张：人工智能与关于思维的心理学，是同一个问题的两条路径^[1]。

教育与早期研究

纽厄尔1949年在斯坦福大学获物理学学士学位，1957年在卡内基理工学院工业管理研究生院获博士学位^[1]。1950年至1961年，他在兰德公司（RAND Corporation）工作^[1]。那正是数字计算机刚刚对研究者可用、人们还在追问这种机器究竟能做什么的年代。

会推理的程序

纽厄尔与赫伯特·西蒙（Herbert A. Simon）、J. C. Shaw 一起，开发了最早的列表处理语言 IPL，以及两个启发式问题求解程序——「逻辑理论家」（Logic Theorist）和「通用问题求解器」（General Problem Solver）^[1]。这三样东西是配套的。列表处理把计算机内存组织成一条条可以加长、截短、改接的符号链，而不是固定的数字格子；程序因此能够把对象、关系和目标当作可以拆开再装回去的数据来处理。启发式则是「通常管用、但不保证成功」的经验规则，它让程序不必逐一试遍所有可能，而先去试看起来有希望的那几步。

逻辑理论家把这一套用在符号逻辑的推理上：它把证明看成在可能步骤之间走的一条路径，用启发式决定下一步往哪走。通用问题求解器追求的是通用性：它不是为某一类任务写的程序，而是试图找到一套共同的问题求解机制，换一类任务照样能用。它的典型做法是拿当前状态与目标比较，找出两者的差距，再寻找能缩小这个差距的操作，这种方法通常称为手段—目的分析（means-ends analysis）。它背后的雄心——少数几种机制或许就能解释许多领域里的问题求解——成为此后该领域一个长久的框架。

任职经历

纽厄尔的职业生涯主要落在两个机构。1950年至1961年他在兰德公司，随后从1961年到1992年去世，一直在卡内基梅隆大学，担任计算机科学与心理学的双聘教授^[1]。也正是在这同一段时期，他的工作得到了一连串荣誉的承认。

获奖与荣誉

1971年，他获得美国信息处理学会联合会（AFIPS）颁发的哈里·古德纪念奖（Harry Goode Memorial Award）；1972年当选美国国家科学院院士^[1]。1975年，他与赫伯特·西蒙共同获得美国计算机学会（ACM）的图灵奖（A.M. Turing Award）^[1]。1980年当选美国国家工程院院士，同年出任美国人工智能协会（American Association for Artificial Intelligence）首任主席^[1]。1981年，他作为首批获奖者之一获得 IEEE 计算机学会的计算机先驱奖（Computer Pioneer Award）；1989年获国际人工智能联合会议（IJCAI）研究卓越奖^[1]。1992年，他获得美国国家科学奖章；ACM 与 AAAI 设立的艾伦·纽厄尔奖（ACM/AAAI Allen Newell Award）以他的名字命名^[1]。

他追问的问题

纽厄尔把自己一生的驱动性问题表述为：「人的心智如何出现在物理宇宙之中。」^[1] 列表处理语言、启发式搜索程序，以及在计算机科学与心理学之间的双聘职位，都属于同一个计划：把思维说得足够精确，精确到可以让机器去做；而当描述失败时，再从机器那里学到东西。