图灵奖的起源_图灵奖和诺贝尔奖西蒙_图灵奖中国人(6)

1975年度的图灵奖同时授予卡内基—梅隆大学的两位教授：赫伯特·西蒙(Herbert Alexander Simon)和艾伦·纽厄尔(Allen Newell)。他们曾是师生，后来成为极其亲密的合作者，共事长达42年，直至纽厄尔于1992年去世。

西蒙1916年6月15日生于美国威斯康辛州密西根湖畔。他从小聪明好学，当入学芝加哥大学时年方17。1936年他从芝加哥大学毕业，取得学学位。参加工作后广泛接触计算机并产生了浓厚兴趣。1939年，他转至加州大学伯克利分校，在那里完成了博士论文，经他的原母校芝加哥大学进行评审答辩，被授予学博。1949年他来到他的最后一个落脚点卡内基—梅隆大学。纽厄尔1927年生于旧金山。二战期间，曾在海军服了两年预备役，表现出色。战后他进入斯坦福大学学习物理，1949年获得学。之后他在暜林斯顿大学院攻读数学，一年后辍学到RAND公司工作，和空军合作开发早期预警系统。系统需要模拟在雷达显示屏前工作的操作人员在各种情况下的反应，这导致纽厄尔对“人如何思维”这一问题发生兴趣。也正是从这个课题开始，纽厄尔和卡内基—梅隆大学的西蒙建立起了合作关系。在合作过程中，纽厄尔所表现出的才能和创新精神深得西蒙赞赏，在西蒙的竭力推荐下，纽厄尔得以在卡内基—梅隆大学注册为，并在西蒙指导下完成其博士论文，于1957年获得博.并且他还提出了“中间结局分析法”作为求解人工智能问题的一种技术。利用这种方法，他们合作开发成功了最早的启发式程序“逻辑理论家”LT(LogicTheorist)和“通用问题求解器”。

LT证明了数学名著《数学原理》一书第二章52个定理中的38个定理（1963年对LT改进后可证明全部52个定理），从而也开创了机器定理证明（mechanicaltheoremproving）这一新的学科领域。在开发逻辑理论家的过程中，他们首次提出并成功应用了“链表”（list）作为基本的数据结构，并设计与实现了表处理语言IPL。IPL是所有表处理语言的始祖，也是最早使用递归子程序的语言。其实他们两人在人工智能中作出的最基本贡献还在于他们提出了“物理符号系统假说”PSSH(Pysical Symbol SystemHypothesis)，成为人工智能中影响最大的符号主义学派的创始人和代表人物，而这一学说则鼓励着人们对人工智能进行伟大的探索。根据这一假说，物理符号系统也就是对一般智能行为具有充分而必要手段的系统，即任一物理符号系统如果是有智能的，则必能执行对符号的输入、输出、存储、复制、条件转移和建立符号结构这样6种操作。反之，能执行这6种操作的任何系统，也就一定能表现出智能。依此推论：人是具有智能的，因此人是一个物理符号系统；计算机是一物理符号系统，因此它必具有智能；计算机能模拟人，或者说能模拟人的大脑。1956年夏天，西蒙和纽厄尔参加了著名的“达特茅斯会议”，他们和该会议的发起人麦卡锡和明斯基一起，被人称为“人工智能之父”。西蒙除和纽厄尔共获图灵奖外，还在1978年获诺贝尔经济学奖。1980年，被天津大学聘为名誉教授，并派出一些学者在西蒙指导下进行短期记忆方面的研究。

1994年度的图灵奖又由两位人工智能专家分享，其一是声名卓著的爱徳华 ·费根鲍姆(Edward AlbertFeigenbaum)；另一位是后起之秀劳伊 ·雷迪(RajReddy)。费根鲍姆1936年1月20日生于美国新泽西州，生父是波兰移民。费根鲍姆1952年进入卡内基—梅隆大学电气工程系，师从西蒙教授，并取得博。之后曾去英国国立物理实验室NPL工作过一段时间，回美国后进入斯坦福大学继续其人工智能的研究。费根鲍姆的重大贡献在于：通过实验和研究，证明了实现智能行为的主要手段在于知识，在多数实际情况下是特定领域的知识，从而最早倡导了“知识工程”(KnowledgeEngineering)，并使知识工程成为人工智能领域中取得实际成果最丰富、影响也最大的一个分支。知识工程的提出，使人工智能从理论走向应用，从基于推理为主的模型转向主要基于知识的模型，如果不说这是划时代的话，至少也是开创了一个新阶段。图灵奖的起源通常认为，凡是用自动机对知识进行获取、操作、利用的工程系统都可以称为知识工程。费根鲍姆本人，作为知识工程的倡导者和实践者，还和他人合作，开发出世界上第一个和多个专家系统程序。

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