人工智能第0章课件

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

----Turing测试测试主持人被测机器被测人小于50%？按照图灵检验，该电脑和某个人类的代表都躲开到检验者的视线之外。检验者必须根据向他们双方提出问题，来判定谁是电脑谁是人类。6何谓人工智能（二）

----Turing测试测试主持人被测机希尔勒的中文屋子中文房间（Chineseroom，theChineseroomargument）又称作华语房间是由美国哲学家约翰·希尔勒（JohnSearle）在1980年设计的一个思维试验以推翻强人工智能（机能主义）提出的过强主张：只要计算机拥有了适当的程序，理论上就可以说计算机拥有它的认知状态以及可以像人一样地进行理解活动。7希尔勒的中文屋子中文房间（Chineseroom，the希尔勒的中文屋子其实验可表示为：一个人手中拿着一本象形文字对照手册，身处图灵实验中所提及的房子中。而另一人则在房间外向此房间发送象形文字问题。房间内的人只需按照对照手册，返回手册上的象形文字答案，房间外的人就会以为房间内的人是个会思维的象形文字专家。然而实际上房子内的人可能对象形文字一窍不通，更谈不上什么智能思维。8希尔勒的中文屋子其实验可表示为：一个人手中拿着一本象形文字991010希尔勒的中文屋子机器是否真的理解了呢？希尔勒的中文屋子问题：通过了图灵测试就具有了智能吗？思考题：如何理解希尔勒的中文屋子？11希尔勒的中文屋子11AI的本质问题 研究如何制造出人造的智能机器或系统，来模拟人类智能活动的能力，以延伸人们智能的科学。12AI的本质问题 研究如何制造出人造的智能机器或系统，来模拟人孕育期（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孕育期（1943－1955）自远古以来，人类就有用机

孕育期（1956年以前）麦克洛奇(W.McCulloch)和皮兹(W.Pitts)：美国神经生理学家，于1943年建成了第一个神经网络模型(MP模型)。维纳(N.Wiener，1874—1956)：美国著名数学家、控制论创始人。1948年创立了控制论。控制论向人工智能的渗透，形成了行为主义学派。图灵又于1950年，发表题为《计算机能思维吗？》的著名论文，明确提出了“机器能思维”的观点。可见，在人工智能诞生之前，一些著名科学家就已经创立了数理逻辑、神经网络模型和控制论，并发明了通用电子数字计算机。为人工智能的诞生准备了必要的思想、理论和物质技术条件。14

