第章人工智能与知识工程

人工智能与知识工程华北电力大学计算机系刘丽

1/16/20231教材及参考书籍参考教材：《人工智能》，马少平、朱小燕，清华大学出版社，2004年。《人工智能与知识工程》，王永庆编著，西安交通大学出版社，1998年。《人工智能教程（第二版）》，王士同，电子工业出版社，2006。主要参考文献：

《人工智能技术导论(第三版)》，廉师友，西安电子科技大学出版社，2007年。《人工智能》，史忠植，王文杰，清华大学出版社，2007年。《人工智能原理及其应用》，王万森，电子工业出版社，2007年。《人工智能：智能系统指南(原书第2版)》，(澳)MICHAELNEGNEVITSKY编著，顾力栩等译，机械工业出版社，2007年。《人工智能：复杂问题求解的结构和策略(原书第5版)》，(美)GEORGEF.LUGER编著，史忠植等译，机械工业出版社，2006年。1/16/20232考试方法考试开卷百分比：50%大作业课程总结百分比：40%平时成绩出勤百分比：10%1/16/20233大作业题目人工生命人工免疫系统人工神经网络进化计算（遗传算法、进化策略、进化规划）多智能体系统分形方式每题8～9人，独立完成，形成书面学习笔记、研究综述等综合报告成果，口头报告（定义、原理、研究进展、程序实例等），学术交流1/16/20234主要内容绪论知识表示搜索技术回溯策略、无信息图搜索、启发式图搜索，与或图搜索谓词逻辑与归结原理人工智能的程序设计语言不确定性推理方法机器学习人工智能新技术1/16/20235第0章绪论0.1什么是人工智能0.2图灵测试0.3中文屋子问题0.4人工智能的研究目标0.5人工智能发展简史0.6人工智能研究课题1/16/202360.1什么是人工智能很早人类就有制造机器人的幻想黄帝的“指南车”诸葛亮的“木牛流马”亚里士多德的形式逻辑莱布尼茨的关于数理逻辑的思想“机器人”一词的来源1/16/20237莱布尼茨

