人工智能与知识工程

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

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

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

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