图灵奖结论_图灵奖华人_图灵奖和诺贝尔奖西蒙(6)

1977年的图灵奖授予了世界上第1个高级程序设计语言FORTRAN和最广泛流行的元语言BNF的发明人约翰·巴克斯（JohnWarnerBackus）。

巴克斯1924年12月3日生于美国费城，青少年时代不爱学习，曾是纨绔子弟，被大学开除。1943年巴克斯参军入伍，当了一名下士。在此期间，巴克斯不经意地显露出他的聪明和才能，受到上级赏识，陆军决定送他上学深造。这样，当他的战友们都被送往二次大战战场上去的时候，巴克斯却上了哈弗福德学院的医学院预科。但巴克斯对医学不感兴趣，因此只学了九个月的医学就离开了那里，转到哥伦比亚大学学习数学。经过这番磨练，巴克斯已经从混沌走向清醒，开始正经学习。1949年他取得学。后来1个偶然的机会，他到IBM公司的计算中心参观，在那里见到了IBM早期的SSEC计算机。尽管SSEC体积庞大，比较原始，但看到现场的环境和气氛，立刻心里一亮：这正是他要找的工作！经考核通过后，巴克斯从此开始了在IBM公司的工作并做出了巨大贡献。

“人工智能”的创始人和开拓者

1969年的图灵奖授予了人称“人工智能之父”和框架理论的创立者—马文·明斯基(MarvinLeeMinsky）。

明斯基1927年8月9日生于纽约市。小学和中学，他对电子学和化学表现出兴趣。高中毕业后入伍。退伍后，1946年他进入哈佛大学主修物理，但他选修的课程相当广泛，从电气工程，数学，到遗传学等涉及多个学科，有一段时间他都还在心理学系参加过课题研究。后来他放弃物理改修数学，并于1950年毕业，之后进入暜林斯顿大学院深造。1951年他提出了关于思维如何萌发并形成的一些基本理论，并建造了一台学习机叫Snarc。Snarc是世界上第1个神经网络模拟器，其目的是学习如何穿过迷宫，其组成中包括40个“代理”（agent）。他以“神经网络和脑模型问题”为题完成了他的博士论文，1954年取得博。1958年，明斯基从哈佛转至MIT，与其他专家一起，他们在这里共同创建了世界上第1个人工智能实验室。1975年，明斯基首创了框架理论，框架理论的核心是以框架形式来表示知识。框架的顶层是固定的，表示固定的概念、对象、或事件。下层由若干槽（slot）组成，其中可填入具体值，以描述具体事物特征。利用多个有一定关联的框架组成框架系统，即可完整而确切地把知识表示出来。框架理论一经提出，在人工智能界引起巨大反响，成为通用的知识表示方法被广泛接受和应用。明斯基还把人工智能和机器人技术结合起来，开发出了世界上最早的能够模拟人活动的机器人RobotC，使机器人技术跃上了1个新台阶。明斯基还是虚拟现实的倡导者。

1971年的图灵奖授予了提出“人工智能”这一术语并使之成为1个重要学科领域的斯坦福大学教授约翰·麦卡锡(JohnMeCarthy）。

麦卡锡1927年9月4日生于波士顿。在上初中时，他就表现出是很高的天赋。1944年进入加州理工学院后曾免修两年数学，当时因战争环境他要在军队中充任1个小职员，占去了部分时间，仍得以在1948年按时完成学业。然后到暜林斯顿大学院深造，于1951年取得数学博。留校两年后，他先后去斯坦福大学和达特茅斯学院任教。1956年夏天他发起并成功举办了成为人工智能起点的有历史意义的“达特茅斯会议”，麦卡锡是东道主，并和会议参加者一起，满怀信心地宣布“人工智能”这一崭新学科的诞生。1958年麦卡锡到MIT任职，与明斯基一起组建了世界上第1个人工智能实验室，并第1个提出了将计算机的批处理方式改造成为能同时允许数十甚至上百用户使用的分时方式（time—sharing）的建议，推动了MIT成立组织开展研究。其结果就是实现了世界上最早的分时系统——基于IBM7094的CTSS和其后的MULTUCS。后来麦卡锡又回斯坦福并在那里组建了第二个人工智能实验室。在达特茅斯会议前后，麦卡锡的主要研究方向是计算机下棋。下棋程序的关键之一是如何减少计算机需要考虑的棋步。经艰苦探索，麦卡锡终于发明了著名的α-β搜索法，使搜索能有效进行。在该搜索法中，麦卡锡将结点的产生与求评价函数值（或称返上值或倒推值）两者巧妙地结合起来，从而使某些子树结点根本不必产生与搜索（这谓之“修剪”—pruning或cut—off），使下棋快速搜索能有效进行。α-β搜索法至今仍是解决人工智能问题中1种常用的高效方法。1959年，麦卡锡还开发了著名的LISP语言（LisiProcessinglanguage），成为人工智能界最广泛流行的语言，后已经证明，LISP的许多特点是解决人工智能核心问题的关键。

本文来自电脑杂谈，转载请注明本文网址：
http://www.pc-fly.com/a/tongxinshuyu/article-41251-6.html