人工智能绪论 三

绪论很早人类就有制造机器人的幻想黄帝的“指南车”诸葛亮的“木牛流马”亚里士多德的形式逻辑布莱尼茨的关于数理逻辑的思想“机器人”一词的来源1什么是人工智能（1）20世纪的信息技术，尤其是计算机的出现，以机器代替或减轻人的脑力劳动，形成人工智能新兴学科。1956年四位年轻学者：JohnMcCarthy、MarvinMinsky、NathanielRochester和ClaudeShannon共同发起和组织召开了用机器模拟人类智能的夏季专题讨论会。会议邀请了包括数学、神经生理学、精神病学、心理学、信息论和计算机科学领域的10名学者参加，为期两个月。此次会议是在美国的Dartmouth召开，有时称为Dartmouth夏季讨论会。会议上，科学家们运用数理逻辑和计算机的成果，提供关于形式化计算和处理的理论，模拟人类某些智能行为的基本方法和技术，构造具有一定智能的人工系统，让计算机去完成需要人的智力才能胜任的工作。在Dartmouth夏季讨论会上，约翰·麦卡锡提议用人工智能（artificialintelligence）作为这一交叉学科的名称，标志着人工智能学科的诞生，具有十分重要的意义。2什么是人工智能？至今没有统一的定义从“计算”到“算计”3像人一样思考的系统理性地思考的系统“要使计算机能够思考..….意思就是：有头脑的机器”（Haugeland,1985）“与人类的思维相关的活动，诸如决策、问题求解、学习等活动”（Bellman,1978）“通过利用计算模型来进行心智能力的研究”（Chamiak和McDermott,1985）“对使得知觉、推理和行为成为可能的计算的研究”（Winston,1992）像人一样行动的系统理性地行动的系统“一种技艺，创造机器来执行人需要智能才能完成的功能”（Kurzweil,1990）“研究如何让计算机能够做到那些目前人比计算机做得更好的事情”（Rich和Knight,1991）“计算智能是对设计智能化智能体的研究”（Poole等，1998）“AI..….关心的是人工制品中的智能行为”（Nilsson,1998）4图灵测试如何知道一个系统是否具有智能呢？“Canmachinesthink?”1950年，计算机科学家图灵提出了著名的“图灵测试”。5何谓人工智能（二）

