人工智能第章

绪论很早人类就有制造机器人的幻想黄帝的“指南车”诸葛亮的“木牛流马”亚里士多德的形式逻辑布莱尼茨的关于数理逻辑的思想“机器人”一词的来源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教教授明斯基）），哈哈佛大大学数数学家家、神神经学学家，，后为为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.Feigenbaum）1936年年出生于美美国的新泽泽西州通过实验和和研究，证证明了实现现智能行为为的主要手手段是知识识1977年年提出知识识工程，使使人工智能