清华大学人工智能导论课件0.ppt
- 文档编号:11247624
- 上传时间:2023-05-29
- 格式:PPT
- 页数:78
- 大小:4.64MB
清华大学人工智能导论课件0.ppt
《清华大学人工智能导论课件0.ppt》由会员分享,可在线阅读,更多相关《清华大学人工智能导论课件0.ppt(78页珍藏版)》请在冰点文库上搜索。
1,欢迎大家学习人工智能导论,清华大学计算机系马少平,2,自我介绍,姓名:
马少平单位:
智能技术与系统国家重点实验室电话:
62783191办公室:
FIT楼1-506E-mail:
网上课堂:
3,绪论,很早人类就有制造机器人的幻想黄帝的“指南车”诸葛亮的“木牛流马”亚里士多德的形式逻辑布莱尼茨的关于数理逻辑的思想“机器人”一词的来源,4,现代人工智能的兴起,现代人工智能(ArtificialIntelligence,简称AI),一般认为起源于美国1956年的一次夏季讨论(达特茅斯会议),在这次会议上,第一次提出了“ArtificialIntelligence”这个词。
5,什么是人工智能?
至今没有统一的定义从“计算”到“算计”,6,7,图灵测试,如何知道一个系统是否具有智能呢?
1950年,计算机科学家图灵提出了著名的“图灵测试”。
8,图灵测试的反应用,MSN的一个注册界面,为什么出现这样的内容?
9,希尔勒的中文屋子,罗杰施安克的故事理解程序(举例)机器是否真的理解了呢?
希尔勒的中文屋子问题:
通过了图灵测试就具有了智能吗?
思考题:
如何理解希尔勒的中文屋子?
10,故事理解程序举例,“一个人进入餐馆并订了一份汉堡包。
当汉堡包端来时发现被烘脆了,此人暴怒地离开餐馆,没有付帐或留下小费。
”“一个人进入餐馆并订了一份汉堡包。
当汉堡包端来后他非常喜欢它,而且在离开餐馆付帐之前,给了女服务员很多小费。
”作为对“理解”故事的检验,可以向计算机询问,在每一种情况下,此人是否吃了汉堡包。
返回,11,AI的本质问题,研究如何制造出人造的智能机器或系统,来模拟人类智能活动的能力,以延伸人们智能的科学。
12,AI的历史回顾,第一阶段(40年代中50年代末)神经元网络时代双层网络M-P模型、感知器模型等问题:
XOR问题不能解决,13,AI的历史回顾(续1),XOR问题(异或问题),14,AI的历史回顾(续2),Minsky的著作:
Perceptions(感知器)从理论上证明了二层神经元网络不可能解决XOR问题如果要求解XOR问题,神经元网络必须是3层或3层以上的结构对于3层或3层以上的神经元网络,难于找到一个通用的学习算法,15,AI的历史回顾(续3),第二阶段(50年代中60年代中)通用方法时代物理符号系统主要研究的问题:
GPS、游戏、翻译等对问题的难度估计不足,陷入困境,16,AI的历史回顾(续4),一个笑话(英俄翻译):
Thespiritiswillingbutthefleshisweek.(心有余而力不足)Thevodkaisstrongbutmeatisrotten.(伏特加酒虽然很浓,但肉是腐烂的),17,AI的历史回顾(续5),出现这样的错误的原因:
Spirit:
1)精神2)烈性酒结论:
必须理解才能翻译,而理解需要知识,18,AI的历史回顾(续6),知识就是力量培根知识蕴涵着力量费根鲍姆,19,AI的历史回顾(续7),第三阶段(60年代中80年代初)知识工程时代专家系统知识工程知识工程席卷全球各国发展计划:
美国星球大战计划英国ALVEY计划法国UNIKA计划日本五代机计划中国“863”计划,20,AI的历史回顾(续8),遇到的困难:
知识获取的瓶颈问题,21,AI的历史回顾(续9),第四阶段(80年代中90年代初)新的神经元网络时代BP网(算法),解决了多层网的学习问题Hopfield网,成功求解了旅行商问题存在问题:
理论依据解决大规模问题的能力,22,AI的历史回顾(续10),第五阶段(90年代初现在)海量信息处理与网络时代网络给AI带来无限的机会知识发现与数据挖掘网络信息检索与挖掘AI走向实用化,23,AI的研究内容,搜索技术知识表示规划方法机器学习认知科学,24,AI的研究内容(续1),自然语言理解与机器翻译专家系统与知识工程定理证明博弈机器人数据挖掘与知识发现,25,AI的研究内容(续2),网络信息检索与挖掘多Agent系统复杂系统足球机器人人机交互技术,26,人工智能取得的一些成果,五十年来,人工智能的研究虽然步履艰难,但也取得了一些很突出的成绩。
下面列举一些实例。
27,定理证明,50年代中期,世界上最早的启发式程序“逻辑理论家”,证明了数学名著数学原理中的38个定理。
经改进后,62年证明了该书中全部的52个定理。
被认为是用计算机探讨人类智力活动的第一个真正的成果。
28,四色定理的证明,四色定理从1852年发现四色问题,世界上很多著名的科学家试图证明,当一直未能完成。
1976年6月,哈肯在美国伊利诺斯大学的两台不同的电子计算机上,用了1200个小时,作了100亿次判断,终于完成了四色定理的证明,从而解决了一个历时100多年的问题,轰动了世界。
29,定理证明的“吴方法”,2000年我国最高科学技术奖获得者吴文俊教授,提出了“数学机器化”。
1977年,吴文俊关于平面几何定理的机械化证明首次取得成功。
创立了定理机器证明的“吴方法”。
30,通用问题求解器(GPS),从1957年开始,Newell等人开始研究一种不依赖于具体领域的通用解题程序,这个程序的设计是从模仿人类问题求解的规程开始的。
在它能处理的有限类别的问题中,它显示出程序决定的子目标及可能采取的行动的次序,与人类求解同样问题是类似的。
因此,GPS很可能是第一个实现了“像人一样思考”方法的程序。
31,专家系统,人类之所以能求解问题,是因为人类具有知识。
专家系统就是把有关领域专家的知识整理出来,让计算机利用这些知识求解专门领域的问题。
1968年世界上第一个专家系统DENDRAL问世。
MYCIN,一个著名的医疗诊断专家系统,32,第一个商用专家系统:
R1,世界上第一个成功的商用专家系统,1982年开始正式在DEC公司使用。
该程序帮助为新计算机系统配置订单;到1986年为止,估计它为公司每年节省了4千万美元。
33,海湾战争中的专家系统,在1991年的海湾危机中,美国军队使用专家系统用于自动的后勤规划和运输日程安排。
这项工作同时涉及到50000个车辆、货物和人,而且必须考虑到起点、目的地、路径以及解决所有参数之间的冲突。
AI规划技术使得一个计划可以在几小时内产生,而用旧的方法需要花费几个星期。
34,数字识别,清华大学智能技术与系统国家重点实验室采用神经元网络方法研制的数字识别系统,用于2000年我国人口普查。
对普查数据进行自动识别,错误率达到了万分之一以下的高水平。
35,古籍数字化四库全书,36,IBM的“深蓝”,北京时间1997年5月12日凌晨4点50分,美国纽约公平大厦,当IBM公司的“深蓝”超级电脑将棋盘上的一个兵走到C4的位置上时,国际象棋世界冠军卡斯帕罗夫对“深蓝”的人机大战落下帷幕,“深蓝”以3.5:
2.5的总比分战胜卡斯帕罗夫。
37,正在与深蓝下棋的卡斯帕罗夫,38,IBM的“深蓝”(续1),96年2月第一次比赛结果:
“深蓝”:
胜、负、平、平、负、负97年5月第二次比赛结果:
“深蓝”:
负、胜、平、平、平、胜,39,IBM的“深蓝”(续2),“深蓝”的技术指标:
32个CPU每个CPU有16个协处理器每个CPU有256M内存每个CPU的处理速度为200万步/秒,40,浪潮杯中国象棋人机大战,2006年8月9日,经过了三个小时的激烈搏战,浪潮天梭击败大师联盟。
柳大华等五位中国象棋大师组成的大师队,在十局比赛中,2胜5平3负,最终以9:
11的总比分最终负于浪潮天梭。
2006年8月15日,中国象棋第一人许银川与天梭大战两个回合,不分胜负(两盘均和棋),41,许银川与天梭握手言和,42,“(国际象棋)人机之战”简史,1958年,IBM704成为第一台能同人下棋的计算机,名为“思考”,思考速度每秒200步60年代中期,科学家德里夫斯断言,计算机将无法击败一位年仅10岁的棋手1973年,国际象棋软件4.0被开发出来,这是未来程序的基础1979年,国际象棋软件4.9达到专家级水平1981年,CRAYBLITZ新的超级计算机拥有特殊的集成电路,预言将可在1995年击败世界棋王,43,1983年,BELLEATT开发了国际象棋硬件,达到了大师水平80年代中期,皮兹堡的CARNEGIEMELLON大学开始研究世界级的国际象棋计算机程序1987年,“深思”首次以每秒钟75万步的思考速度露面,它的水平相当于拥有国际等级分为2450的棋手1988年,“深思”击败丹麦特级大师拉尔森1989年,“深思”已经有6台信息处理器,每秒思考速度达200万步,但在与世界棋王卡斯帕罗夫进行的“人机大战”中对阵以0比2败北,44,1990年,“深思”第二代产生,使用IBM的硬件,吸引了前世界棋王卡尔波夫与之对抗1991年,“弗里茨”问世1993年,“深思”二代击败了丹麦国家队,在与世界优秀女棋手小波尔加的对抗中获胜1995年,“深蓝”更新程序,新的集成电路将其思考速度达到每秒300万步1996年,“深蓝”在与卡斯帕罗夫的挑战赛中,以2比4不敌卡斯帕罗夫1997年,“超级深蓝”开发出了更加高级的“大脑”,4名国际大师参与IBM的挑战小组为电脑与卡斯帕罗夫重战出谋划策,最后“超级深蓝”以3比2击败了卡斯帕罗夫,卡斯帕罗夫要求重赛,但没有得到回应,45,1999年,“弗里茨”升级为“更弗里茨”(DeepFritz)2001年,“更弗里茨”更新了程序,击败了卡斯帕罗夫和阿南德,以及除了克拉姆尼克之外的所有排名世界前十位的棋手2002年10月,“更弗里茨”与克拉姆尼克在巴林进行“人机大战”,思考速度为每秒600万步,双方4比4战平2003年12月“更年少者”与卡斯帕罗夫举行人机对抗,双方3比3战平,46,思考题2:
象棋与围棋,为什么已经有了可以战胜国际大师的象棋(国际象棋、中国象棋)程序,而围棋的程序水平却比较低呢?
力量投入问题?
计算机发展水平问题?
棋本身的复杂性问题?
其他别的问题?
47,智能汽车,智能技术与系统国家重点实验室研制的智能汽车,48,在高速公路上,该汽车可以自动识别道路,自动躲避障碍物在最近的实验中,平均速度为100公里,最高速度达到了150公里,达到了世界先进水平。
49,空中机器人无人飞机,智能技术与系统国家重点实验室研制的小型无人飞机,50,足球机器人,两个组织:
RoboCup和FIRA设有仿真组、小型组、中型组和有腿组控制方式:
FIRA采用集中控制,而RoboCup采用分布式控制清华大学获得2001、2002年RoboCup世界冠军、2003年亚军(仿真组)2006年,中国科大获得2D组冠军和3D组亚军2007年,中国科大获得3D组冠军,清华大学获得救援智能体季军2008年RoboCup在苏州举行,中国获得8个冠军,51,小型组有腿组,52,历史上的人工智能大师,下面介绍图灵和几位获得图灵奖的人工智能大师,53,阿伦图灵(AlanTuring),计算机科学理论的创始人,54,阿伦图灵(AlanTuring),1912年出生于英国伦敦,1954年去世1936年发表论文“论可计算数及其在判定问题中的应用”,提出图灵机理论1950年发表论文“计算机与智能”,阐述了计算机可以具有智能的想法,提出图灵测试1966年为纪念图灵的杰出贡献,ACM设立图灵奖,55,马文明斯基(MarnivLeeMinsky),人工智能之父框架理论的创立者首位获得图灵奖的人工智能学者,56,马文明斯基(MarnivLeeMinsky),1927年出生于美国纽约1951年提出思维如何萌发并形成的基本理论1956年达特茅斯会议的发起人之一1958年在MIT创建世界上第一个AI实验室1969年获得图灵奖1975年首创框架理论,57,约翰麦卡锡(JohnMcCarthy),人工智能之父LISP语言的发明人首次提出AI的概念,58,约翰麦卡锡(JohnMcCarthy),1927年出生于美国波士顿1956年发起达特茅斯会议,并提出“人工智能”的概念1958年与明斯基一起创建世界上第一个人工智能实验室发明剪枝算法1959年开发LISP语言开创逻辑程序研究,用于程序验证和自动程序设计1971年获得图灵奖,59,赫伯特西蒙(HerbertA.Simon),符号主义学派的创始人爱好广泛的全能科学家中国科学院外籍院士,60,赫伯特西蒙(HerbertA.Simon),1916年出生于美国的威斯康辛州1943年在匹兹堡大学获政治学博士学位1969年因心理学方面的贡献获得杰出科学贡献奖1975年和他的学生艾伦纽厄尔共同获得图灵奖1978年获得诺贝尔经济学奖1986年因行为学方面的成就获得美国全国科学家奖章,61,50年代至60年代初开发了世界上最早的启发式程序“逻辑理论家”LT,证明了数学原理第二章中的全部52个定理,开创了机器定理证明这一新的学科领域57年开发了IPL(InformationProcessingLanguage)语言,是最早的AI语言。
60年开发了“通用问题求解系统”GPS66年开发了最早的下棋程序之一MATER70年发展与完善了语义网络的概念和方法70年代提出了“物理符号系统假说”70年代提出决策过程模型,成为DSS的核心内容,62,艾伦纽厄尔(AllenNewell),符号主义学派的创始人之一西蒙的学生与同事1975年与西蒙同获图灵奖,63,查理德卡普(RichardM.Karp),发明“分枝界限法”的三栖学者,64,查理德卡普(RichardM.Karp),1935年出生于美国波士顿是加州大学伯克利分校三个系的教授:
电气工程和计算机系数学系工业工程和运筹学系60年代提出“分枝界限法”,成功求解含有65个城市的旅行商问题,创当时的记录1985年获得图灵奖,65,爱德华费根鲍姆(EdwardA.Feigenbaum),知识工程的提出者大型人工智能系统的开拓者,66,爱德华费根鲍姆(EdwardA.Feigenbaum),1936年出生于美国的新泽西州通过实验和研究,证明了实现智能行为的主要手段是知识1977年提出知识工程,使人工智能从理论转向应用名言:
知识蕴藏着力量1994年和劳伊雷迪共同获得图灵奖,67,1963年主编了计算机与思想一书,被认为是世界上第一本有关人工智能的经典性专著1965年开发出世界上第一个专家系统开发出著名的专家系统MYCIN80年代合著了四卷本的人工智能手册开设Teknowledge和IntelliGenetics两个公司,是世界上第一家以开发和将专家系统商品化的公司,68,劳伊雷迪(RajReddy),大型人工智能系统的开拓者,69,劳伊雷迪(RajReddy),37年出生于印度,66年在美国获得博士1994年与费根鲍姆共同获得图灵奖主持过一系列大型AI系统的开发Navlab能在道路行驶的自动车辆项目LISTEN用于扫盲的语音识别系统以诗人但丁命名的火山探测机器人项目自动机工厂项目,提出“白领机器人学”,70,道格拉斯恩格尔巴特(DouglasEngelbart),鼠标的发明人超文本研究的先驱,71,道格拉斯恩格尔巴特(DouglasEngelbart),1925年出生于美国俄勒冈州60年代提出计算机是人类智力的放大器的观点1964年发明鼠标,67年申请专利,70年取得专利对超文本技术作出了巨大贡献,以他的名字命名ACM超文本会议最佳论文奖,72,姚期智(AndrewYao),2000年图灵奖获得者第一位华裔获奖者美国科学院院士中国科学院院士清华大学教授,73,姚期智(AndrewYao),1965年获得哈佛大学物理学博士1972年获得伊里诺斯大学计算机科学博士毕业以后一直在麻省理工学院、斯坦福、伯克利等著名大学任教1986年到普林斯顿大学1998年当选为美国国家科学院院士2003年当选为中国科学院外籍院士2002年受聘为清华大学讲席教授2004年正式受聘于清华大学教授,74,评奖委员会的评价,姚博士获奖是对他为计算理论的重大贡献的表彰,他作出贡献的领域包括基于复杂性的伪随机数发生理论、密码学和通信复杂性。
安德鲁姚促进了计算理论的形成。
他在包括计算几何、深度不变的布尔线路复杂性、数据结构分析以及量子通信等许多领域确立了新的方法的理论和有效的技术。
他开创了通信复杂性领域,揭示了分布计算通信开销的实质。
75,本课主要学习的内容,产生式系统搜索技术盲目搜索方法启发式搜索方法与/或图搜索方法博弈树搜索方法约束满足问题高级搜索局部搜索算法模拟退火算法遗传算法AI中的谓词演算及应用人工智能的其他技术,76,本课与其他课程的关系人工智能相关的系列课程,人工智能导论,程序设计,离散数学,机器学习,模式识别,信息检索,人工智能原理,计算语言学,知识工程,信息检索前沿研究,计算智能及机器人学,77,考核方法,以期末考试为主(50or80)平时作业(20)大作业(少部分同学)(30),78,参考书目,林尧瑞,马少平,人工智能导论,清华大学出版社马少平,朱小燕,人工智能,清华大学出版社StuartRussell,PeterNorvig著,姜哲等译,人工智能,人民邮电出版社出版陆汝钤,人工智能(上下),科学出版社NilsJ.Nilsson,人工智能,机械工业出版社蔡自兴,徐光佑,人工智能及其应用,清华大学出版社史忠植,高级人工智能,科学出版社罗杰彭罗思,皇帝新脑,湖南科学技术出版社休伯特德雷福斯,计算机不能做什么,三联书店出版社,
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 清华大学 人工智能 导论 课件