孕育期（1956年以前）麦克洛奇(W.McCull诞生期（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年）(1/3)AI诞生于一次历史诞生期（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年）(2/3)心理学小组16诞生期（1956--1970年）(3/3)其他方面1965年，鲁宾逊(J.A.Robinson)提出了归结（消解）原理。

1965年，费根鲍姆(E.A.Feigenbaum)开始研究化学专家系统DENDRAL。17诞生期（1956--1970年）(3/3)其他方面17知识应用期（1971--80年代末）(1/2)失败的预言：60年代初，西蒙预言：10年内计算机将成为世界冠军、将证明一个未发现的数学定理、将能谱写出具有优秀作曲家水平的乐曲、大多数心理学理论将在计算机上形成。

挫折和教训在博弈方面，塞缪尔的下棋程序在与世界冠军对弈时，5局败了4局。在定理证明方面，发现鲁宾逊归结法的能力有限。当用归结原理证明两个连续函数之和还是连续函数时，推了10万步也没证出结果。在问题求解方面，对于不良结构，会产生组合爆炸问题。在机器翻译方面，发现并不那么简单，甚至会闹出笑话。例如，把“心有余而力不足”的英语句子翻译成俄语，再翻译回来时竟变成了“酒是好的，肉变质了”在神经生理学方面，研究发现人脑有1011-12以上的神经元，在现有技术条件下用机器从结构上模拟人脑是根本不可能的。在其它方面，人工智能也遇到了不少问题。在英国，剑桥大学的詹姆教授指责“人工智能研究不是骗局，也是庸人自扰”。从此，形势急转直下，在全世界范围内人工智能研究陷入困境、落入低谷。

18知识应用期（1971--80年代末）(1/2)失败的预言：1知识应用期（1971--80年代末）(2/2)以知识为中心的研究：

专家系统实现了人工智能从理论研究走向实际应用，从一般思维规律探讨走向专门知识运用的重大突破，是AI发展史上的一次重要转折。1972年，费根鲍姆开始研究MYCIN专家系统，并于1976年研制成功。从应用角度看，它能协助内科医生诊断细菌感染疾病，并提供最佳处方。从技术角度看，他解决了知识表示、不精确推理、搜索策略、人机联系、知识获取及专家系统基本结构等一系列重大技术问题。

1976年，斯坦福大学的杜达(R.D.Duda)等人开始研制地质勘探专家系统PROSPECTOR这一时期，与专家系统同时发展的重要领域还有计算机视觉和机器人，自然语言理解与机器翻译等。新的问题：

专家系统本身所存在的应用领域狭窄、缺乏常识性知识、知识获取困难、推理方法单一、没有分布式功能、不能访问现存数据库等问题被逐渐暴露出来。

19知识应用期（1971--80年代末）(2/2)以知识为中心的从学派分立到综合（20世纪80年代到本世纪初）人工智能研究形成了三大学派：随着人工神经网络的再度兴起和布鲁克（R.A.Brooks）的机器虫的出现，人工智能研究形成了符号主义、连接主义和行为主义三大学派。

符号主义学派是指基于符号运算的人工智能学派，他们认为知识可以用符号来表示，认知可以通过符号运算来实现。例如，专家系统等。连接主义学派是指神经网络学派，在神经网络方面，继鲁梅尔哈特研制出BP网络之后，1987年，首届国际人工神经网络学术大会在美国的圣迭戈（San-Diego）举行，掀起了人工神经网络的第二次高潮。之后，随着模糊逻辑和进化计算的逐步成熟，又形成了“计算智能”这个统一的学科范畴。

行为主义学派是指进化主义学派，在行为模拟方面，麻省理工学院的布鲁克教授1991年研制成功了能在未知的动态环境中漫游的有6条腿的机器虫。三大学派的综合集成随着研究和应用的深入，人们又逐步认识到，三个学派各有所长，各有所短，应相互结合、取长补短，综合集成。

20从学派分立到综合（20世纪80年代到本世纪初）人工智能研究形智能科学技术的兴起目前，一个以人工智能为核心，以自然智能、人工智能、集成智能为一体的新的智能科学技术学科正在逐步兴起，并引起了人们的极大关注。该学科研究的主要特征包括以下几个方面：(1)由对人工智能的单一研究走向以自然智能、人工智能、集成智能为一体的协同研究；(2)由人工智能学科的独立研究走向重视与脑科学、认知科学、等学科的交叉研究；(3)由多个不同学派的独立研究走向多学派的综合研究；(4)由对个体、集中智能的研究走向对群体、分布智能的研究。

21智能科学技术的兴起目前，一个以人工智能为核心，以自然AI研究中的不同学派符号主义学派（逻辑主义、心理学派）主要观点：AI起源于数理逻辑，人类认知的基元是符号，认知过程是符号表示上的一种运算代表性成果：厄尔和西蒙等人研制的称为逻辑理论机的数学定理证明程序LT

代表人物：纽厄尔、肖、西蒙和尼尔逊(Nilsson)等

连接主义学派（仿生学派或心理学派）主要观点：AI起源于仿生学，特别是人脑模型，人类认知的基元是神经元，认知过程是神经元的连接活动过程代表性成果：由麦克洛奇和皮兹创立的脑模型，即MP模型

代表人物：麦克洛奇和皮兹行为主义学派（进化主义、控制论学派）主要观点：AI起源于控制论，智能取决于感知和行为，取决于对外界复杂环境的适应，而不是推理。代表性成果：Brooks教授研制的机器虫代表人物：Brooks教授22AI研究中的不同学派符号主义学派（逻辑主义、心理学派）22AI研究中的不同学派

不同学派的理论之争符号主义智能的基础是知识，其核心是知识表示和知识推理；知识可用符号表示，也可用符号进行推理，因而可以建立基于知识的人类智能和机器智能的统一的理论体系。连接主义思维的基元是神经元，而不是符号；思维过程是神经元的联结活动过程，而不是符号运算过程；反对符号主义关于物理符号系统的假设。

行为主义智能取决于感知和行动，提出了智能行为的“感知—动作”模型；智能不需要知识、不需要表示、不需要推理；人工智能可以像人类智能那样逐步进化23AI研究中的不同学派

不同学派的理论之争符号主义23AI研究中的不同学派

不同学派的方法之争符号主义功能模拟构造能够模拟大脑功能的智能系统。相当于“鸟飞”连接主义结构模拟构造模拟大脑结构的神经网络系统。相当于“飞鸟”行为主义行为模拟构造具有进化能力的智能系统。相当于“由猿到人”24AI研究中的不同学派

不同学派的方法之争符号主义24AI的研究内容搜索技术知识表示规划方法机器学习认知科学25AI的研究内容搜索技术25AI的研究内容（续1）自然语言理解与机器翻译专家系统与知识工程定理证明博弈机器人数据挖掘与知识发现26AI的研究内容（续1）自然语言理解与机器翻译26AI的研究内容（续2）多Agent系统复杂系统足球机器人人机交互技术27AI的研究内容（续2）多Agent系统27人工智能取得的一些成果四十多年来，人工智能的研究虽然步履艰难，但也取得了一些很突出的成绩。下面列举一些实例。28人工智能取得的一些成果四十多年来，人工智能的研究虽然步履艰难定理证明50年代中期，世界上最早的启发式程序“逻辑理论家”，证明了数学名著《数学原理》中的38个定理。经改进后，62年证明了该书中全部的52个定理。被认为是用计算机探讨人类智力活动的第一个真正的成果。29定理证明50年代中期，世界上最早的启发式程序“逻辑理论家”，四色定理的证明四色定理从1852年发现四色问题，世界上很多著名的科学家试图证明，当一直未能完成。1976年6月，哈肯在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿次判断，终于完成了四色定理的证明，从而解决了一个历时100多年的问题，轰动了世界。30四色定理的证明四色定理30定理证明的“吴方法”2000年我国最高科学技术奖获得者吴文俊教授，提出了“数学机器化”。1977年，吴文俊关于平面几何定理的机械化证明首次取得成功。创立了定理机器证明的“吴方法”。31定理证明的“吴方法”2000年我国最高科学技术奖获得者吴文俊通用问题求解器（GPS）从1957年开始，Newell等人开始研究一种不依赖于具体领域的通用解题程序，这个程序的设计是从模仿人类问题求解的规程开始的。在它能处理的有限类别的问题中，它显示出程序决定的子目标及可能采取的行动的次序，与人类求解同样问题是类似的。因此，GPS很可能是第一个实现了“像人一样思考”方法的程序。32通用问题求解器（GPS）从1957年开始，Newell等人开专家系统人类之所以能求解问题，是因为人类具有知识。专家系统就是把有关领域专家的知识整理出来，让计算机利用这些知识求解专门领域的问题。1968年世界上第一个专家系统DENDRAL问世。MYCIN，一个著名的医疗诊断专家系统33专家系统人类之所以能求解问题，是因为人类具有知识。33第一个商用专家系统：R1世界上第一个成功的商用专家系统，1982年开始正式在DEC公司使用。该程序帮助为新计算机系统配置订单；到1986年为止，估计它为公司每年节省了4千万美元。34第一个商用专家系统：R1世界上第一个成功的商用专家系统，19海湾战争中的专家系统在1991年的海湾危机中，美国军队使用专家系统用于自动的后勤规划和运输日程安排。这项工作同时涉及到50000个车辆、货物和人，而且必须考虑到起点、目的地、路径以及解决所有参数之间的冲突。AI规划技术使得一个计划可以在几小时内产生，而用旧的方法需要花费几个星期。35海湾战争中的专家系统在1991年的海湾危机中，美国军队使用专数字识别清华大学智能技术与系统国家重点实验室采用神经元网络方法研制的数字识别系统，用于2000年我国人口普查。对普查数据进行自动识别，错误率达到了万分之一以下的高水平。36数字识别清华大学智能技术与系统国家重点实验室采用神经元网络方古籍数字化——《四库全书》37古籍数字化——《四库全书》37IBM的“深蓝” 北京时间1997年5月12日凌晨4点50分，美国纽约公平大厦，当IBM公司的“深蓝”超级电脑将棋盘上的一个兵走到C4的位置上时，国际象棋世界冠军卡斯帕罗夫对“深蓝”的人机大战落下帷幕，“深蓝”以3.5：2.5的总比分战胜卡斯帕罗夫。38IBM的“深蓝” 北京时间1997年5月12日凌晨4点正在与深蓝下棋的卡斯帕罗夫39正在与深蓝下棋的卡斯帕罗夫39IBM的“深蓝”（续1）96年2月第一次比赛结果： “深蓝”：胜、负、平、平、负、负97年5月第二次比赛结果： “深蓝”：负、胜、平、平、平、胜40IBM的“深蓝”（续1）96年2月第一次比赛结果：40IBM的“深蓝”（续2）“深蓝”的技术指标：32个CPU每个CPU有16个协处理器每个CPU有256M内存每个CPU的处理速度为200万步/秒41IBM的“深蓝”（续2）“深蓝”的技术指标：41“人机之战”简史1958年，IBM704成为第一台能同人下棋的计算机，名为“思考”，思考速度每秒200步60年代中期，科学家德里夫斯断言，计算机将无法击败一位年仅10岁的棋手1973年，国际象棋软件4.0被开发出来，这是未来程序的基础1979年，国际象棋软件4.9达到专家级水平1981年，CRAYBLITZ新的超级计算机拥有特殊的集成电路，预言将可在1995年击败世界棋王42“人机之战”简史1958年，IBM704成为第一台能同人下棋1983年，BELLEAT＆T开发了国际象棋硬件，达到了大师水平80年代中期，皮兹堡的CARNEGIEMELLON大学开始研究世界级的国际象棋计算机程序1987年，“深思”首次以每秒钟75万步的思考速度露面，它的水平相当于拥有国际等级分为2450的棋手1988年，“深思”击败丹麦特级大师拉尔森1989年，“深思”已经有6台信息处理器，每秒思考速度达200万步，但在与世界棋王卡斯帕罗夫进行的“人机大战”中对阵以0比2败北431983年，BELLEAT＆T开发了国际象棋硬件，达到了大师1990年，“深思”第二代产生，使用IBM的硬件，吸引了前世界棋王卡尔波夫与之对抗1991年，“弗里茨”问世1993年，“深思”二代击败了丹麦国家队，在与世界优秀女棋手小波尔加的对抗中获胜1995年，“深蓝”更新程序，新的集成电路将其思考速度达到每秒300万步1996年，“深蓝”在与卡斯帕罗夫的挑战赛中，以2比4不敌卡斯帕罗夫1997年，“超级深蓝”开发出了更加高级的“大脑”，4名国际大师参与IBM的挑战小组为电脑与卡斯帕罗夫重战出谋划策，最后“超级深蓝”以3比2击败了卡斯帕罗夫，卡斯帕罗夫要求重赛，但没有得到回应441990年，“深思”第二代产生，使用IBM的硬件，吸引了前世1999年，“弗里茨”升级为“更弗里茨”(DeepFritz)2001年，“更弗里茨”更新了程序，击败了卡斯帕罗夫和阿南德，以及除了克拉姆尼克之外的所有排名世界前十位的棋手2002年10月，“更弗里茨”与克拉姆尼克在巴林进行“人机大战”，思考速度为每秒600万步，双方4比4战平2003年1～2月“更年少者”与卡斯帕罗夫举行人机对抗，双方3比3战平451999年，“弗里茨”升级为“更弗里茨”(DeepFrit思考题2：国际象棋、中国象棋与围棋为什么已经有了可以战胜国际大师的国际象棋程序，而中国象棋和围棋的程序水平却比较低呢？力量投入问题？计算机发展水平问题？棋本身的复杂性问题？其他别的问题？46思考题2：国际象棋、中国象棋与围棋为什么已经有了可以战胜国际智能汽车智能技术与系统国家重点实验室研制的智能汽车47智能汽车智能技术与系统国家重点实验室研制的智能汽车47在高速公路上，该汽车可以自动识别道路，自动躲避障碍物在最近的实验中，平均速度为100公里，最高速度达到了150公里，达到了世界先进水平。48在高速公路上，该汽车可以自动识别道路，自动躲避障碍物48足球机器人两个组织：RoboCup和FIRA设有仿真组、小型组、中型组和有腿组控制方式：FIRA采用集中控制，而RoboCup采用分布式控制清华大学获得2001、2002年RoboCup世界冠军、2003年亚军（仿真组）清华大学获得2003年RoboCup小型组全国冠军49足球机器人两个组织：RoboCup和FIRA49小型组有腿组50小型组历史上的人工智能大师下面介绍图灵和几位获得图灵奖的人工智能大师51历史上的人工智能大师下面介绍图灵和几位获得图灵奖的人工智能大阿伦•图灵

（AlanTuring） 计算机科学理论的创始人52阿伦•图灵

（AlanTuring） 计算机科学理论的创始阿伦•图灵（AlanTuring）1912年出生于英国伦敦，1954年去世1936年发表论文“论可计算数及其在判定问题中的应用”，提出图灵机理论1950年发表论文“计算机与智能”，阐述了计算机可以具有智能的想法，提出图灵测试1966年为纪念图灵的杰出贡献，ACM设立图灵奖53阿伦•图灵（AlanTuring）1912年出生于英国伦敦马文•明斯基

（MarnivLeeMinsky） 人工智能之父 框架理论的创立者 首位获得图灵奖的人工智能学者54马文•明斯基

（MarnivLeeMinsky） 人工马文•明斯基

（MarnivLeeMinsky）1927年出生于美国纽约1951年提出思维如何萌发并形成的基本理论1956年达特茅斯会议的发起人之一1958年在MIT创建世界上第一个AI实验室1969年获得图灵奖1975年首创框架理论55马文•明斯基

（MarnivLeeMinsky）1927约翰•麦卡锡

（JohnMcCarthy）人工智能之父LISP语言的发明人首次提出AI的概念56约翰•麦卡锡

（JohnMcCarthy）人工智能之父56约翰•麦卡锡

（JohnMcCarthy）1927年出生于美国波士顿1956年发起达特茅斯会议，并提出“人工智能”的概念1958年与明斯基一起创建世界上第一个人工智能实验室发明α－β剪枝算法1959年开发LISP语言开创逻辑程序研究，用于程序验证和自动程序设计1971年获得图灵奖57约翰•麦卡锡

（JohnMcCarthy）1927年出生于赫伯特•西蒙

（HerbertA.Simon）符号主义学派的创始人爱好广泛的全能科学家中国科学院外籍院士58赫伯特•西蒙

（HerbertA.Simon）符号主义学赫伯特•西蒙(HerbertA.Simon）1916年出生于美国的威斯康辛州1943年在匹兹堡大学获政治学博士学位1969年因心理学方面的贡献获得杰出科学贡献奖1975年和他的学生艾伦•纽厄尔共同获得图灵奖1978年获得诺贝尔经济学奖1986年因行为学方面的成就获得美国全国科学家奖章59赫伯特•西蒙(HerbertA.Simon）1916年出50年代至60年代初开发了世界上最早的启发式程序“逻辑理论家”LT，证明了《数学原理》第二章中的全部52个定理，开创了机器定理证明这一新的学科领域57年开发了IPL(InformationProcessingLanguage)语言，是最早的AI语言。60年开发了“通用问题求解系统”GPS66年开发了最早的下棋程序之一MATER70年发展与完善了语义网络的概念和方法70年代提出了“物理符号系统假说”70年代提出决策过程模型，成为DSS的核心内容6050年代至60年代初开发了世界上最早的启发式程序“逻辑理论家艾伦•纽厄尔（AllenNewell）符号主义学派的创始人之一西蒙的学生与同事1975年与西蒙同获图灵奖61艾伦•纽厄尔（AllenNewell）符号主义学派的创始人查理德•卡普

（RichardM.Karp） 发明“分枝界限法”的三栖学者62查理德•卡普

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

（EdwardA.Feigenbaum） 知识工程的提出者 大型人工智能系统的开拓者64爱德华•费根鲍姆

（EdwardA.Feigenbaum爱德华•费根鲍姆

（EdwardA.Feigenbaum）1936年出生于美国的新泽西州通过实验和研究，证明了实现智能行为的主要手段是知识1977年提出知识工程，使人工智能从理论转向应用名言：知识蕴藏着力量1994年和劳伊•雷迪共同获得图灵奖65爱德华•费根鲍姆

（EdwardA.Feigenbaum1963年主编了《计算机与思想》一书，被认为是世界上第一本有关人工智能的经典性专著1965年开发出世界上第一个专家系统开发出著名的专家系统MYCIN80年代合著了四卷本的《人工智能手册》开设Teknowledge和IntelliGenetics两个公司，是世界上第一家以开发和将专家系统商品化的公司661963年主编了《计算机与思想》一书，被认为是世界上第一本有劳伊•雷迪

（RajReddy） 大型人工智能系统的开拓者67劳伊•雷迪

（RajReddy） 大型人工智能系统的开拓者劳伊•雷迪（RajReddy）37年出生于印度，66年在美国获得博士1994年与费根鲍姆共同获得图灵奖主持过一系列大型AI系统的开发Navlab能在道路行驶的自动车辆项目LISTEN用于扫盲的语音识别系统以诗人但丁命名的火山探测机器人项目自动机工厂项目，提出“白领机器人学”68劳伊•雷迪（RajReddy）37年出生于印度，66年在美人工智能研究的主要内容(1)理论知识的模型化和表示方法各种推理方法启发式理论搜索人工智能系统结构及语言机器学习应用自然语言理解数据库的智能检索专家系统机器定理证明博弈机器人学自动程序设计组合调度感知模式识别机器视觉智能控制人工生命69人工智能研究的主要内容(1)理论应用69人工智能研究的主要内容（2）从最近IJCAI国际会议上看包括（1）：AutomatedReasoningCase-basedReasoningCognitiveModellingConstraintSatisfactionDistributedAIComputerGamePlayingKnowledge-basedApplicationsMachineLearningNaturalLanguageProcessingPlanningandSchedulingQualitativeReasoningandDiagnosis70人工智能研究的主要内容（2）从最近IJCAI国际会议上看包人工智能研究的主要内容（3）从最近IJCAI国际会议上看包括（2）：RoboticsandPerceptionSearchSoftwareAgentsTemporalReasoningUncertaintyandProbabilisticReasoningNeuralNetworksGeneticAlgorithmsFuzzyLogicPhilosophyofAIKnowledgeRepresentationKnowledgeAcquisitionandExpertSystems71人工智能研究的主要内容（3）从最近IJCAI国际会议上看包第0章复习重点教学重点：1．从不同科学或学科出发对人工智能进行的定义；2．介绍人工智能的起源与发展过程；3．简介目前人工智能的主要学派；4．简介人工智能所研究的范围与应用领域。教学难点：1．怎么样理解人工智能；2．人工智能作为一门学科有什么意义；3．人工智能的主要学派与其争论焦点；72第0章复习重点教学重点：72绪论很早人类就有制造机器人的幻想黄帝的“指南车”诸葛亮的“木牛流马”亚里士多德的形式逻辑布莱尼茨的关于数理逻辑的思想“机器人”一词的来源73绪论很早人类就有制造机器人的幻想1什么是人工智能（1）20世纪的信息技术，尤其是计算机的出现，以机器代替或减轻人的脑力劳动，形成人工智能新兴学科。1956年四位年轻学者：JohnMcCarthy、MarvinMinsky、NathanielRochester和ClaudeShannon共同发起和组织召开了用机器模拟人类智能的夏季专题讨论会。会议邀请了包括数学、神经生理学、精神病学、心理学、信息论和计算机科学领域的10名学者参加，为期两个月。此次会议是在美国的Dartmouth召开，有时称为Dartmouth夏季讨论会。会议上，科学家们运用数理逻辑和计算机的成果，提供关于形式化计算和处理的理论，模拟人类某些智能行为的基本方法和技术，构造具有一定智能的人工系统，让计算机去完成需要人的智力才能胜任的工作。在Dartmouth夏季讨论会上，约翰·麦卡锡提议用人工智能（artificialintelligence）作为这一交叉学科的名称，标志着人工智能学科的诞生，具有十分重要的意义。74什么是人工智能（1）20世纪的信息技术，尤其是计算机的出现，什么是人工智能？至今没有统一的定义从“计算”到“算计”75什么是人工智能？至今没有统一的定义3像人一样思考的系统理性地思考的系统“要使计算机能够思考..….意思就是：有头脑的机器”（Haugeland,1985）“与人类的思维相关的活动，诸如决策、问题求解、学习等活动”（Bellman,1978）“通过利用计算模型来进行心智能力的研究”（Chamiak和McDermott,1985）“对使得知觉、推理和行为成为可能的计算的研究”（Winston,1992）像人一样行动的系统理性地行动的系统“一种技艺，创造机器来执行人需要智能才能完成的功能”（Kurzweil,1990）“研究如何让计算机能够做到那些目前人比计算机做得更好的事情”（Rich和Knight,1991）“计算智能是对设计智能化智能体的研究”（Poole等，1998）“AI..….关心的是人工制品中的智能行为”（Nilsson,1998）76像人一样思考的系统理性地思考的系统“要使计算机能够思考..…图灵测试如何知道一个系统是否具有智能呢？“Canmachinesthink?”1950年，计算机科学家图灵提出了著名的“图灵测试”。77图灵测试如何知道一个系统是否具有智能呢？5何谓人工智能（二）

----Turing测试测试主持人被测机器被测人小于50%？按照图灵检验，该电脑和某个人类的代表都躲开到检验者的视线之外。检验者必须根据向他们双方提出问题，来判定谁是电脑谁是人类。78何谓人工智能（二）

----Turing测试测试主持人被测机希尔勒的中文屋子中文房间（Chineseroom，theChineseroomargument）又称作华语房间是由美国哲学家约翰·希尔勒（JohnSearle）在1980年设计的一个思维试验以推翻强人工智能（机能主义）提出的过强主张：只要计算机拥有了适当的程序，理论上就可以说计算机拥有它的认知状态以及可以像人一样地进行理解活动。79希尔勒的中文屋子中文房间（Chineseroom，the希尔勒的中文屋子其实验可表示为：一个人手中拿着一本象形文字对照手册，身处图灵实验中所提及的房子中。而另一人则在房间外向此房间发送象形文字问题。房间内的人只需按照对照手册，返回手册上的象形文字答案，房间外的人就会以为房间内的人是个会思维的象形文字专家。然而实际上房子内的人可能对象形文字一窍不通，更谈不上什么智能思维。80希尔勒的中文屋子其实验可表示为：一个人手中拿着一本象形文字8198210希尔勒的中文屋子机器是否真的理解了呢？希尔勒的中文屋子问题：通过了图灵测试就具有了智能吗？思考题：如何理解希尔勒的中文屋子？83希尔勒的中文屋子11AI的本质问题 研究如何制造出人造的智能机器或系统，来模拟人类智能活动的能力，以延伸人们智能的科学。84AI的本质问题 研究如何制造出人造的智能机器或系统，来模拟人孕育期（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年研制成功了世界上第一台通用电子计算机ENIAC85孕育期（1943－1955）自远古以来，人类就有用机

孕育期（1956年以前）麦克洛奇(W.McCulloch)和皮兹(W.Pitts)：美国神经生理学家，于1943年建成了第一个神经网络模型(MP模型)。维纳(N.Wiener，1874—1956)：美国著名数学家、控制论创始人。1948年创立了控制论。控制论向人工智能的渗透，形成了行为主义学派。图灵又于1950年，发表题为《计算机能思维吗？》的著名论文，明确提出了“机器能思维”的观点。可见，在人工智能诞生之前，一些著名科学家就已经创立了数理逻辑、神经网络模型和控制论，并发明了通用电子数字计算机。为人工智能的诞生准备了必要的思想、理论和物质技术条件。86

孕育期（1956年以前）麦克洛奇(W.McCull诞生期（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”这一术语87诞生期（1956--1970年）(1/3)AI诞生于一次历史诞生期（1956--1970年）(2/3)心理学小组1957年，纽厄尔、肖(J.Shaw)和西蒙等人的心理学小组研制了一个称为逻辑理论机(LogicTheoryMachine，简称LT)的数学定理证明程序。1960年研制了通用问题求解(GeneralProblemSolving)程序。该程序当时可以解决11种不同类型的问题，如不定积分、三角函数、代数方程、猴子摘香蕉、河内梵塔、人—羊过河等。

IBM工程小组1956年，塞缪尔在IBM704计算机上研制成功了具有自学习、自组织和自适应能力的西洋跳棋程序。这个程序可以从棋谱中学习，也可以在下棋过程中积累经验、提高棋艺。通过不断学习，该程序1959年击败了塞缪尔本人，1962年又击败了一个州的冠军。MIT小组

1958年，麦卡西建立了行动规划咨询系统。1960年，麦卡西又研制了人工智能语言LISP。1961年，明斯基发表了“走向人工智能的步骤”的论文，推动了人工智能的发展。88诞生期（1956--1970年）(2/3)心理学小组16诞生期（1956--1970年）(3/3)其他方面1965年，鲁宾逊(J.A.Robinson)提出了归结（消解）原理。

1965年，费根鲍姆(E.A.Feigenbaum)开始研究化学专家系统DENDRAL。89诞生期（1956--1970年）(3/3)其他方面17知识应用期（1971--80年代末）(1/2)失败的预言：60年代初，西蒙预言：10年内计算机将成为世界冠军、将证明一个未发现的数学定理、将能谱写出具有优秀作曲家水平的乐曲、大多数心理学理论将在计算机上形成。

挫折和教训在博弈方面，塞缪尔的下棋程序在与世界冠军对弈时，5局败了4局。在定理证明方面，发现鲁宾逊归结法的能力有限。当用归结原理证明两个连续函数之和还是连续函数时，推了10万步也没证出结果。在问题求解方面，对于不良结构，会产生组合爆炸问题。在机器翻译方面，发现并不那么简单，甚至会闹出笑话。例如，把“心有余而力不足”的英语句子翻译成俄语，再翻译回来时竟变成了“酒是好的，肉变质了”在神经生理学方面，研究发现人脑有1011-12以上的神经元，在现有技术条件下用机器从结构上模拟人脑是根本不可能的。在其它方面，人工智能也遇到了不少问题。在英国，剑桥大学的詹姆教授指责“人工智能研究不是骗局，也是庸人自扰”。从此，形势急转直下，在全世界范围内人工智能研究陷入困境、落入低谷。

90知识应用期（1971--80年代末）(1/2)失败的预言：1知识应用期（1971--80年代末）(2/2)以知识为中心的研究：

专家系统实现了人工智能从理论研究走向实际应用，从一般思维规律探讨走向专门知识运用的重大突破，是AI发展史上的一次重要转折。1972年，费根鲍姆开始研究MYCIN专家系统，并于1976年研制成功。从应用角度看，它能协助内科医生诊断细菌感染疾病，并提供最佳处方。从技术角度看，他解决了知识表示、不精确推理、搜索策略、人机联系、知识获取及专家系统基本结构等一系列重大技术问题。

1976年，斯坦福大学的杜达(R.D.Duda)等人开始研制地质勘探专家系统PROSPECTOR这一时期，与专家系统同时发展的重要领域还有计算机视觉和机器人，自然语言理解与机器翻译等。新的问题：

专家系统本身所存在的应用领域狭窄、缺乏常识性知识、知识获取困难、推理方法单一、没有分布式功能、不能访问现存数据库等问题被逐渐暴露出来。

91知识应用期（1971--80年代末）(2/2)以知识为中心的从学派分立到综合（20世纪80年代到本世纪初）人工智能研究形成了三大学派：随着人工神经网络的再度兴起和布鲁克（R.A.Brooks）的机器虫的出现，人工智能研究形成了符号主义、连接主义和行为主义三大学派。

符号主义学派是指基于符号运算的人工智能学派，他们认为知识可以用符号来表示，认知可以通过符号运算来实现。例如，专家系统等。连接主义学派是指神经网络学派，在神经网络方面，继鲁梅尔哈特研制出BP网络之后，1987年，首届国际人工神经网络学术大会在美国的圣迭戈（San-Diego）举行，掀起了人工神经网络的第二次高潮。之后，随着模糊逻辑和进化计算的逐步成熟，又形成了“计算智能”这个统一的学科范畴。

行为主义学派是指进化主义学派，在行为模拟方面，麻省理工学院的布鲁克教授1991年研制成功了能在未知的动态环境中漫游的有6条腿的机器虫。三大学派的综合集成随着研究和应用的深入，人们又逐步认识到，三个学派各有所长，各有所短，应相互结合、取长补短，综合集成。

92从学派分立到综合（20世纪80年代到本世纪初）人工智能研究形智能科学技术的兴起目前，一个以人工智能为核心，以自然智能、人工智能、集成智能为一体的新的智能科学技术学科正在逐步兴起，并引起了人们的极大关注。该学科研究的主要特征包括以下几个方面：(1)由对人工智能的单一研究走向以自然智能、人工智能、集成智能为一体的协同研究；(2)由人工智能学科的独立研究走向重视与脑科学、认知科学、等学科的交叉研究；(3)由多个不同学派的独立研究走向多学派的综合研究；(4)由对个体、集中智能的研究走向对群体、分布智能的研究。

93智能科学技术的兴起目前，一个以人工智能为核心，以自然AI研究中的不同学派符号主义学派（逻辑主义、心理学派）主要观点：AI起源于数理逻辑，人类认知的基元是符号，认知过程是符号表示上的一种运算代表性成果：厄尔和西蒙等人研制的称为逻辑理论机的数学定理证明程序LT

代表人物：纽厄尔、肖、西蒙和尼尔逊(Nilsson)等

连接主义学派（仿生学派或心理学派）主要观点：AI起源于仿生学，特别是人脑模型，人类认知的基元是神经元，认知过程是神经元的连接活动过程代表性成果：由麦克洛奇和皮兹创立的脑模型，即MP模型

代表人物：麦克洛奇和皮兹行为主义学派（进化主义、控制论学派）主要观点：AI起源于控制论，智能取决于感知和行为，取决于对外界复杂环境的适应，而不是推理。代表性成果：Brooks教授研制的机器虫代表人物：Brooks教授94AI研究中的不同学派符号主义学派（逻辑主义、心理学派）22AI研究中的不同学派

不同学派的理论之争符号主义智能的基础是知识，其核心是知识表示和知识推理；知识可用符号表示，也可用符号进行推理，因而可以建立基于知识的人类智能和机器智能的统一的理论体系。连接主义思维的基元是神经元，而不是符号；思维过程是神经元的联结活动过程，而不是符号运算过程；反对符号主义关于物理符号系统的假设。

行为主义智能取决于感知和行动，提出了智能行为的“感知—动作”模型；智能不需要知识、不需要表示、不需要推理；人工智能可以像人类智能那样逐步进化95AI研究中的不同学派

不同学派的理论之争符号主义23AI研究中的不同学派

不同学派的方法之争符号主义功能模拟构造能够模拟大脑功能的智能系统。相当于“鸟飞”连接主义结构模拟构造模拟大脑结构的神经网络系统。相当于“飞鸟”行为主义行为模拟构造具有进化能力的智能系统。相当于“由猿到人”96AI研究中的不同学派

不同学派的方法之争符号主义24AI的研究内容搜索技术知识表示规划方法机器学习认知科学97AI的研究内容搜索技术25AI的研究内容（续1）自然语言理解与机器翻译专家系统与知识工程定理证明博弈机器人数据挖掘与知识发现98AI的研究内容（续1）自然语言理解与机器翻译26AI的研究内容（续2）多Agent系统复杂系统足球机器人人机交互技术99AI的研究内容（续2）多Agent系统27人工智能取得的一些成果四十多年来，人工智能的研究虽然步履艰难，但也取得了一些很突出的成绩。下面列举一些实例。100人工智能取得的一些成果四十多年来，人工智能的研究虽然步履艰难定理证明50年代中期，世界上最早的启发式程序“逻辑理论家”，证明了数学名著《数学原理》中的38个定理。经改进后，62年证明了该书中全部的52个定理。被认为是用计算机探讨人类智力活动的第一个真正的成果。101定理证明50年代中期，世界上最早的启发式程序“逻辑理论家”，四色定理的证明四色定理从1852年发现四色问题，世界上很多著名的科学家试图证明，当一直未能完成。1976年6月，哈肯在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿次判断，终于完成了四色定理的证明，从而解决了一个历时100多年的问题，轰动了世界。102四色定理的证明四色定理30定理证明的“吴方法”2000年我国最高科学技术奖获得者吴文俊教授，提出了“数学机器化”。1977年，吴文俊关于平面几何定理的机械化证明首次取得成功。创立了定理机器证明的“吴方法”。103定理证明的“吴方法”2000年我国最高科学技术奖获得者吴文俊通用问题求解器（GPS）从1957年开始，Newell等人开始研究一种不依赖于具体领域的通用解题程序，这个程序的设计是从模仿人类问题求解的规程开始的。在它能处理的有限类别的问题中，它显示出程序决定的子目标及可能采取的行动的次序，与人类求解同样问题是类似的。因此，GPS很可能是第一个实现了“像人一样思考”方法的程序。104通用问题求解器（GPS）从1957年开始，Newell等人开专家系统人类之所以能求解问题，是因为人类具有知识。专家系统就是把有关领域专家的知识整理出来，让计算机利用这些知识求解专门领域的问题。1968年世界上第一个专家系统DENDRAL问世。MYCIN，一个著名的医疗诊断专家系统105专家系统人类之所以能求解问题，是因为人类具有知识。33第一个商用专家系统：R1世界上第一个成功的商用专家系统，1982年开始正式在DEC公司使用。该程序帮助为新计算机系统配置订单；到1986年为止，估计它为公司每年节省了4千万美元。106第一个商用专家系统：R1世界上第一个成功的商用专家系统，19海湾战争中的专家系统在1991年的海湾危机中，美国军队使用专家系统用于自动的后勤规划和运输日程安排。这项工作同时涉及到50000个车辆、货物和人，而且必须考虑到起点、目的地、路径以及解决所有参数之间的冲突。AI规划技术使得一个计划可以在几小时内产生，而用旧的方法需要花费几个星期。107海湾战争中的专家系统在1991年的海湾危机中，美国军队使用专数字识别清华大学智能技术与系统国家重点实验室采用神经元网络方法研制的数字识别系统，用于2000年我国人口普查。对普查数据进行自动识别，错误率达到了万分之一以下的高水平。108数字识别清华大学智能技术与系统国家重点实验室采用神经元网络方古籍数字化——《四库全书》109古籍数字化——《四库全书》37IBM的“深蓝” 北京时间1997年5月12日凌晨4点50分，美国纽约公平大厦，当IBM公司的“深蓝”超级电脑将棋盘上的一个兵走到C4的位置上时，国际象棋世界冠军卡斯帕罗夫对“深蓝”的人机大战落下帷幕，“深蓝”以3.5：2.5的总比分战胜卡斯帕罗夫。110IBM的“深蓝” 北京时间1997年5月12日凌晨4点正在与深蓝下棋的卡斯帕罗夫111正在与深蓝下棋的卡斯帕罗夫39IBM的“深蓝”（续1）96年2月第一次比赛结果： “深蓝”：胜、负、平、平、负、负97年5月第二次比赛结果： “深蓝”：负、胜、平、平、平、胜112IBM的“深蓝”（续1）96年2月第一次比赛结果：40IBM的“深蓝”（续2）“深蓝”的技术指标：32个CPU每个CPU有16个协处理器每个CPU有256M内存每个CPU的处理速度为200万步/秒113IBM的“深蓝”（续2）“深蓝”的技术指标：41“人机之战”简史1958年，IBM704成为第一台能同人下棋的计算机，名为“思考”，思考速度每秒200步60年代中期，科学家德里夫斯断言，计算机将无法击败一位年仅10岁的棋手1973年，国际象棋软件4.0被开发出来，这是未来程序的基础1979年，国际象棋软件4.9达到专家级水平1981年，CRAYBLITZ新的超级计算机拥有特殊的集成电路，预言将可在1995年击败世界棋王114“人机之战”简史1958年，IBM704成为第一台能同人下棋1983年，BELLEAT＆T开发了国际象棋硬件，达到了大师水平80年代中期，皮兹堡的CARNEGIEMELLON大学开始研究世界级的国际象棋计算机程序1987年，“深思”首次以每秒钟75万步的思考速度露面，它的水平相当于拥有国际等级分为2450的棋手1988年，“深思”击败丹麦特级大师拉尔森1989年，“深思”已经有6台信息处理器，每秒思考速度达200万步，但在与世界棋王卡斯帕罗夫进行的“人机大战”中对阵以0比2败北1151983年，BELLEAT＆T开发了国际象棋硬件，达到了大师1990年，“深思”第二代产生，使用IBM的硬件，吸引了前世界棋王卡尔波夫与之对抗1991年，“弗里茨”问世1993年，“深思”二代击败了丹麦国家队，在与世界优秀女棋手小波尔加的对抗中获胜1995年，“深蓝”更新程序，新的集成电路将其思考速度达到每秒300万步1996年，“深蓝”在与卡斯帕罗夫的挑战赛中，以2比4不敌卡斯帕罗夫1997年，“超级深蓝”开发出了更加高级的“大脑”，4名国际大师参与IBM的挑战小组为电脑与卡斯帕罗夫重战出谋划策，最后“超级深蓝”以3比2击败了卡斯帕罗夫，卡斯帕罗夫要求重赛，但没有得到回应1161990年，“深思”第二代产生，使用IBM的硬件，吸引了前世1999年，“弗里茨”升级为“更弗里茨”(DeepFritz)2001年，“更弗里茨”更新了程序，击败了卡斯帕罗夫和阿南德，以及除了克拉姆尼克之外的所有排名世界前十位的棋手2002年10月，“更弗里茨”与克拉姆尼克在巴林进行“人机大战”，思考速度为每秒600万步，双方4比4战平2003年1～2月“更年少者”与卡斯帕罗夫举行人机对抗，双方3比3战平1171999年，“弗里茨”升级为“更弗里茨”(DeepFrit思考题2：国际象棋、中国象棋与围棋为什么已经有了可以战胜国际大师的国际象棋程序，而中国象棋和围棋的程序水平却比较低呢？力量投入问题？计算机发展水平问题？棋本身的复杂性问题？其他别的问题？118思考题2：国际象棋、中国象棋与围棋为什么已经有了可以战胜国际智能汽车智能技术与系统国家重点实验室研制的智能汽车119智能汽车智能技术与系统国家重点实验室研制的智能汽车47在高速公路上，该汽车可以自动识别道路，自动躲避障碍物在最近的实验中，平均速度为100公里，最高速度达到了150公里，达到了世界先进水平。120在高速公路上，该汽车可以自动识别道路，自动躲避障碍物48足球机器人两个组织：RoboCup和FIRA设有仿真组、小型组、中型组和有腿组控制方式：FIRA采用集中控制，而RoboCup采用分布式控制清华大学获得2001、2002年RoboCup世界冠军、2003年亚军（仿真组）清华大学获得2003年RoboCup小型组全国冠军121足球机器人两个组织：RoboCup和FIRA49小型组有腿组122小型组历史上的人工智能大师下面介绍图灵和几位获得图灵奖的人工智能大师123历史上的人工智能大师下面介绍图灵和几位获得图灵奖的人工智能大阿伦•图灵

（AlanTuring） 计算机科学理论的创始人124阿伦•图灵

（AlanTuring） 计算机科学理论的创始阿伦•图灵（AlanTuring）1912年出生于英国伦敦，1954年去世1936年发表论文“论可计算数及其在判定问题中的应用”，提出图灵机理论1950年发表论文“计算机与智能”，阐述了计算机可以具有智能的想法，提出图灵测试1966年为纪念图灵的杰出贡献，ACM设立图灵奖125阿伦•图灵（AlanTuring）1912年出生于英国伦敦马文•明斯基

（MarnivLeeMinsky） 人工智能之父 框架理论的创立者 首位获得图灵奖的人工智能学者126马文•明斯基

（MarnivLeeMinsky） 人工马文•明斯基

（MarnivLeeMinsky）1927年出生于美国纽约1951年提出思维如何萌发并形成的基本理论1956年达特茅斯会议的发起人之一1958年在MIT创建世界上第一个AI实验室1969年获得图灵奖1975年首创框架理论127马文•明斯基

（MarnivLeeMinsky）1927约翰•麦卡锡

（JohnMcCarthy）人工智能之父LISP语言的发明人首次提出AI的概念128约翰•麦卡锡

（JohnMcCarthy）人工智能之父56约翰•麦卡锡

（JohnMcCarthy）1927年出生于美国波士顿1956年发起达特茅斯会议，