----Turing测试测试主持人被测机器被测人小于50%？按照图灵检验，该电脑和某个人类的代表都躲开到检验者的视线之外。检验者必须根据向他们双方提出问题，来判定谁是电脑谁是人类。6希尔勒的中文屋子中文房间（Chineseroom，theChineseroomargument）又称作华语房间是由美国哲学家约翰·希尔勒（JohnSearle）在1980年设计的一个思维试验以推翻强人工智能（机能主义）提出的过强主张：只要计算机拥有了适当的程序，理论上就可以说计算机拥有它的认知状态以及可以像人一样地进行理解活动。7希尔勒的中文屋子其实验可表示为：一个人手中拿着一本象形文字对照手册，身处图灵实验中所提及的房子中。而另一人则在房间外向此房间发送象形文字问题。房间内的人只需按照对照手册，返回手册上的象形文字答案，房间外的人就会以为房间内的人是个会思维的象形文字专家。然而实际上房子内的人可能对象形文字一窍不通，更谈不上什么智能思维。8910希尔勒的中中文屋子机器是否真真的理解了了呢？希尔勒的中中文屋子问题：通过过了图灵测测试就具有有了智能吗吗？思考题：如如何理解希希尔勒的中中文屋子？？11AI的本质质问题研究如何制制造出人造造的智能机机器或系统统，来模拟拟人类智能能活动的能能力，以延延伸人们智智能的科学学。12孕育期（1943－－1955）自远古以来来，人类就就有用机器器代替人们们脑力劳动动的的幻想想：公元前900多年我我国有歌舞舞机器人流流传的记载载；公元前前850年年古希腊有有制造机器器人帮助人人们劳动的的神话传说说亚里斯多德德（Aristotle，公公元前384——322）：：古希腊伟大大的哲学家家和思想家家，创立了了演绎法。。他提出的的三段论至至今仍然是是演绎推理理的最基本本出发点。。莱布尼茨(G.W.Leibnitz，1646——1716)：德国数学家家和哲学家家把形式逻逻辑符号化化，奠定了了数理逻辑辑的基础图灵(A.M.Turing，1912——1954)：英国数学家家，1936年创立立了自动机机理论，自自动机理论论亦称图灵灵机，是一一个理论计计算机模型型。莫克利(J.W.Mauchly，1907———1980)：美国数学家家、电子数数字计算机机的先驱，，与他的研研究生埃克克特(J.P.Eckert)合作，，1946年研制成成功了世界界上第一台台通用电子子计算机ENIAC13孕育期（1956年年以前）麦克洛奇(W.McCulloch)和皮兹(W.Pitts)：美国神经生生理学家，，于1943年建成成了第一个个神经网络络模型(MP模型)。维纳(N.Wiener，1874——1956)：美国著名数数学家、控控制论创始始人。1948年创创立了控制制论。控制制论向人工工智能的渗渗透，形成成了行为主主义学派。。图灵又于1950年年，发表题为《《计算机能能思维吗？？》的著名名论文，明明确提出了了“机器能能思维”的的观点。可见，在人工智能能诞生之前前，一些著著名科学家家就已经创创立了数理理逻辑、神神经网络模模型和控制制论，并发发明了通用用电子数字字计算机。。为人工智智能的诞生生准备了必必要的思想想、理论和和物质技术术条件。14诞生期（1956--1970年）(1/3)AI诞生于于一次历史史性的聚会会时间：1956年年夏季地点：达特莫斯(Dartmouth)大大学目的：为使计算机机变得更““聪明”，，或者说说使计算机机具有智能能发起人：麦卡锡(J.McCarthy），，Dartmouth的年轻轻数学家、、计算机专专家，后为为MIT教教授明斯基(M.L.Minsky），哈哈佛大学数数学家、神神经学家，，后为MIT教授洛切斯特(N.Lochester)，IBM公司信信息中心负负责人香农(C.E.Shannon)，贝贝尔实验室室信息部数数学研究员员参加人：莫尔(T.more)、塞缪缪尔(A.L.Samuel)，IBM公司司塞尔夫里奇奇(O.Selfridge)、索罗罗蒙夫(R.Solomonff)，，MIT纽厄尔(A.Newell)，兰德(RAND)公司西蒙(H.A.Simon)，卡内基基(Carnagie)工科科大学会议结果：：由麦卡锡提提议正式采采用了“ArtificialIntelligence”这这一术语15诞生期（1956--1970年）(2/3)心理学小组组1957年年，纽厄尔尔、肖(J.Shaw)和西西蒙等人的的心理学小小组研制了了一个称为为逻辑理论论机(LogicTheoryMachine，简简称LT)的数学定定理证明程程序。1960年年研制了通通用问题求求解(GeneralProblemSolving)程序序。该程序序当时可以以解决11种不同类类型的问题题，如不定定积分、三三角函数、、代数方程程、猴子摘摘香蕉、河河内梵塔、、人—羊过过河等。IBM工程程小组1956年年，塞缪尔尔在IBM704计计算机上研研制成功了了具有自学学习、自组组织和自适适应能力的的西洋跳棋棋程序。这这个程序可可以从棋谱谱中学习，，也可以在在下棋过程程中积累经经验、提高高棋艺。通通过不断学学习，该程程序1959年击败败了塞缪尔尔本人，1962年年又击败了了一个州的的冠军。MIT小组组1958年年，麦卡西西建立了行行动规划咨咨询系统。。1960年年，麦卡西西又研制了了人工智能能语言LISP。1961年年，明斯基基发表了““走向人工工智能的步步骤”的论论文，推动动了人工智智能的发展展。16诞生期（1956--1970年）(3/3)其他方面1965年年，鲁宾逊逊(J.A.Robinson)提出出了归结（（消解）原原理。1965年年，费根鲍鲍姆(E.A.Feigenbaum)开始始研究化学学专家系统统DENDRAL。。17知识应用期期（1971--80年代末末）(1/2)失败的预言言：60年代初初，西蒙预预言：10年内计计算机将成成为世界冠冠军、将证证明一个未未发现的数数学定理、、将能谱写写出具有优优秀作曲家家水平的乐乐曲、大多多数心理学学理论将在在计算机上上形成。挫折和教训训在博弈方面面，塞缪尔的下下棋程序在在与世界冠冠军对弈时时，5局败败了4局。。在定理证明明方面，发现鲁宾逊逊归结法的的能力有限限。当用归归结原理证证明两个连连续函数之之和还是连连续函数时时，推了10万步也也没证出结结果。在问题求解解方面，对于不良结结构，会产产生组合爆爆炸问题。。在机器翻译译方面，发现并不那那么简单，，甚至会闹闹出笑话。。例如，把把“心有余余而力不足足”的英语语句子翻译译成俄语，，再翻译译回来时竟竟变成了““酒是好的的，肉变质质了”在神经经生理理学方方面，，研究发发现人人脑有有1011-12以上的的神经经元，，在现现有技技术条条件下下用机机器从从结构构上模模拟人人脑是是根本本不可可能的的。在其它它方面面，人工智智能也也遇到到了不不少问问题。。在英英国，，剑桥桥大学学的詹詹姆教教授指指责““人工工智能能研究究不是是骗局局，也也是庸庸人自自扰””。。从此此，形形势急急转直直下，，在全全世界界范围围内人人工智智能研研究陷陷入困困境、、落入入低谷谷。18知识应应用期期（1971--80年年代末末）(2/2)以知识识为中中心的的研究究：专家系统统实现了人人工智能能从理论论研究走走向实际际应用，，从一般般思维规规律探讨讨走向专专门知识识运用的的重大突突破，是是AI发发展史上上的一次次重要转转折。1972年，费费根鲍姆姆开始研研究MYCIN专家系系统，并并于1976年年研制成成功。从从应用角角度看，，它能协协助内科科医生诊诊断细菌菌感染疾疾病，并并提供最最佳处方方。从技技术角度度看，他他解决了了知识表表示、不不精确推推理、搜搜索策略略、人机机联系、、知识获获取及专专家系统统基本结结构等一一系列重重大技术术问题。。1976年，斯斯坦福大大学的杜杜达(R.D.Duda)等等人开始始研制地地质勘探探专家系系统PROSPECTOR这一时期期，与专专家系统统同时发发展的重重要领域域还有计计算机视视觉和机机器人，，自然语语言理解解与机器器翻译等等。新的问题题：专家系统统本身所所存在的的应用领领域狭窄窄、缺乏乏常识性性知识、、知识获获取困难难、推理理方法单单一、没没有分布布式功能能、不能能访问现现存数据据库等问问题被逐逐渐暴露露出来。。19从学派分分立到综综合（20世纪纪80年年代到本本世纪初初）人工智能能研究形形成了三三大学派派：随着人工工神经网网络的再再度兴起起和布鲁鲁克（R.A.Brooks）的机机器虫的的出现，，人工智智能研究究形成了了符号主主义、连连接主义义和行为为主义三三大学派派。符号主义义学派是指基于于符号运运算的人人工智能能学派，，他们认认为知识识可以用用符号来来表示，，认知可可以通过过符号运运算来实实现。例例如，专专家系统统等。连接主义义学派是指神经经网络学学派，在在神经网网络方面面，继鲁鲁梅尔哈哈特研制制出BP网络之之后，1987年，首首届国际际人工神神经网络络学术大大会在美美国的圣圣迭戈（（San-Diego）举行行，掀起起了人工工神经网网络的第第二次高高潮。之之后，随随着模糊糊逻辑和和进化计计算的逐逐步成熟熟，又形形成了““计算智智能”这这个统一一的学科科范畴。。行为主义义学派是指进化化主义学学派，在在行为模模拟方面面，麻省省理工学学院的布布鲁克教教授1991年年研制成成功了能能在未知知的动态态环境中中漫游的的有6条条腿的机机器虫。。三大学派派的综合合集成随着研究究和应用用的深入入，人们们又逐步步认识到到，三个个学派各各有所长长，各有有所短，，应相互互结合、、取长补补短，综综合集成成。20智能科学学技术的的兴起目前，一一个以人人工智能能为核心心，以自自然智能能、人工工智能、、集成智智能为一一体的新新的智能能科学技技术学科科正在逐逐步兴起起，并引引起了人人们的极极大关注注。该学科研研究的主主要特征征包括以以下几个个方面：：(1)由由对人人工智能能的单一一研究走走向以自自然智能能、人工工智能、、集成智智能为一一体的协协同研究究；(2)由由人工工智能学学科的独独立研究究走向重重视与脑脑科学、、认知科科学、等等学科的的交叉研研究；(3)由由多个个不同学学派的独独立研究究走向多多学派的的综合研研究；(4)由由对个个体、集集中智能能的研究究走向对对群体、、分布智智能的研研究。21AI研究究中的不不同学派派符号主义义学派（（逻辑主主义、心心理学派派）主要观点点：AI起源源于数理理逻辑，，人类认认知的基基元是符符号，认认知过程程是符号号表示上上的一种种运算代表性成成果：厄尔和西西蒙等人人研制的的称为逻逻辑理论论机的数数学定理理证明程程序LT代表人物物：纽厄尔、、肖、西西蒙和尼尼尔逊(Nilsson)等等连接主义义学派（（仿生学学派或心心理学派派）主要观点点：AI起源源于仿生生学，特特别是人人脑模型型，人类类认知的的基元是是神经元元，认知知过程是是神经元元的连接接活动过过程代表性成成果：由麦克洛洛奇和皮皮兹创立立的脑模模型，即即MP模模型代表人物物：麦克洛奇奇和皮兹兹行为主义义学派（（进化主主义、控控制论学学派）主要观点点：AI起源源于控制制论，智智能取决决于感知知和行为为，取决决于对外外界复杂杂环境的的适应，，而不是是推理。。代表性成成果：Brooks教教授研制制的机器器虫代表人物物：Brooks教教授22AI研究究中的不不同学派派不同学派派的理论论之争符号主义义智能的基基础是知知识，其其核心是是知识表表示和知知识推理理；知识识可用符符号表示示，也可可用符号号进行推推理，因因而可以以建立基基于知识识的人类类智能和和机器智智能的统统一的理理论体系系。连接主义义思维的基基元是神神经元，，而不是是符号；；思维过过程是神神经元的的联结活活动过程程，而不不是符号号运算过过程；反反对符号号主义关关于物理理符号系系统的假假设。行为主义义智能取决决于感知知和行动动，提出出了智能能行为的的“感知知—动作作”模型型；智能能不需要要知识、、不需要要表示、、不需要要推理；；人工智智能可以以像人类类智能那那样逐步步进化23AI研究究中的不不同学派派不同学派派的方法法之争符号主义义功能模拟拟构造能够够模拟大大脑功能能的智能能系统。。相当于““鸟飞””连接主义义结构模拟拟构造模拟拟大脑结结构的神神经网络络系统。。相当于““飞鸟””行为主义义行为模拟拟构造具有有进化能能力的智智能系统统。相当于““由猿到到人”24AI的研研究内容容搜索技术术知识表示示规划方法法机器学习习认知科学学25AI的研研究内容容（续1）自然语言言理解与与机器翻翻译专家系统统与知识识工程定理证明明博弈机器人数据挖掘掘与知识识发现26AI的研研究内容容（续2）多Agent系统复杂系统足球机器人人机交互技术术27人工智能取得得的一些成果果四十多年来，，人工智能的的研究虽然步步履艰难，但但也取得了一一些很突出的的成绩。下面面列举一些实实例。28定理证明50年代中期期，世界上最最早的启发式式程序“逻辑辑理论家”，，证明了数学学名著《数学学原理》中的的38个定理理。经改进后后，62年证证明了该书中中全部的52个定理。被被认为是用计计算机探讨人人类智力活动动的第一个真真正的成果。。29四色定理的证证明四色定理从1852年年发现四色问问题，世界上上很多著名的的科学家试图图证明，当一一直未能完成成。1976年6月，哈肯在在美国伊利诺诺斯大学的两两台不同的电电子计算机上上，用了1200个小时时，作了100亿次判断断，终于完成成了四色定理理的证明，从从而解决了一一个历时100多年的问问题，轰动了了世界。30定理证明的““吴方法”2000年我我国最高科学学技术奖获得得者吴文俊教教授，提出了了“数学机器器化”。1977年，，吴文俊关于于平面几何定定理的机械化化证明首次取取得成功。创立了定理机机器证明的“吴方法”。。31通用问题求解解器（GPS）从1957年年开始，Newell等等人开始研究究一种不依赖赖于具体领域域的通用解题题程序，这个个程序的设计计是从模仿人人类问题求解解的规程开始始的。在它能能处理的有限限类别的问题题中，它显示示出程序决定定的子目标及及可能采取的的行动的次序序，与人类求求解同样问题题是类似的。。因此，GPS很可能是是第一个实现现了“像人一一样思考”方方法的程序。。32专家系统人类之所以能能求解问题，，是因为人类类具有知识。。专家系统就是是把有关领域域专家的知识识整理出来，，让计算机利利用这些知识识求解专门领领域的问题。。1968年世世界上第一个个专家系统DENDRAL问世。MYCIN，，一个著名的的医疗诊断专专家系统33第一个商用专专家系统：R1世界上第一个个成功的商用用专家系统，，1982年年开始正式在在DEC公司司使用。该程程序帮助为新新计算机系统统配置订单；；到1986年为止，估估计它为公司司每年节省了了4千万美元元。34海湾战争中的的专家系统在1991年年的海湾危机机中，美国军军队使用专家家系统用于自自动的后勤规规划和运输日日程安排。这这项工作同时时涉及到50000个车车辆、货物和和人，而且必必须考虑到起起点、目的地地、路径以及及解决所有参参数之间的冲冲突。AI规规划技术使得得一个计划可可以在几小时时内产生，而而用旧的方法法需要花费几几个星期。35数字识别清华大学智能能技术与系统统国家重点实实验室采用神神经元网络方方法研制的数数字识别系统统，用于2000年我国国人口普查。。对普查数据据进行自动识识别，错误率率达到了万分分之一以下的的高水平。36古籍数字化———《四库全全书》37IBM的“深深蓝”北京时间1997年5月月12日凌晨晨4点50分分，美国纽约约公平大厦，，当IBM公公司的“深蓝蓝”超级电脑脑将棋盘上的的一个兵走到到C4的位置置上时，国际际象棋世界冠冠军卡斯帕罗罗夫对“深蓝蓝”的人机大大战落下帷幕幕，“深蓝””以3.5：2.5的的总比分战胜胜卡斯帕罗夫夫。38正在与深蓝下下棋的卡斯帕帕罗夫39IBM的“深深蓝”（续1）96年2月第第一次比赛结结果：“深蓝”：胜胜、负、平、、平、负、负负97年5月第第二次比赛结结果：“深蓝”：负负、胜、平、、平、平、胜胜40IBM的“深深蓝”（续2）“深蓝”的技技术指标：32个CPU每个CPU有有16个协处处理器每个CPU有有256M内内存每个CPU的的处理速度为为200万步步/秒41“人机之战””简史1958年，，IBM704成为第一一台能同人下下棋的计算机机，名为“思思考”，思考考速度每秒200步60年代中期期，科学家德德里夫斯断言言，计算机将将无法击败一一位年仅10岁的棋手1973年，，国际象棋软软件4.0被被开发出来，，这是未来程程序的基础1979年，，国际象棋软软件4.9达达到专家级水水平1981年，，CRAYBLITZ新新的超级计算算机拥有特殊殊的集成电路路，预言将可可在1995年击败世界界棋王421983年，，BELLEAT＆T开开发了国际象象棋硬件，达达到了大师水水平80年代中期期，皮兹堡的的CARNEGIEMELLON大大学开始研究究世界级的国国际象棋计算算机程序1987年，，“深思”首首次以每秒钟钟75万步的的思考速度露露面，它的水水平相当于拥拥有国际等级级分为2450的棋手1988年，，“深思”击击败丹麦特级级大师拉尔森森1989年，，“深思”已已经有6台信信息处理器，，每秒思考速速度达200万步，但在在与世界棋王王卡斯帕罗夫夫进行的“人人机大战”中中对阵以0比比2败北431990年，，“深思”第第二代产生，，使用IBM的硬件，吸吸引了前世界界棋王卡尔波波夫与之对抗抗1991年，，“弗里茨””问世1993年，，“深思”二二代击败了丹丹麦国家队，，在与世界优优秀女棋手小小波尔加的对对抗中获胜1995年，，“深蓝”更更新程序，新新的集成电路路将其思考速速度达到每秒秒300万步步1996年，，“深蓝”在在与卡斯帕罗罗夫的挑战赛赛中，以2比比4不敌卡斯斯帕罗夫1997年，，“超级深蓝蓝”开发出了了更加高级的的“大脑”，，4名国际大大师参与IBM的挑战小小组为电脑与与卡斯帕罗夫夫重战出谋划划策，最后““超级深蓝””以3比2击击败了卡斯帕帕罗夫，卡斯斯帕罗夫要求求重赛，但没没有得到回应应441999年，，“弗里茨””升级为“更更弗里茨”(DeepFritz)2001年，，“更弗里茨茨”更新了程程序，击败了了卡斯帕罗夫夫和阿南德，，以及除了克克拉姆尼克之之外的所有排排名世界前十十位的棋手2002年10月，“更更弗里茨”与与克拉姆尼克克在巴林进行行“人机大战战”，思考速速度为每秒600万步，，双方4比4战平2003年1～2月“更更年少者”与与卡斯帕罗夫夫举行人机对对抗，双方3比3战平45思考题题2：：国际际象棋棋、中中国象象棋与与围棋棋为什么么已经经有了了可以以战胜胜国际际大师师的国国际象象棋程程序，，而中中国象象棋和和围棋棋的程程序水水平却却比较较低呢呢？力量投投入问问题？？计算机机发展展水平平问题题？棋本身身的复复杂性性问题题？其他别别的问问题？？46智能汽汽车智能技技术与与系统统国家家重点点实验验室研研制的的智能能汽车车47在高速速公路路上，，该汽汽车可可以自自动识识别道道路，，自动动躲避避障碍碍物在最近近的实实验中中，平平均速速度为为100公公里，，最高高速度度达到到了150公里里，达达到了了世界界先进进水平平。48足球机机器人人两个组组织：：RoboCup和和FIRA设有仿仿真组组、小小型组组、中中型组组和有有腿组组控制方方式：：FIRA采用用集中中控制制，而而RoboCup采采用分分布式式控制制清华大大学获获得2001、、2002年RoboCup世界界冠军军、2003年年亚军军（仿仿真组组）清华大大学获获得2003年年RoboCup小小型组组全国国冠军军49小型组组有有腿腿组50历史上上的人人工智智能大大师下面介介绍图图灵和和几位位获得得图灵灵奖的的人工工智能能大师师51阿伦•图灵（（AlanTuring）计算机机科学学理论论的创创始人人52阿伦•图灵（（AlanTuring））1912年年出生生于英英国伦伦敦，，1954年去去世1936年年发表表论文文“论论可计计算数数及其其在判判定问问题中中的应应用””，提提出图图灵机机理论论1950年年发表表论文文“计计算机机与智智能””，阐阐述了了计算算机可可以具具有智智能的的想法法，提提出图图灵测测试1966年年为纪纪念图图灵的的杰出出贡献献，ACM设立立图灵灵奖53马文•明斯基基（（MarnivLeeMinsky））人工智智能之之父框架理理论的的创立立者首位获获得图图灵奖奖的人人工智智能学学者54马文•明斯基基（（MarnivLeeMinsky））1927年年出生生于美美国纽纽约1951年年提出出思维维如何何萌发发并形形成的的基本本理论论1956年年达特特茅斯斯会议议的发发起人人之一一1958年年在MIT创建建世界界上第第一个个AI实验验室1969年年获得得图灵灵奖1975年年首创创框架架理论论55约翰•麦卡锡（（JohnMcCarthy）人工智能之之父LISP语语言的发明明人首次提出AI的概念念56约翰•麦卡锡（（JohnMcCarthy）1927年年出生于美美国波士顿顿1956年年发起达特特茅斯会议议，并提出出“人工智智能”的概概念1958年年与明斯基基一起创建建世界上第第一个人工工智能实验验室发明α－β剪枝算法1959年年开发LISP语言言开创逻辑程程序研究，，用于程序序验证和自自动程序设设计1971年获得得图灵奖奖57赫伯特•西蒙（（HerbertA.Simon）符号主义义学派的的创始人人爱好广泛泛的全能能科学家家中国科学学院外籍籍院士58赫伯特•西蒙(HerbertA.Simon）1916年出生生于美国国的威斯斯康辛州州1943年在匹匹兹堡大大学获政政治学博博士学位位1969年因心心理学方方面的贡贡献获得得杰出科科学贡献献奖1975年和他他的学生生艾伦•纽厄尔共共同获得得图灵奖奖1978年获获得诺贝尔经经济学奖1986年因因行为学方面面的成就获得得美国全国科科学家奖章5950年代至60年代初开开发了世界上上最早的启发发式程序“逻逻辑理论家””LT，证明明了《数学原原理》第二章章中的全部52个定理，，开创了机器器定理证明这这一新的学科科领域57年开发了了IPL(InformationProcessingLanguage)语言，是是最早的AI语言。60年开发了了“通用问题题求解系统””GPS66年开发了了最早的下棋棋程序之一MATER70年发展与与完善了语义义网络的概念念和方法70年代提出出了“物理符符号系统假说说”70年代提出出决策过程模模型，成为DSS的核心心内容60艾伦•纽厄尔（AllenNewell）符号主义学派派的创始人之之一西蒙的学生与与同事1975年与与西蒙同获图图灵奖61查理德•卡普

（RichardM.Karp）发明“分枝界界限法”的三三栖学者62查理德•卡普（RichardM.Karp）1935年出出生于美国波波士顿是加州大学伯伯克利分校三三个系的教授授：电气工程和计计算机系数学系工业工程和运运筹学系60年代提出出“分枝界限限法”，成功功求解含有65个城市的的旅行商问题题，创当时的的记录1985年获获得图灵奖63爱德华•费根鲍姆（（EdwardA.Feigenbaum）知识工程的提提出者大型人工智能能系统的开拓拓者64爱德华•费根鲍姆（（EdwardA.Feigenba