《人工智能与知识工程.pptx》由会员分享，可在线阅读，更多相关《人工智能与知识工程.pptx（92页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、 人工智能与知识工程人工智能与知识工程 华北电力大学华北电力大学 计算机系计算机系 刘丽刘丽 2024/3/111教材及参考书籍教材及参考书籍参考教材：参考教材：人工智能，马少平、朱小燕，清华大学出版社，2004年。人工智能与知识工程，王永庆编著，西安交通大学出版社，1998年。人工智能教程（第二版），王士同，电子工业出版社，2006。主要参考文献：主要参考文献：人工智能技术导论(第三版)，廉师友，西安电子科技大学出版社，2007年。人工智能，史忠植，王文杰，清华大学出版社，2007年。人工智能原理及其应用，王万森，电子工业出版社，2007年。人工智能：智能系统指南(原书第2版)，(澳)MIC
2、HAEL NEGNEVITSKY编著，顾力栩等译，机械工业出版社，2007年。人工智能：复杂问题求解的结构和策略(原书第5版)，(美)GEORGE F.LUGER编著，史忠植等译，机械工业出版社，2006年。2024/3/112华北电力大学华北电力大学考试方法考试方法考试开卷百分比：50%大作业课程总结百分比：40%平时成绩出勤百分比：10%2024/3/113华北电力大学华北电力大学大作业大作业题目人工生命人工免疫系统人工神经网络进化计算（遗传算法、进化策略、进化规划）多智能体系统分形方式每题89人，独立完成，形成书面学习笔记、研究综述等综合报告成果，口头报告（定义、原理、研究进展、程序实例
3、等），学术交流2024/3/114华北电力大学华北电力大学主要内容主要内容绪论知识表示搜索技术回溯策略、无信息图搜索、启发式图搜索，与或图搜索谓词逻辑与归结原理人工智能的程序设计语言不确定性推理方法机器学习人工智能新技术2024/3/115华北电力大学华北电力大学第第0章章 绪论绪论0.1 什么是人工智能0.2 图灵测试0.3 中文屋子问题0.4 人工智能的研究目标0.5 人工智能发展简史0.6人工智能研究课题2024/3/116华北电力大学华北电力大学0.1 什么是人工智能什么是人工智能很早人类就有制造机器人的幻想黄帝的“指南车”诸葛亮的“木牛流马”亚里士多德的形式逻辑莱布尼茨的关于数理逻辑
4、的思想“机器人”一词的来源2024/3/117华北电力大学华北电力大学莱布尼茨莱布尼茨 n手摇计算机(Leibniz Wheel)p整个机器由齿轮系统传动p重要部件是阶梯形轴p便于实现简单的四则运算第一个认识到二进制记数法重要性的人，系统地提出了二进制数的运算法则 2024/3/118华北电力大学华北电力大学现代人工智能的兴起现代人工智能的兴起现代人工智能（Artificial Intelligence，AI）一般认为起源于美国1956年的一次夏季讨论（达特茅斯会议），在这次会议上，第一次提出了“Artificial Intelligence”这个词与会者：McCarthy、Minsky、Lo
5、cheseter、Shannon、Samuel、Newell、Simon等AI至今没有统一的定义2024/3/119华北电力大学华北电力大学什么是人工智能？什么是人工智能？J.McCarthyAI使一部机器的反应方式就像是一个人在行动时所依据的智能2024/3/1110华北电力大学华北电力大学约翰约翰麦卡锡（麦卡锡（John McCarthy）人工智能之父LISP语言的发明人首次提出AI的概念2024/3/1111华北电力大学华北电力大学约翰约翰麦卡锡（麦卡锡（John McCarthy）1927年出生于美国波士顿1956年发起达特茅斯会议，并提出“人工智能”的概念1958年与明斯基一起创建世
6、界上第一个人工智能实验室发明剪枝算法1959年开发LISP语言开创逻辑程序研究，用于程序验证和自动程序设计1971年获得图灵奖2024/3/1112华北电力大学华北电力大学什么是人工智能？什么是人工智能？J.NilssonAI是关于知识的科学，即怎样表示知识、获取知识和使用知识的科学P.Winston（Patrick Henry Winston：美国人工智能协会前主席,美国麻省理工学院（MIT）人工智能和计算机科学教授，美国Ascent技术公司总裁和创始人之一）AI研究如何使计算机去做过去只有人才能做的富有智能的工作2024/3/1113华北电力大学华北电力大学l逻辑学派的奠基人之一，对AI的
7、发展做出了重大的贡献lP.E.Hart,N.J.Nilsson,and B.Raphael.A formal basis for the heuristic determination of minimum cost paths in graphs.IEEE Trans.Syst.Sci.and Cybernetics,SSC-4(2):100-107,1968”-A*算法l斯坦福大学终身的工程学KUMAGAI教授 l曾任ARTIFICIAL INTELLIGENCE、MACHINE LEARNING杂志的编辑、斯坦福大学计算机科学系系主任、SRT人工智能中心主任及美国人工智能协会理事长J.N
8、ilson2024/3/1114华北电力大学华北电力大学什么是人工智能？什么是人工智能？M.MinskyAI是让机器做本需要人的智能才能做到的事情的一门学科A.FeigenbaumAI是一个知识信息处理系统2024/3/1115华北电力大学华北电力大学马文马文明斯基（明斯基（Marniv Lee Minsky）人工智能之父框架理论的创立者首位获得图灵奖的人工智能学者2024/3/1116华北电力大学华北电力大学马文马文明斯基（明斯基（Marniv Lee Minsky）1927年出生于美国纽约1951年提出思维如何萌发并形成的基本理论1956年达特茅斯会议的发起人之一1958年在MIT创建世界
9、上第一个AI实验室1969年获得图灵奖1975年首创框架理论2024/3/1117华北电力大学华北电力大学爱德华爱德华费根鲍姆（费根鲍姆（Edward A.Feigenbaum）知识工程的提出者大型人工智能系统的开拓者2024/3/1118华北电力大学华北电力大学爱德华爱德华费根鲍姆（费根鲍姆（Edward A.Feigenbaum）1936年出生于美国的新泽西州通过实验和研究，证明了实现智能行为的主要手段是知识1977年提出知识工程，使人工智能从理论转向应用名言：知识蕴藏着力量1994年和劳伊雷迪共同获得图灵奖2024/3/1119华北电力大学华北电力大学1963年主编计算机与思想，被认为是
10、世界上第一本有关人工智能的经典性专著1965年开发出世界上第一个专家系统Dendral 开发出著名的专家系统MYCIN80年代合著了四卷本的人工智能手册开设Teknowledge和IntelliGenetics两个公司，是世界上最早以开发和将专家系统商品化的公司爱德华爱德华费根鲍姆（费根鲍姆（Edward A.Feigenbaum）2024/3/1120华北电力大学华北电力大学劳伊劳伊雷迪（雷迪（Raj Reddy）大型人工智能系统的开拓者2024/3/1121华北电力大学华北电力大学劳伊劳伊雷迪（雷迪（Raj Reddy）1937年出生于印度，1966年在美国获得博士1994年与费根鲍姆共同
11、获得图灵奖主持过一系列大型AI系统的开发Navlab 能在道路行驶的自动车辆项目LISTEN 用于扫盲的语音识别系统以诗人但丁命名的火山探测机器人项目自动机工厂项目，提出“白领机器人学”2024/3/1122华北电力大学华北电力大学什么是人工智能什么是人工智能像人一样思考的系统理性地思考的系统“要使计算机能够思考.意思就是：有头脑的机器”（Haugeland,1985）“与人类的思维相关的活动，诸如决策、问题求解、学习等活动”（Bellman,1978）“通过利用计算模型来进行心智能力的研究”（Chamiak和McDermott,1985）“对使得知觉、推理和行为成为可能的计算的研究”（Win
12、ston,1992）像人一样行动的系统理性地行动的系统“一种技艺，创造机器来执行人需要智能才能完成的功能”（Kurzweil,1990）“研究如何让计算机能够做到那些目前人比计算机做得更好的事情”（Rich和Knight,1991）“计算智能是对设计智能化智能体的研究”（Poole等，1998）“AI.关心的是人工制品中的智能行为”（Nilsson,1998）2024/3/1123华北电力大学华北电力大学什么是人工智能什么是人工智能AI研究的是如何运用知识，以便像人类一样完成富有智能的工作就AI的本质来说，可以认为人工智能是一门研究如何制造出人造的智能机器或智能系统，来模拟人类智能活动的能力，
13、以延伸人们智能的科学2024/3/1124华北电力大学华北电力大学人工智能和通常程序的人工智能和通常程序的比较人工智能人工智能人工智能人工智能 通常计算机程序通常计算机程序通常计算机程序通常计算机程序主要是符号处理 主要是数字处理启发式搜索 依靠算法控制结构和知识域相分离 信息和控制联结在一起易于修改、更新和改变 难以修改允许不正确的答案 要求正确的回答AIAI程序：程序：干什么干什么干什么干什么 传统程序：传统程序：干些什么及如何干干些什么及如何干干些什么及如何干干些什么及如何干2024/3/1125华北电力大学华北电力大学智能和智力智能和智力“智能”源于拉丁“LegereLegere”，意
14、思是收集、汇集，智能通常用来表示从中进行选择、理解和感觉自然智能人类和一些动物所具有的智力和行为能力 智力是针对具体情况的，根据不同的情况有不同的含义“智力”是指学会某种技能的能力，而不是指技能本身 2024/3/1126华北电力大学华北电力大学智能和智力智能和智力智能的定义和描述：（1）善于判断、理解和推理判断、理解和推理（2）综合智力主要是指“相互关系的训练相互关系的训练”（3）形成要领形成要领和掌握含义掌握含义的能力（4）全面考试的能力全面考试的能力或思维的效率思维的效率（5）先天的、综合的和认知的能力先天的、综合的和认知的能力（6）智力活动包括在某一情况下抓抓住住本本质质并对他们作出适
15、当的反应适当的反应（7）适当地行动、理智地思考、有效地适应环境的总总体能力。体能力。（8）身体和社会环境的适应性适应性 判断、理解、推理、形成概念、适当的反应和适应性等判断、理解、推理、形成概念、适当的反应和适应性等2024/3/1127华北电力大学华北电力大学0.2图灵测试图灵测试如何知道一个系统是否具有智能呢？1950年，计算机科学家图灵提出了著名的“图灵测试”2024/3/1128华北电力大学华北电力大学测试的设置测试的设置测试的参与者：测试人被测试人一个人一个声称自己有人类智力的机器测试过程：测试人与被测试人是分开的，测试人只有通过一些装置（如键盘）向被测试人问一些问题，这些问题随便是
16、什么问题都可以2024/3/1129华北电力大学华北电力大学测试的设置测试的设置2024/3/1130华北电力大学华北电力大学问过一些问题后测试人能正确地分出谁是人谁是机器机器没有通过图灵测试测试人没有分出谁是机器谁是人机器通过了图灵测试，具有了具有了图灵测试意义下的智能图灵测试意义下的智能计算机为了通过图灵测试，要很好地模拟人类的优点优点和不足不足不能比人类愚蠢，也不能比人类聪明在某些方面变得愚蠢并不是很难的事情困难的是一些常识性的问题人类可以非常轻松的处理常识性的问题，但对于计算机来说却非常困难测试的设置测试的设置2024/3/1131华北电力大学华北电力大学图灵测试图灵测试示范示范1 1
17、问：请给我写出有关“第四号桥”主题的十四行诗。答：不要问我这道题，我从来不会写诗。问：34957加70764等于多少？答：（停30秒后）105721问：你会下国际象棋吗？答：是的。问：我在我的K1处有棋子K；你仅在K6处有棋子K，在R1处有棋子R。现在轮到你走，你应该下那步棋？答：（停15秒钟后）棋子R走到R8处，将军！2024/3/1132华北电力大学华北电力大学图灵测试图灵测试示范示范2 2问：你会下国际象棋吗？答：是的。问：你会下国际象棋吗？答：是的。问：请再次回答，你会下国际象棋吗？答：是的。一部笨机器一部笨机器!2024/3/1133华北电力大学华北电力大学图灵测试图灵测试示范示范3
18、 3问：你会下国际象棋吗？答：是的。问：你会下国际象棋吗？答：是的，我不是已经说过了吗？问：请再次回答，你会下国际象棋吗？答：你烦不烦，干嘛老提同样的问题。大概是人而不是机器!2024/3/1134华北电力大学华北电力大学图灵测试图灵测试示范示范4 4很多人研究过计算机对话程序，如J.Weizenbaum写的Eliza（扮演心理医生），模仿心理医生和女病人的对话P：所有男人都一个样。E：这从何说起呢？P：他们总是这样和那样的找我们的麻烦。E：你能举一个例子吗？P：好吧，你瞧，我的男朋友叫我的这儿来。E：哦，你的男朋友叫你到这儿来。P：他说我显得精神沮丧已经很长时间了。E：听到你说你精神沮丧，我
19、很同情。P：说真的，我很不高兴。E：你认为到这儿来能帮助你高兴起来吗？P：那当然，我需要帮助。E：如果你得到了帮助，那将意味着什么？2024/3/1135华北电力大学华北电力大学图灵测试图灵测试对人类来说容易求解的问题，对计算机来说并不一定容易解决对人类来说困难的问题，计算机处理起来不一定困难利用计算机难以通过图灵测试的特点，逆向使用图灵测试，解决复杂问题防止利用程序对网络系统进行恶意攻击，在登录界面上，除了要输入用户名、密码之外，还要识别出系统随机产生的一些在复杂背景上的变形文字2024/3/1136华北电力大学华北电力大学人工智能碰上人工智能？人工智能碰上人工智能？2024/3/1137华
20、北电力大学华北电力大学0.3希尔勒的中文屋子希尔勒的中文屋子罗杰施安克的故事理解程序（举例）机器是否真的理解了呢？希尔勒的中文屋子问题：通过了图灵测试就具有了智能吗？思考题：如何理解希尔勒的中文屋子？该程序可以在“阅读”一个英文故事之后，回答和故事有关的问题来自反对者的声音，即便通过了图灵实验，也不认为就是理解了2024/3/1138华北电力大学华北电力大学0.4 AI的研究目标的研究目标AI是研究如何制造出人造的智能机器或智能系统，来模拟人类智能活动的能力，以延伸人们智能的科学人类智能活动的能力：人类在认识世界和改造世界的活动中，由脑力劳动表现出来的能力认识和理解世界环境的能力提出概念、建立
21、方法，进行演绎和归纳推理、作出决策的能力学习的能力自我适应的能力2024/3/1139华北电力大学华北电力大学0.4 AI的研究途径的研究途径心理学（符号主义）：人工智能源于数理逻辑。认识的基本元素是符号，智能和知识可用符号表示、擅长抽象思维人工智能的主流学派，代表有纽厄尔、肖、西蒙和尼尔逊等生理学（联结主义）：原理主要为神经网络及神经网络间的连接机制与学习算法认为认识的基本元素是神经元，认识过程是大量神经元的并行活动，擅长形象思维生物进化（行为主义）行为主义：原理为控制论及感知论认为人工智能源于控制论。代表人物有布鲁克斯2024/3/1140华北电力大学华北电力大学0.5 AI的历史回顾（的
22、历史回顾（1）阶段1：萌芽期（1956年以前）神话传说：帮助人劳动的机器人，歌舞机器人法国物理学家和数学家BPascal的机械加法器Leibniz在机械加法器基础上制造了四则运算器英国数学家和力学家CBabbage对差分机和分析机的研究图灵的图灵机模型1938德国工程师Zuse的累计数字计算机Z-11945 John VonNeu-mann 冯诺依曼结构1946年Mauchly等的第一台计算机ENIACWiener的控制论和Shannon的信息论等2024/3/1141华北电力大学华北电力大学0.5 AI的历史回顾（的历史回顾（2）阶段2：人工智能基础技术的研究和形成(19561970)Dar
23、tmouth聚会后，在美国开始形成了以人工智能为研究目标的几个研究组：Newell和Simon的Carnegie-RAND协作组Samuel和Gelernter的IBM公司工程课题研究组Minsky和McCarthy的MIT研究组等主要工作2024/3/1142华北电力大学华北电力大学0.5 AI的历史回顾（的历史回顾（3）方面1：A.Newell、J.Shaw和H.Simon等人编制出逻辑理论机LT，当时该程序证明了“数学原理”一书第二章中的38个定理1960年编制了能解十种类型不同课题的通用问题求解程序GPS，和LT是首次在计算机上运行的启发式程序 Newell关于自适应象棋机的论文Sim
24、on关于问题求解和决策过程中合理选择和环境影响的行为理论的论文人的口语学习和记忆的EPAM模型（1959年）、早期自然语言理解程序SAD-SAM 2024/3/1143华北电力大学华北电力大学赫伯特赫伯特西蒙（西蒙（Herbert A.Simon）符号主义学派的创始人爱好广泛的全能科学家中国科学院外籍院士2024/3/1144华北电力大学华北电力大学1916年出生于美国的威斯康辛州1943年在匹兹堡大学获政治学博士学位1969年因心理学方面的贡献获得杰出科学贡献奖1975年和他的学生艾伦纽厄尔共同获得图灵奖1978年获得诺贝尔经济学奖1986年因行为学方面的成就获得美国全国科学家奖章赫伯特赫伯
25、特西蒙（西蒙（Herbert A.Simon）2024/3/1145华北电力大学华北电力大学50年代至60年代初开发了世界上最早的启发式程序“逻辑理论家”LT57年开发了IPL(Information Processing Language)语言，是最早的AI语言60年开发了“通用问题求解系统”GPS66年开发了最早的下棋程序之一MATER70年发展与完善了语义网络的概念和方法70年代提出了“物理符号系统假说”70年代提出决策过程模型赫伯特赫伯特西蒙（西蒙（Herbert A.Simon）2024/3/1146华北电力大学华北电力大学艾伦艾伦纽厄尔（纽厄尔（Allen Newell）符号主义学
26、派的创始人之一西蒙的学生与同事1975年与西蒙同获图灵奖2024/3/1147华北电力大学华北电力大学0.5 AI的历史回顾（的历史回顾（4）方面21956年Samuel的西洋跳棋程序，1959年这个程序曾战胜设计者本人，1962年还击败了美国一个州的跳棋大师方面31959年McCarthy发明的表处理语言LISP，成为人工智能程序设计的主要语言，至今仍被广泛采用1958年McCarthy建立的行动计划咨询系统以及1960年Minsky的论文“走向人工智能的步骤”，对人工智能的发展都起了积极的作用1956年N.Chomsky的文法体系，1958年Selfridge等人的模式识别系统程序等202
27、4/3/1148华北电力大学华北电力大学0.5 AI的历史回顾（的历史回顾（5）阶段3：发展和实用化阶段(19711980)各种新的知识表示知识表示知识表示知识表示技术和各种专家系统专家系统专家系统专家系统的出现 知识表示知识表示知识表示知识表示1968 Quillian 语义网络知识表示法（Simmon等人用语义网络表达自然语言理解）1974 Minsky 框架(Frame)理论 非精确性推理非精确性推理非精确性推理非精确性推理 1976 RODuda 主观贝叶斯理论-Prospector 重大成果重大成果重大成果重大成果 1965 Robinson 归结原理 1965 RKowalski
28、Prolog思想，1972 AColmerauer实现Prolog2024/3/1149华北电力大学华北电力大学0.5 AI的历史回顾（的历史回顾（6）阶段3：发展和实用化阶段(19711980)各种新的知识表示知识表示知识表示知识表示技术和各种专家系统专家系统专家系统专家系统的出现 专家系统专家系统专家系统专家系统1965 EFeigenbaum与化学家C.Djerassi，J.Leberberg 化学专家系统DENRAL，根据分子式及其质谱数据推断分子结构 1971MIT的 C.Engleman，W.Martin和J.Moses数学专家系统MACSYMA，帮助人们解决多种数学问题1972
29、绍特里夫 医疗专家MYCIN系统，诊断和治疗感染性疾病 1976 斯坦福大学R.O.Duda 地质勘探PROSPECTOR2024/3/1150华北电力大学华北电力大学0.5 AI的历史回顾（的历史回顾（7）阶段3：发展和实用化阶段(19711980)各种新的知识表示知识表示知识表示知识表示技术和各种专家系统专家系统专家系统专家系统的出现 专家系统、计算机视觉和机器人、自然语言理解和机器翻译等专家系统、计算机视觉和机器人、自然语言理解和机器翻译等专家系统、计算机视觉和机器人、自然语言理解和机器翻译等专家系统、计算机视觉和机器人、自然语言理解和机器翻译等 1973（1977）L.D.Erman语
30、言理解系统 HEARSAY-I，HRSAY-60年代后期 机器定理证明 对规划问题研究 1960 美 商用工业机器人UNIMATE和VERSATRAN1977 第5届人工智能联合会议，Feigenbaum “人工智能的艺术：知识工程课题及实例研究”提出知识工程的概念2024/3/1151华北电力大学华北电力大学0.5 AI的历史回顾（的历史回顾（8）阶段4知识工程与专家系统(1980年至今)商业性的应用计划 自然语言处理系统开始商业化：人工智能公司的INTELLECT系统 计算机视觉系统的研制 LISP机 日本的第五代计算机计划；美国、英国的新一代电子计算机计划等 70年代末人工智能研究在我国
31、 自然语言处理自然语言处理自然语言处理自然语言处理、计算机视觉计算机视觉计算机视觉计算机视觉和机器人学机器人学机器人学机器人学以及知识工程知识工程知识工程知识工程等更迅速的发展 2024/3/1152华北电力大学华北电力大学0.5 AI的历史回顾（的历史回顾（9）IBM的“深蓝”：以3.5：2.5的总比分战胜卡斯帕罗夫“深蓝”的技术指标：32个CPU每个CPU有16个协处理器每个CPU有256M内存每个CPU的处理速度为200万步/秒1969年国际人工智能联合会成立，每两年召开一次会议2024/3/1153华北电力大学华北电力大学Watson 北京时间2011年2月18日消息，由IBM和美国德
32、克萨斯大学联合研制的超级电脑“沃森”(Watson)昨日在美国最受欢迎的智力竞猜电视节目危险边缘中击败该节目历史上两位最成功的选手肯-詹宁斯和布拉德-鲁特，成为危险边缘节目新的王者2024/3/1154华北电力大学华北电力大学Waston如何与人对决智力竞赛沃森超级电脑概况沃森超级电脑概况“沃森”是按IBM的创始人托马斯沃森的名字命名的，它利用一个庞大的并联网络，与2000到3000个Power 7计算核心相连，这些计算核心被放置在7个冰箱大小的容器里。IBM已经为“沃森”上传了所有得到许可和公开的知识内容，以便打造一个巨大的语义索如何与人智力竞答？如何与人智力竞答？在比赛过程中，当主持人阅读
33、线索时，它们会以电子内容的形式传输给“沃森”，然后这台超级电脑会对接收到的信息进行分析，并做出各种构想，接着搜索所有信息检验构想的正误，得出5个最佳答案，并对每个答案设定信心级别，最终决定选用哪个答案2024/3/1155华北电力大学华北电力大学0.5 AI的历史回顾（的历史回顾（10）各国对AI的研究美国人工智能的发源地英国60年代就起步人工智能的研究日本和西欧起步较晚，但发展较快苏联对人工智能研究比较重视我国从1978年才开始，主要在定理证明、汉语自然语言理解、机器人及专家系统方面设立课题，并取得一些初步成果重大的AI研究机构：MIT、斯坦福大学、卡内基梅隆大学、IBM公司、日立中央研究所
34、电气技术综合研究所(ELT)、早稻田大学、爱丁堡大学、前苏联的控制问题研究所等2024/3/1156华北电力大学华北电力大学0.5 AI的历史回顾（的历史回顾（11）足球机器人两个组织：RoboCup和FIRA设有仿真组、小型组、中型组和有腿组控制方式：FIRA采用集中控制，而RoboCup采用分布式控制2024/3/1157华北电力大学华北电力大学AI的历史回顾（的历史回顾（12）小型组 有腿组2024/3/1158华北电力大学华北电力大学AI的研究课题的研究课题具有一般意义的核心课题：知识的模型化和表示方法启发式搜索理论各种推理方法（演绎推理、规划、常识性推理、归纳推理等）人工智能系统结构
35、和语言其他一些主要的应用领域2024/3/1159华北电力大学华北电力大学AI的研究课题（续的研究课题（续1）专家系统一个智能的计算机程序，它运用知识和推理步骤来解决只有专家才能解决的复杂问题自然语言理解书面语的理解 口语(又称声音)的理解 1970 Winograd 灵活的人机对话 手书文字识别机器学习分布式人工智能(DAI)70年代后期 Agent ANN2024/3/1160华北电力大学华北电力大学AI的研究课题（续的研究课题（续2）定理证明（Theorem Proving）自然演绎法 纽厄尔 LT程序 籍勒洛特 证明平面几何定理 判定法 1977吴文俊 证明初等几何定理 定理证明器 1
36、965 JARobinson 消解原理 人机交互进行定理证明 1976 KAppel 证明四色定理博弈（Game Playing）研究对策和斗智1962 塞缪尔 checkers1967 R.Gren-blatt Chess 1997/5/3-11 深蓝2024/3/1161华北电力大学华北电力大学AI的研究课题（续的研究课题（续3）机器人学（Robotics）机器人是一种可再编程序的多功能的操作装置1954 G.C.Devol 通用重复型机器人1958 Consolidated 数字控制机器人60年代初 AMF公司 Unimate2009机器人和Asimo十年（视频）模模模模式式式式识识识识
37、别别别别是识别出给定的事物和哪一个标本相同或者相似自动程序设计（Automatic Programming）组合调度问题（Combinatorial and Scheduling Problems）感知问题（Perception Problems）2024/3/1162华北电力大学华北电力大学2024/3/1163华北电力大学华北电力大学演讲完毕，谢谢观看！附附录资料：人工智能料：人工智能简介介About Teaching Plan基本要求：人工智能是计算机科学中涉及研究、设计和应用智能机器的一个分支，是目前迅速发展的一门新兴学科，新思想新方法层出不穷。其基本思想是利用机器来模仿和执行人脑的功
38、能，如判断、推理、证明、识别、感知、理解、设计、思考、规划、学习和问题求解等思维活动。对于培养学生计算机技术的应用能力，开阔思路和视野，有重要意义。About Teaching Plan因此，要求学生掌握知识表示知识表示和问题求解问题求解的几种常用方法，尤其是不确定性推理不确定性推理；掌握机器学习机器学习基本概念，了解几种机器学习方法机器学习方法尤其是神经网络学习方法；神经网络学习方法；掌握专家系统的概念，了解专家系统设计方法专家系统设计方法，掌握一些智能控制方法智能控制方法，了解国内外人工智能研究尤其是机器人的最新进展；最新进展；具有一定的人工智能编程设计能力人工智能编程设计能力（利用Lis
39、p或Prolog语言）。About Teaching Plan课程内容以及学时分配课程内容以及学时分配人工智能引论(1)人工智能概念及与计算机的关系，研究途径、内容和应用领域概况介绍，其他最新材料其他最新材料。符号主义、连接主义、行为主义三大流派人工智能数学基础(1)知识表示方法（2）状态空间法、问题归约法，谓词逻辑法、产生式表示法（动物识别系统）；CLIPS语言；语义网络法、框架法（这是结构化表示）；剧本、过程、Petri网、面向对象的表示。About Teaching Plan搜索技术和策略（3-4）状态空间法，盲目搜索和启发式搜索，A*算法；海伯伦理论、消解原理和策略；与或形推理和搜索策
40、略；其他求解技术。不确定推理技术（3-4）主观Bayes理论；可信度方法和证据理论；系统组织技术；非单调推理；Rete快速算法；模糊推理技术；基于语义网络和框架不确定推理；专家系统（2）专家系统概念、结构和知识获取；黑板模型、知识组织、管理及系统建造和开发工具；专家系统举例及编程。人工智能程序设计人工智能程序设计（1）人工智能语言基本机制：LISP和PROLOG。About Teaching Plan模式识别导论（3）模式识别专题：概率模式识别。模式识别专题：结构模式识别机器学习（1）：机械,解释经验,事例,归纳,概念,类比学习等；统计,结构,模糊模式识别。专题讲座（3次）1)神经网络基本理论
41、和应用(史奎凡课程：安排于人工智能理论与应用课程内)；2)智能体（Agent）；3)自然语言处理；4)智能控制和机器人科学智能控制的结构理论和研究领域，智能控制系统及应用示例；机器人规划、机器视觉和自然语言理解等。About Teaching Plan实践：1)搜索技术和策略2)不确定推理技术3)专家系统：动物识别系统4)模式识别技术5)调研：搜索技术和策略、不确定推理技术、统计模式识别、机器学习等四个领域进展报告。Chapter One:Brief Introduction to Artificial Intelligence1.What is AI?人工智能（人工智能（Artificial
42、 Intelligence,AI）是当前科学技发展的一门前是当前科学技发展的一门前沿学科，同时也是一门新思想，新观念，新理论，新技术不断出沿学科，同时也是一门新思想，新观念，新理论，新技术不断出现的新兴学科以及正在发展的学科。现的新兴学科以及正在发展的学科。它是在它是在计算机科学，控制论，信息论，神经心理学，哲学，语言学计算机科学，控制论，信息论，神经心理学，哲学，语言学等多种学科研究的基础发展起来的，因此又可把它看作是一门等多种学科研究的基础发展起来的，因此又可把它看作是一门综综合性的边缘学科合性的边缘学科。它的出现及所取得的成就引起了人们的高度重视它的出现及所取得的成就引起了人们的高度重视
43、,并取得了很高的评并取得了很高的评价。有的人把它与空间技术，原子能技术一起并誉为价。有的人把它与空间技术，原子能技术一起并誉为20世纪的三世纪的三大科学技术成就。大科学技术成就。Intelligence智能是知识与智力的总合。智能是知识与智力的总合。知识知识智能行为的基础；智能行为的基础；智力智力获取知识并运用知识求解问题的能力。获取知识并运用知识求解问题的能力。智能具有以下特征：智能具有以下特征：(1)具有感知能力具有感知能力指人们通过视觉、听觉、触觉、味觉、嗅觉等感指人们通过视觉、听觉、触觉、味觉、嗅觉等感觉器官感知外部世界的能力；觉器官感知外部世界的能力；(2)具有记忆与思维的能力具有记
44、忆与思维的能力这是人脑最重要的功能，亦是人之所以有这是人脑最重要的功能，亦是人之所以有智能的根本原因；智能的根本原因；(3)具有学习能力及自适应能力；具有学习能力及自适应能力；(4)具有行为能力。具有行为能力。Artificial Intelligence人工智能人工智能计算机科学的一个分支，是智能计算机系统，即人类智慧计算机科学的一个分支，是智能计算机系统，即人类智慧在机器上的模拟，或者说是人们使机器具有类似于人的智慧（在机器上的模拟，或者说是人们使机器具有类似于人的智慧（对语言对语言能理解、能学习、能推理）。能理解、能学习、能推理）。2.Brief History of AI(1)孕育（孕
45、育（1956年前）年前）古希腊的古希腊的Aristotle（亚里士多德）（前亚里士多德）（前384-322），给出了形式逻辑的），给出了形式逻辑的基本规律。基本规律。英国的哲学家、自然科学家英国的哲学家、自然科学家Bacon（培根）（培根）（1561-1626），系统地给），系统地给 出了归纳法。出了归纳法。“知识就是力量知识就是力量”德国数学家、哲学家德国数学家、哲学家Leibnitz（布莱尼茨）（布莱尼茨）（1646-1716）。提出了关于）。提出了关于数理逻辑的思想，把形式逻辑符号化，从而能对人的思维进行运算和数理逻辑的思想，把形式逻辑符号化，从而能对人的思维进行运算和推理。做出了能做四
46、则运算的手摇计算机推理。做出了能做四则运算的手摇计算机英国数学家、逻辑学家英国数学家、逻辑学家Boole（布尔）（布尔）（1815-1864）实现了布莱尼茨）实现了布莱尼茨 的思维符号化和数学化的思想，提出了一种崭新的代数系统的思维符号化和数学化的思想，提出了一种崭新的代数系统布尔布尔代数。代数。美籍奥地利数理逻辑学家美籍奥地利数理逻辑学家Godel（哥德尔）（哥德尔）（1906-1978），证明），证明了一阶谓词的完备性定；任何包含初等数论的形式系统，如果它了一阶谓词的完备性定；任何包含初等数论的形式系统，如果它是无矛盾的，那么一定是不完备的。意义在于，人的思维形式化是无矛盾的，那么一定是不
47、完备的。意义在于，人的思维形式化和机械化的某种极限，在理论上证明了有些事是做不到的。和机械化的某种极限，在理论上证明了有些事是做不到的。英国数学家英国数学家Turing(图灵图灵)（1912-1954）,1936年提出了一种理想年提出了一种理想计算机的数学模型（图灵机），计算机的数学模型（图灵机），1950年提出了图灵试验，发表了年提出了图灵试验，发表了“计算机与智能计算机与智能”的论文。图灵奖。的论文。图灵奖。美国数学家美国数学家Mauchly，1946发明了电子数字计算机发明了电子数字计算机ENIAC美国神经生理学家美国神经生理学家McCulloch，建立了第一个神经网络数学模型。建立了第
48、一个神经网络数学模型。美国数学家美国数学家Shannon（香农）香农）,1948年发表了通讯的数学理论，年发表了通讯的数学理论，代表了代表了“信息论信息论”的诞生。的诞生。(2)形成（形成（1956-19691956-1969）1956年提出了年提出了“Artificial Intelligence（人工智能）人工智能）”1956年年夏夏由由麻麻省省理理工工学学院院的的J.McCarthy、M.L.Minsky,IBM公公司司信信息息研研究究中中心心的的 N.Rochester,贝贝尔尔实实验验室室的的 C.E.Shannon共共同同发发起起，邀邀请请了了 Moore,Samuel,Selfr
49、idge,Solomonff,Simon,Newell等等人人，10位位数数学学家家、信信息息学学家家、心心理理学学家家、神神经经生生理理学学家家、计计算算机机科科学学家家，在在Dartmouth大大学学召召开开了了一一次次关关于于机机器器智智能能的的研研讨讨会会，会会上上 McCarthy 提提议议正正式式采采用用了了 Artificial Intelligence（人人工工智智能能）这这一一术术语语。这这次次会会议议，标标志志着着人人工工智能作为一门新兴学科正式诞生了。智能作为一门新兴学科正式诞生了。McCarthy（麦卡锡）麦卡锡）人工智能之父人工智能之父。这次会议之后的这次会议之后的1
50、0年间，人工智能的研究取得了许多引人瞩目的成就年间，人工智能的研究取得了许多引人瞩目的成就.机器学习方面：机器学习方面：塞缪尔于塞缪尔于1956年研制出了跳棋程序，该程序能从棋谱年研制出了跳棋程序，该程序能从棋谱中学习，也能从下棋实践中提高棋艺；中学习，也能从下棋实践中提高棋艺；在定理证明方面：王浩于在定理证明方面：王浩于1958年在年在IBM机上证明了数学原理中有关机上证明了数学原理中有关命题演算的全部定理（命题演算的全部定理（220条），还证明了谓词演算中条），还证明了谓词演算中150条定理条定理85%；1965年，鲁宾逊（年，鲁宾逊（Robinson）提出了消解原理；提出了消解原理；在模