Page 307 - 信息的脉络
P. 307
·附录：群星闪耀的年代·
况下是特定领域的知识，从而最早倡导了知识工程（Knowledge engineering），并
使知识工程成为人工智能领域中取得实际成果最丰富、影响也最大的一个分支。
30. 曼纽尔·布卢姆（Manuel Blum）
贡献领域：计算复杂度理论，及其在密码学和程序校验上的应用。
获奖年份：1995 年。
在普林斯顿举行的第五届开关电路理论和逻辑设计学术年会上发表了论文
《Computational complexity of recursive sequences（递归序列的计算复杂性）》，
论文中首次使用了“计算复杂性”这一术语，由此开辟了计算机科学中的一个新
领域，并为之奠定了理论基础。
31. 阿米尔·伯努利（Amir Pnueli）
贡献领域：时序逻辑，程序与系统验证。
获奖年份：1996 年。
在计算机科学中引入时序逻辑的开创性的研究工作，和其在编程语言和系统
验证方面的突出贡献。
把时态逻辑引入计算机科学，线性时态逻辑是对普通命题逻辑（propositional
logic）的扩充，但这一扩充却意义重大，因为这使系统具有了处理随时间变化而
改变其值的动态变元（称为时序或时态变元）的能力。
在时态逻辑中，时间的结构可以有线性、分支、离散、连续，基于时间点或
时区的这样几种不同情况，可视具体应用背景而定。
32. 道格拉斯·恩格尔巴特（Douglas Engelbart）
贡献领域：交互计算。
获奖年份：1997 年。
鼠标之父，人机交互的先锋，开发了超文本系统、网络计算机以及图形用户
界面的先驱；并致力倡导运用计算机和网络，来协同解决世界上日益增长的紧急
而又复杂的问题。
33. 詹姆斯·尼古拉·格雷（James Gray）
贡献领域：数据库与事务处理。
获奖年份：1998 年。
格雷在事务处理技术上的创造性思维和开拓性工作，使他成为该技术领域公
认的权威。他的研究成果反映在他发表的一系列论文和研究报告之中，事务处理
• 291 •
