01 · 计算人生
成果背后的人
艾伦·纽厄尔通过构造模拟问题求解的程序研究智能。他与赫伯特·西蒙等合作者开发了“逻辑理论家”和“通用问题求解器”。他的研究把信息处理作为理解人类认知与机器推理的共同框架。他在卡内基梅隆推动计算机科学和认知科学的发展，后来继续探索 Soar 等综合认知架构。
理解这项贡献
艾伦·纽厄尔和赫伯特·西蒙与 J. C. 肖等人一起，用符号表示问题，并在可能的解法中搜索。他们的研究连接了人工智能与认知心理学，也推动了列表处理。程序既可以解决问题，也可以成为关于思维过程的明确假说。
为什么重要
启发式搜索使某些庞大的问题空间能够被处理，也让认知理论获得可检验的形式。