2006年1月:人工智能50年 《IT史记》 《IT史记》 方兴东博客2.0——从大教堂到...

来源:百度文库 编辑:神马文学网 时间:2024/05/23 10:26:20
2006年1月:人工智能50年
分类:《IT史记》

Herbert A. Simon和Allen Newell,以及他们规划的草案
50年前,Carnegie的科学家Allen Newell和Herbert A. Simon在圣诞期间发明了第一个人工智能(AI)装置。1956年在达特茅斯学院大会,John McCarthy、Marvin Minsky、Allen Newell和Herbert Simon“人工智能四大师”将人工智能定为一门正式的学科。目标是理解智 能行为的原理和机制。1971年的图灵奖授予了提出“人工智能”这一术语并使之成为一个重要学科领域的斯坦福大学教授约翰·麦卡锡 (John MeCarthy)。1969年的图灵奖授予了人称“人工智能之父”和框架理论的创立者—马文·明斯基(Marvin Lee Minsky)。
作为人工智能三大学术流派之一,Allen Newell和Herbert A. Simon创建了符号主义(Symbolism),基于逻辑推理的智能模拟,模拟人类求解问题的心理过程。
1975年Allen Newell和Herbert A. Simon获得图灵奖,获奖原因是:由于在人工智智能、人类识别心理和表处理的基础贡献。1978年,两人还获诺贝尔经济学奖。
两位获奖者介绍地址:
http://www.acm.org/awards/citations/newell.html
http://www.acm.org/awards/citations/simon.html
附录更详细的背景介绍资料:
1975年度的图灵奖同时授予卡内基—梅隆大学的两位教授:赫伯特·西蒙(Herbert Alexander Simon)和艾伦 · 纽厄尔(Allen Newell)。他们曾是师生,后来成为极其亲密的合作者,共事长达42年,直至纽厄尔于1992年去世。
西蒙1916年6月15日生于美国威斯康辛州密西根湖畔。他从小聪明好学,当入学芝加哥大学时年方17。1936年他从芝加哥大学毕业,取得政治学学位。参加工作后广泛接触计算机并产生了浓厚兴趣。1939年,他转至加州大学伯克利分校,在那里完成了博士论文,经他的原母校芝家哥大学进行评审答辩,被授予政治学博士学位。1949年他来到他的最后一个落脚点卡内基—梅隆大学。纽厄尔1927年生于旧金山。二战期间,曾在海军服了两年预备役,表现出色。战后他进入斯坦福大学学习物理,1949年获得学士学位。之后他在暜林斯顿大学研究生院攻读数学,一年后辍学到RAND公司工作,和空军合作开发早期预警系统。系统需要模拟在雷达显示屏前工作的操作人员在各种情况下的反应,这导致纽厄尔对“人如何思维”这一问题发生兴趣。也正是从这个课题开始,纽厄尔和卡内基—梅隆大学的西蒙建立起了合作关系。在合作过程中,纽厄尔所表现出的才能和创新精神深得西蒙赞赏,在西蒙的竭力推荐下,纽厄尔得以在卡内基—梅隆大学注册为研究生,并在西蒙指导下完成其博士论文,于1957年获得博士学位. 并且他还提出了“中间结局分析法”作为求解人工智能问题的一种技术。利用这种方法,他们合作开发成功了最早的启发式程序“逻辑理论家”LT(LogicThorist)和“通用问题求解器”。LT证明了数学名著《数学原理》一书第二章52个定理中的38个定理(1963年对LT改进后可证明全部52个定理),从而也开创了机器定理证明(mechanical theorem proving)这一新的学科领域。在开发逻辑理论家的过程中,他们首次提出并成功应用了“链表”(list)作为基本的数据结构,并设计与实现了表处理语言IPL。IPL是所有表处理语言的始祖,也是最早使用递归子程序的语言。其实他们两人在人工智能中作出的最基本贡献还在于他们提出了“物理符号系统假说”PSSH (Pysical Symbol System Hypothesis),成为人工智能中影响最大的符号主义学派的创始人和代表人物,而这一学说则鼓励着人们对人工智能进行伟大的探索。根据这一假说,物理符号系统也就是对一般智能行为具有充分而必要手段的系统,即任一物理符号系统如果是有智能的,则必能执行对符号的输入、输出、存储、复制、条件转移和建立符号结构这样6种操作。反之,能执行这6种操 作的任何系统,也就一定能表现出智能。依此推论:人是具有智能的,因此人是一个物理符号系统;计算机是一物理符号系统,因此它必具有智能;计算机能模拟人,或者说能模拟人的大脑。
1956年夏天,西蒙和纽厄尔参加了著名的“达特茅斯会议”,他们和该会议的发起人麦卡锡和明斯基一起,被人称为“人工智能之父”。西蒙除和纽厄尔共获图灵奖外,还在1978年获诺贝尔经济学奖。1980年,被天津大学聘为名誉教授,并派出一些学者在西蒙指导下进行短期记忆方面的研究。