Page 302 - 信息的脉络
P. 302
·信息的脉络·
（Physical Symbol System Hypothesis），成为人工智能中影响最大的符号主义学派
的创始人和代表人物，而这一学说则鼓励着人们对人工智能进行伟大的探索。这
也是两人在人工智能中做出的最基本的贡献。不仅如此，西蒙还是 1978 年诺贝尔
经济学奖获得者。
11. 迈克尔·拉宾（Michael O. Rabin）
达纳·斯科特（Dana S. Scott）
贡献领域：非确定性自动机。
获奖年份：1976 年。
拉宾和达纳·斯科特共同发表了“有限自动机与其判定性问题”（Finite
Automata and Their Decision Problems）的论文，提出了非确定自动机的观点，被
证明是（计算理论科学研究中的）一个非常重要的概念。拉宾和斯科特的这篇经
典论文成为这个领域后续研究的源泉。
12. 约翰·巴克斯（John Backus）
贡献领域：高级编程系统，程序设计语言规范的形式化定义。
获奖年份：1977 年。
他提出了 BNF（用来定义形式语言语法的记号法），发明函数式编程这个概
念及实践该概念的计划生育语言，被誉为“Fortran 语言之父”。
13. 罗伯特·弗洛伊德（Robert W. Floyd）
贡献领域：设计高效可靠软件的方法学。
获奖年份：1978 年。
前后断言法的创始人，堆排序算法和 Floyd-Warshall 算法的创始人之一，FPL
（Floyd-Evans Production Language）语言发明者之一，FPL 用来编写计算机语言
的语法分析程序。
14. 肯尼斯·艾弗森（Kenneth E. Iverson）
贡献领域：程序设计语言和数学符号，互动系统的设计，运用 APL 进行教学，
程序设计语言的理论与实践。
获奖年份：1979 年。
他发展了一套数学表达式来操作阵列，以便教授学生。在 IBM 工作时，他开
发的数学表达式建立了 APL 语言。
• 286 •