手摇计算机(LeibnizWheel)整个机器由齿轮系统传动重要部件是阶梯形轴便于实现简单的四则运算第一个认识到二进制记数法重要性的人，系统地提出了二进制数的运算法则1/16/20238现代人工智能的兴起现代人工智能（ArtificialIntelligence，AI）一般认为起源于美国1956年的一次夏季讨论（达特茅斯会议），在这次会议上，第一次提出了“ArtificialIntelligence”这个词与会者：McCarthy、Minsky、Locheseter、Shannon、Samuel、Newell、Simon等AI至今没有统一的定义1/16/20239什么是人工智能？J.McCarthyAI使一部机器的反应方式就像是一个人在行动时所依据的智能1/16/202310约翰•麦麦卡锡（（JohnMcCarthy）人工智能能之父LISP语言的的发明人人首次提出出AI的的概念12/31/202211约翰•麦麦卡锡（（JohnMcCarthy）1927年出生生于美国国波士顿顿1956年发起起达特茅茅斯会议议，并提提出“人人工智能能”的概概念1958年与明明斯基一一起创建建世界上上第一个个人工智智能实验验室发明α－－β剪枝枝算法1959年开发发LISP语言言开创逻辑辑程序研研究，用用于程序序验证和和自动程程序设计计1971年获得得图灵奖奖12/31/202212什么是人工工智能？J.NilssonAI是关于于知识的科科学，即怎怎样表示知知识、获取取知识和使使用知识的的科学P.Winston（PatrickHenryWinston：美国人工智智能协会前前主席,美美国麻省省理工学院院（MIT）人工智智能和计算算机科学教教授，美国国Ascent技术术公司总裁裁和创始人人之一）AI研究如如何使计算算机去做过过去只有人人才能做的的富有智能能的工作12/31/202213逻辑学派的的奠基人之之一，对AI的发展展做出了重重大的贡献献P.E.Hart,N.J.Nilsson,andB.Raphael.Aformalbasisfortheheuristicdeterminationofminimumcostpathsingraphs.IEEETrans.Syst.Sci.andCybernetics,SSC-4(2):100-107,1968”---A*算算法斯坦福大学学终身的工工程学KUMAGAI教授曾任《ARTIFICIALINTELLIGENCE》、《《MACHINELEARNING》杂志的的编辑、斯斯坦福大学学计算机科科学系系主主任、SRT人工智智能中心主主任及美国国人工智能能协会理事事长J.Nilson12/31/202214什么是人工工智能？M.MinskyAI是让机机器做本需需要人的智智能才能做做到的事情情的一门学学科A.FeigenbaumAI是一个个知识信息息处理系统统12/31/202215马文•明斯斯基（MarnivLeeMinsky））人工智能之之父框架理论的的创立者首位获得图图灵奖的人人工智能学学者12/31/202216马文•明斯基基（MarnivLeeMinsky）1927年出出生于美国纽纽约1951年提提出思维如何何萌发并形成成的基本理论论1956年达达特茅斯会议议的发起人之之一1958年在在MIT创建建世界上第一一个AI实验验室1969年获获得图灵奖1975年首首创框架理论论12/31/202217爱德华•费根根鲍姆（EdwardA.Feigenbaum）知识工程的提提出者大型人工智能能系统的开拓拓者12/31/202218爱德华•费根根鲍姆（EdwardA.Feigenbaum）1936年出出生于美国的的新泽西州通过实验和研研究，证明了了实现智能行行为的主要手手段是知识1977年提提出知识工程程，使人工智智能从理论转转向应用名言：知识蕴蕴藏着力量1994年和和劳伊•雷迪迪共同获得图图灵奖12/31/2022191963年主主编《计算机机与思想》，，被认为是世世界上第一本本有关人工智智能的经典性性专著1965年开开发出世界上上第一个专家家系统Dendral开发出著名的的专家系统MYCIN80年代合著著了四卷本的的《人工智能能手册》开设Teknowledge和IntelliGenetics两个个公司，是世世界上最早以以开发和将专专家系统商品品化的公司爱德华•费根根鲍姆（EdwardA.Feigenbaum）12/31/202220劳伊伊••雷雷迪迪（（RajReddy））大型型人人工工智智能能系系统统的的开开拓拓者者12/31/202221劳伊伊••雷雷迪迪（（RajReddy））1937年年出出生生于于印印度度，，1966年年在在美美国国获获得得博博士士1994年年与与费费根根鲍鲍姆姆共共同同获获得得图图灵灵奖奖主持持过过一一系系列列大大型型AI系系统统的的开开发发Navlab能能在在道道路路行行驶驶的的自自动动车车辆辆项项目目LISTEN用用于于扫扫盲盲的的语语音音识识别别系系统统以诗诗人人但但丁丁命命名名的的火火山山探探测测机机器器人人项项目目自动动机机工工厂厂项项目目，，提提出出““白白领领机机器器人人学学””12/31/202222什么么是是人人工工智智能能像人一样思考的系统理性地思考的系统“要使计算机能够思考..….意思就是：有头脑的机器”（Haugeland,1985）“与人类的思维相关的活动，诸如决策、问题求解、学习等活动”（Bellman,1978）“通过利用计算模型来进行心智能力的研究”（Chamiak和McDermott,1985）“对使得知觉、推理和行为成为可能的计算的研究”（Winston,1992）像人一样行动的系统理性地行动的系统“一种技艺，创造机器来执行人需要智能才能完成的功能”（Kurzweil,1990）“研究如何让计算机能够做到那些目前人比计算机做得更好的事情”（Rich和Knight,1991）“计算智能是对设计智能化智能体的研究”（Poole等，1998）“AI..….关心的是人工制品中的智能行为”（Nilsson,1998）12/31/202223什么是人人工智能能AI研究究的是如如何运用用知识，，以便像像人类一一样完成成富有智智能的工工作就AI的的本质来来说，可可以认为为人工智智能是一一门研究究如何制制造出人人造的智智能机器器或智能能系统，，来模拟拟人类智智能活动动的能力力，以延延伸人们们智能的的科学12/31/202224人工智能能和通常常程序的的比较人工智能能通常计算算机程序序主要是符号处理主主要是是数字处理启发式搜搜索依靠算法控制结构构和知识识域相分离信息和控控制联结结在一起易于修改改、更新新和改变变难难以以修改允许不正确的的答案要求正确的回回答AI程序序：干什么传统程序序：干些什么么及如何何干12/31/202225智能和智智力“智能””源于拉丁丁“Legere”，意思思是收集集、汇集集，智能能通常用用来表示示从中进进行选择、理理解和感感觉自然智能能人类和一一些动物物所具有有的智力和行行为能力力智力是针对具体体情况的，根据据不同的的情况有有不同的的含义“智力””是指学会某种种技能的的能力，，而不是是指技能能本身12/31/202226智能和和智力力智能的的定义义和描描述：：（1））善于于判断、、理解解和推推理（2））综合合智力力———主要要是指指“相互关关系的的训练练”（3））形成要要领和掌握含含义的能力力（4））全面考考试的的能力力或思维的的效率率（5））先天的的、综综合的的和认认知的的能力力（6））智力力活动动包括括在某某一情情况下下抓住本本质并对他他们作作出适当的反应应（7）适当当地行动、、理智地思思考、有效效地适应环环境的总体能力。。（8）身体体和社会环环境的适应性判断、理解解、推理、、形成概念念、适当的的反应和适适应性等12/31/2022270.2图灵灵测试如何知道一一个系统是是否具有智智能呢？1950年年，计算机机科学家图图灵提出了了著名的““图灵测试试”12/31/202228测试试的的设设置置测试试的的参参与与者者：：测试试人人被测测试试人人一个个人人一个个声声称称自自己己有有人人类类智智力力的的机机器器测试试过过程程：：测试试人人与与被被测测试试人人是是分分开开的的，，测测试试人人只只有有通通过过一一些些装装置置（（如如键键盘盘））向向被被测测试试人人问问一一些些问问题题，，这这些些问问题题随随便便是是什什么么问问题题都都可可以以12/31/202229测试试的的设设置置12/31/202230问过一些问题题后测试人能正确确地分出谁是是人谁是机器器——机器没没有通过图灵灵测试测试人没有分分出谁是机器器谁是人———机器通过了了图灵测试，，具有了图灵测试意义义下的智能计算机为了通通过图灵测试试，要很好地地模拟人类的的优点和不足不能比人类愚愚蠢，也不能能比人类聪明明在某些方面变变得愚蠢并不不是很难的事事情困难的是一些些常识性的问问题人类可以非常常轻松的处理理常识性的问问题，但对于于计算机来说说却非常困难难测试的设置12/31/202231图灵测试———示范1问：请给我写写出有关“第第四号桥”主主题的十四行行诗。答：不要问我我这道题，我我从来不会写写诗。问：34957加70764等于多多少？答：（停30秒后）105721问：你会下国国际象棋吗？？答：是的。问：我在我的的K1处有棋棋子K；你仅仅在K6处有有棋子K，在在R1处有棋棋子R。现在在轮到你走，，你应该下那那步棋？答：（停15秒钟后）棋棋子R走到R8处，将军军！12/31/202232图灵测试———示范2问：你会下国国际象棋吗？？答：是的。问：你会下国国际象棋吗？？答：是的。问：请再次回回答，你会下下国际象棋吗吗？答：是的。一部笨机器!!!12/31/202233图灵测测试———示示范3问：你你会会下国国际象象棋吗吗？答：是是的。。问：你你会下下国际际象棋棋吗？？答：是是的，，我不不是已已经说说过了了吗？？问：请请再次次回答答，你你会下下国际际象棋棋吗？？答：你你烦不不烦，，干嘛嘛老提提同样样的问问题。。大概是是人而而不是是机器器!!!12/31/202234图灵灵测测试试————示示范范4很多多人人研研究究过过计计算算机机对对话话程程序序，，如如J.Weizenbaum写写的的Eliza（（扮扮演演心心理理医医生生）），，模模仿仿心心理理医医生生和和女女病病人人的的对对话话P：：所所有有男男人人都都一一个个样样。。E：：这这从从何何说说起起呢呢？？P：：他他们们总总是是这这样样和和那那样样的的找找我我们们的的麻麻烦烦。。E：：你你能能举举一一个个例例子子吗吗？？P：：好好吧吧，，你你瞧瞧，，我我的的男男朋朋友友叫叫我我的的这这儿儿来来。。E：：哦哦，，你你的的男男朋朋友友叫叫你你到到这这儿儿来来。。P：：他他说说我我显显得得精精神神沮沮丧丧已已经经很很长长时时间间了了。。E：：听听到到你你说说你你精精神神沮沮丧丧，，我我很很同同情情。。P：：说说真真的的，，我我很很不不高高兴兴。。E：：你你认认为为到到这这儿儿来来能能帮帮助助你你高高兴兴起起来来吗吗？？P：：那那当当然然，，我我需需要要帮帮助助。。E：：如如果果你你得得到到了了帮帮助助，，那那将将意意味味着着什什么么？？12/31/202235图灵灵测测试试对人人类类来来说说容容易易求求解解的的问问题题，，对对计计算算机机来来说说并并不不一一定定容容易易解解决决对人人类类来来说说困困难难的的问问题题，，计计算算机机处处理理起起来来不不一一定定困困难难利用用计计算算机机难难以以通通过过图图灵灵测测试试的的特特点点，，逆逆向向使使用用图图灵灵测测试试，，解解决决复复杂杂问问题题防止止利利用用程程序序对对网网络络系系统统进进行行恶恶意意攻攻击击，，在在登登录录界界面面上上，，除除了了要要输输入入用用户户名名、、密密码码之之外外，，还还要要识识别别出出系系统统随随机机产产生生的的一一些些在在复复杂杂背背景景上上的的变变形形文文字字12/31/202236人工智能能碰上人人工智能能？12/31/2022370.3希希尔勒的的中文屋屋子罗杰•施施安克的的故事理理解程序序（举例）机器是否否真的理解了呢？希尔勒的的中文屋子子问题：通通过了图图灵测试试就具有有了智能能吗？思考题：：如何理理解希尔尔勒的中中文屋子子？该程序可可以在““阅读””一个英英文故事事之后，，回答和和故事有有关的问问题来自反对对者的声声音，即即便通过过了图灵灵实验，，也不认认为就是是理解了了12/31/2022380.4AI的研究目标标AI是研究如如何制造出人人造的智能机机器或智能系系统，来模拟拟人类智能活动动的能力，以延伸人们们智能的科学学人类智能活动动的能力：：人类在认识识世界和改造造世界的活动动中，由脑力力劳动表现出出来的能力认识和理解世世界环境的能能力提出概念、建建立方法，进进行演绎和归归纳推理、作作出决策的能能力学习的能力自我适应的能能力12/31/2022390.4AI的研究途径径心理学（符号号主义）：人工智能源于于数理逻辑。。认识的基本本元素是符号号，智能和知知识可用符号号表示、擅长长抽象思维人工智能的主主流学派，代代表有纽厄尔尔、肖、西蒙蒙和尼尔逊等等生理学（联结结主义）：原理主要为神神经网络及神神经网络间的的连接机制与与学习算法认为认识的基基本元素是神神经元，认识识过程是大量量神经元的并并行活动，擅擅长形象思维维生物进化（行行为主义）行行为主义：原理为控制论论及感知论认为人工智能能源于控制论论。代表人物物有布鲁克斯斯12/31/2022400.5AI的历史史回顾（1）阶段1：萌萌芽期（1956年年以前）神话传说：：帮助人劳劳动的机器器人，歌舞舞机器人法国物理学学家和数学学家B·Pascal的机械械加法器Leibniz在机机械加法器器基础上制制造了四则则运算器英国数学家家和力学家家C·Babbage对差分分机和分析析机的研究究图灵的图灵灵机模型1938德德国工程师师Zuse的累计数数字计算机机Z-11945JohnVonNeu-mann冯··诺依曼结结构1946年年Mauchly等等的第一台台计算机ENIACWiener的控制制论和Shannon的信息息论等12/31/2022410.5AI的历史史回顾（2）阶段2：人人工智能基基础技术的的研究和形形成(1956—1970)Dartmouth聚会后，，在美国开开始形成了了以人工智智能为研究究目标的几几个研究组组：Newell和Simon的的Carnegie-RAND协作组组Samuel和Gelernter的的IBM公公司工程课课题研究组组Minsky和McCarthy的MIT研究究组等主要工作12/31/2022420.5AI的的历历史史回回顾顾（（3））方面面1：：A.Newell、、J.Shaw和和H.Simon等等人人编编制制出出逻辑辑理理论论机机LT，当当时时该该程程序序证证明明了了““数数学学原原理理””一一书书第第二二章章中中的的38个个定定理理1960年年编编制制了了能能解解十十种种类类型型不不同同课课题题的的通通用用问问题题求求解解程程序序GPS，和和LT是是首首次次在在计计算算机机上上运运行行的的启启发发式式程程序序Newell关关于于自自适适应应象象棋棋机机的的论论文文Simon关关于于问问题题求求解解和和决决策策过过程程中中合合理理选选择择和和环环境境影影响响的的行行为为理理论论的的论文文人的的口口语语学学习习和和记记忆忆的的EPAM模模型型（（1959年年））、、早早期期自自然然语语言言理理解解程程序序SAD-SAM12/31/202243赫伯特特•西西蒙（（HerbertA.Simon）符号主主义学学派的的创始始人爱好广广泛的的全能能科学学家中国科科学院院外籍籍院士士12/31/2022441916年年出生生于美美国的的威斯斯康辛辛州1943年年在匹匹兹堡堡大学学获政政治学学博士士学位位1969年年因心心理学学方面面的贡贡献获获得杰杰出科科学贡贡献奖奖1975年年和他他的学学生艾艾伦••纽厄厄尔共共同获获得图图灵奖奖1978年年获得得诺贝贝尔经经济学学奖1986年年因行行为学学方面面的成成就获获得美美国全全国科科学家家奖章章赫伯特特•西西蒙（（HerbertA.Simon）12/31/20224550年年代至至60年代代初开开发了了世界界上最最早的的启发发式程程序““逻辑辑理论论家””LT57年年开发发了IPL(InformationProcessingLanguage)语语言，，是最最早的的AI语言言60年年开发发了““通用用问题题求解解系统统”GPS66年年开发发了最最早的的下棋棋程序序之一一MATER70年年发展展与完完善了了语义义网络络的概概念和和方法法70年年代提提出了了“物物理符符号系系统假假说””70年年代提提出决决策过过程模模型赫伯特特•西西蒙（（HerbertA.Simon）12/31/202246艾伦••纽厄厄尔（（AllenNewell）符号主主义学学派的的创始始人之之一西蒙的的学生生与同同事1975年年与西西蒙同同获图图灵奖奖12/31/2022470.5AI的的历史回回顾（4）方面21956年Samuel的西西洋跳棋棋程序，，1959年这这个程序序曾战胜胜设计者者本人，，1962年还还击败了了美国一一个州的的跳棋大大师方面31959年McCarthy发明的的表处理理语言LISP，成为为人工智智能程序序设计的的主要语语言，至至今仍被被广泛采采用1958年McCarthy建立的的行动计计划咨询询系统以以及1960年年Minsky的论文文“走向向人工智智能的步步骤”，，对人工工智能的的发展都都起了积积极的作作用1956年N.Chomsky的文文法体系系，1958年年Selfridge等人的的模式识识别系统统程序等等12/31/2022480.5AI的的历史回回顾（5）阶段3：：发展和和实用化化阶段(1971—1980)各种新的的知识表示示技术和各各种专家系统统的出现知识表示示1968Quillian语义网络络知识表表示法（Simmon等人用用语义网网络表达达自然语语言理解解）1974Minsky框架(Frame)理理论非精确性性推理1976R．O．．Duda主观贝叶斯斯理论---Prospector重大成果1965Robinson归结原理1965R．KowalskiProlog思想，1972A．Colmerauer实现Prolog12/31/2022490.5AI的历史史回顾（6）阶段3：发发展和实用用化阶段(1971—1980)各种新的知识表示技术和各种种专家系统的出现专家系统1965E·Feigenbaum与化学家家C.Djerassi，J.Leberberg化学专家系系统DENRAL，，根据分子式式及其质谱谱数据推断断分子结构构1971MIT的C.Engleman，W.Martin和和J.Moses数学专家系系统MACSYMA，帮助人们们解决多种种数学问题题1972绍绍特里夫夫医疗专家MYCIN系统，诊断和治疗疗感染性疾疾病1976斯斯坦福大大学R.O.Duda地质勘探PROSPECTOR12/31/2022500.5AI的的历历史史回回顾顾（（7））阶段段3：：发发展展和和实实用用化化阶阶段段(1971——1980)各种种新新的的知识识表表示示技术术和和各各种种专家家系系统统的出出现现专家家系系统统、、计计算算机机视视觉觉和和机机器器人人、、自自然然语语言言理理解解和和机机器器翻翻译译等等1973（（1977））L.D.Erman语言言理理解解系系统统HEARSAY-I，，HRSAY-ⅡⅡ60年年代代后后期期机器器定定理理证证明明对对规规划划问问题题研研究究1960美美商用用工工业业机机器器人人UNIMATE和和VERSATRAN1977第第5届届人人工工智智能能联联合合会会议议，，Feigenbaum“人人工工智智能能的的艺艺术术：：知知识识工工程程课课题题及及实实例例研研究究””提出出知知识识工工程程的的概概念念12/31/2022510.5AI的历史回顾顾（8）阶段4——知知识工程与专专家系统(1980年至至今)商业性的应用用计划自然语言处理理系统开始商商业化：人工工智能公司的的INTELLECT系系统计算机视觉系系统的研制LISP机日本的第五代代计算机计划划；美国、英英国的新一代代电子计算机机计划等70年代末人人工智能研究究在我国自然语言处理理、计算机视觉和机器人学以及知识工程等更迅速的发展展12/31/2022520.5AI的的历史史回顾顾（9）IBM的““深蓝蓝”：：以3.5：：2.5的的总比比分战战胜卡卡斯帕帕罗夫夫“深蓝蓝”的的技术术指标标：32个个CPU每个CPU有16个个协处处理器器每个CPU有256M内内存每个CPU的处处理速速度为为200万万步/秒1969年年国际际人工工智能能联合合会成成立，，每两两年召召开一一次会会议12/31/202253Watson北京时间2011年年2月18日消息，，由IBM和美国德德克萨斯大大学联合研研制的超级级电脑“沃沃森”(Watson)昨日日在美国最最受欢迎的的智力竞猜猜电视节目目《危险边边缘》中击击败该节目目历史上两两位最成功功的选手肯肯-詹宁斯斯和布拉德德-鲁特，，成为《危危险边缘》》节目新的的王者12/31/202254Waston如何与与人对决智智力竞赛沃森超级电电脑概况“沃森”是是按IBM的创始人人托马斯··沃森的名名字命名的的，它利用用一个庞大大的并联网网络，与2000到到3000个Power7计算核心心相连，这这些计算核核心被放置置在7个冰冰箱大小的的容器里。。IBM已已经为“沃沃森”上传传了所有得得到许可和和公开的知知识内容，，以便打造造一个巨大大的语义索索如何与人智智力竞答？？在比赛过程程中，当主主持人阅读读线索时，，它们会以以电子内容容的形式传传输给“沃沃森”，然然后这台超超级电脑会会对接收到到的信息进进行分析，，并做出各各种构想，，接着搜索索所有信息息检验构想想的正误，，得出5个个最佳答案案，并对每每个答案设设定信心级级别，最终终决定选用用哪个答案案12/31/2022550.5AI的的历史回回顾（10）各国对AI的研研究美国———人工智智能的发发源地英国———60年年代就起起步人工工智能的的研究日本和西西欧———起步较较晚，但但发展较较快苏联———对人工工智能研研究比较较重视我国———从1978年年才开始始，主要要在定理理证明、、汉语自自然语言言理解、、机器人人及专家家系统方方面设立立课题，，并取得得一些初初步成果果重大的AI研究究机构：：MIT、、斯坦福福大学、、卡内基基梅隆大大学、IBM公公司、日日立中央央研究所所电气技技术综合合研究所所(ELT)、、早稻田田大学、、爱丁堡堡大学、、前苏联联的控制制问题研研究所等等12/31/2022560.5AI的历史回顾顾（11）足球机器人两个组织：RoboCup和FIRA设有仿真组、、小型组、中中型组和有腿腿组控制方式：FIRA采用用集中控制，，而RoboCup采用用分布式控制制12/31/202257AI的历史回回顾（12））小型组有有腿组12/31/202258AI的研究究课题具有一般意意义的核心心课题：知识的模型型化和表示示方法启发式搜索索理论各种推理方方法（演绎绎推理、规规划、常识识性推理、、归纳推理理等）人工智能系系统结构和和语言其他一些主主要的应用用领域12/31/202259AI的研究究课题（续续1）专家系统一个智能的的计算机程程序，它运运用知识和和推理步骤骤来解决只只有专家才才能解决的的复杂问题题自然语言理理解书面语的理理解口语(又称称声音)的的理解1970Winograd灵活的人机机对话手书文字识识别机器学习分布式人工工智能(DAI)70年代后后期AgentANN12/31/202260AI的研究究课题（续续2）定理证明（（TheoremProving））自然演绎法法纽厄厄尔LT程序籍勒洛特证明平面几几何定理判定法1977吴文俊证明初等几几何定理定理证明器器1965J．A．Robinson消解原理人机交互进进行定理证证明1976K．Appel证明四色定定理博弈（GamePlaying）研究对策和和斗智1962塞塞缪尔checkers1967R.Gren-blattChess1997/5/3