26人工智能

欢迎大家学习《人工智能》课程软件与理论研究所赵合计自我介绍单位：软件与理论研究所（3B座-327）E-mail：[e-mail]电话:[phone]关于本课程的学习1.课程考试：闭卷笔试（80%）+平时（作业、课堂20%）2.课程学习形式：课堂上课+实验+看电影、视频录像3.基础课程：数理逻辑（命题逻辑和谓词逻辑）数据结构，集合论。4.上课时请把手机关闭或打在静音！内容1、人工智能的提出2、人工智能的定义3、研究目标4、历史回顾5、研究内容6、取得的成果7、关于人工智能学科8、AI的大师9、本课程的学习绪论•所以知之在人者,谓之知.知有所合,谓之智.所以能之在人者,谓之能.能有所合,谓之能.荀况荀子.正名人所固有的、用以认识客观事物的东西，叫做认识能力。人的认识与客观事物相吻合，叫做智。人固有的掌握才能的能力，叫做能，或称为先天素质。这种先天素质与客观事物相符合，使活动达到成功，这里叫做智能。人与自然界的和谐。智能交通、智能卡、智能手机、智能建筑、智能地图、智能导航、智能家具、智能机器人、智能软件等等绪论•很早人类就有制造机器人的幻想–黄帝的“指南车”–汉代，张衡的“计里鼓车”–诸葛亮的“木牛流马”–亚里士多德的形式逻辑–莱布尼茨的关于数理逻辑的思想–“机器人”一词的来源robot绪论•人工智能（ArtificialIntelligence）简称AI•起源于美国1956年的一次夏季讨论会（达特茅斯Dartmouth会议，达特茅斯坐落于新罕布什尔州的汉诺威(Hanover)小镇）•什么是AI？*计算——算计*图灵实验–验证机器可以具有智能研究人类智能活动的规律，构造具有一定智能行为的系统-人工智能是由计算机模仿人类智能的科学。绪论•Rich和Knight：”人工智能是研究如何让计算机做现阶段只有人才能做好的事情“。•Nilsson“人工智能是关于知识的科学，即如何表示知识、如何获取知识、如何利用知识的科学”。•Buchanan和Shortliffe“人工智能是计算机科学的分支，它用符号、非算法的方法进行算术求解”。•…….绪论•人工智能的定义分类：“类似人一样动作”“类似人一样进行思考和推理”“理性思考”“理性动作”绪论•人工智能的定义分类：“类似人一样动作”：认为人工智能是一门艺术，它能创作出完成一定任务的机器，而当人类对这些任务进行处理的时候，需要一定的智能。如定理证明、下棋程序、辅助外科手术等。图灵测试。绪论“类似人一样进行思考和推理”：考虑的是怎样能够让计算机更好的完成任务。从认知科学入手，认知科学是研究人类感知和思维信息处理过程的一门科学。如Newell和Simon的“通用问题求解系统GPS”等。绪论“理性思考”：主要指的是思维方法的规范化，起源古希腊哲学家亚里士多德（Aristotle）的“正确思考rightthinking”,Socrates的三段论：“Socrates是人，所有的人都会死，所以Socrates也会死”逻辑学的产生。绪论“理性动作”：主要指的是理性的主题agent,行为上的理性指的是已知某些信念，执行某些动作以达到某个目标。最近若干年群智能的发展丰富了这一理论，可计算智能。像人一样思考的系统理性地思考的系统•“要使计算机能够思考..….意思就是：有头脑的机器”（Haugeland,1985）•“与人类的思维相关的活动，诸如决策、问题求解、学习等活动”（Bellman,1978）•“通过利用计算模型来进行心智能力的研究”（Chamiak和McDermott,1985）•“对使得知觉、推理和行为成为可能的计算的研究”（Winston,1992）像人一样行动的系统理性地行动的系统•“一种技艺，创造机器来执行人需要智能才能完成的功能”（Kurzweil,1990）•“研究如何让计算机能够做到那些目前人比计算机做得更好的事情”（Rich和Knight,1991）•“计算智能是对设计智能化智能体的研究”（Poole等，1998）•“AI..….关心的是人工制品中的智能行为”（Nilsson,1998）AI研究目标近期目标：研究如何使用计算机去完成以往需要人的智力才能胜任的工作。远期目标：探讨智能的基本原理，研究如何使用各种自动机器来模拟人的某些思维活动和智能行为。有一天所有的知识，包括精神和无形的真理能够通过通用的代数演算放入单一的演义系统中。把有关人类意识的本质和构成的某些可能的暗示收集起来。Boole布尔绪论故事理解程序举例•“一个人进入餐馆并订了一份汉堡包。当汉堡包端来时发现被烘脆了，此人暴怒地离开餐馆，没有付帐或留下小费。”•“一个人进入餐馆并订了一份汉堡包。当汉堡包端来后他非常喜欢它，而且在离开餐馆付帐之前，给了女服务员很多小费。”•作为对“理解”故事的检验，可以向计算机询问，在每一种情况下，此人是否吃了汉堡包。人工智能的研究争论•图灵实验•希尔勒的中文屋子••问题：通过了图灵实验就具有了智能吗？•思考题：如何理解希尔勒的中文屋子？几个著名网站研究如何制造出人造的智能机器或系统，来模拟人类智能活动的能力，以延伸人们智能的科学。人工智能的网站：加拿大人工智能中心：乔治大学人工智能中心芝加哥大学人工智能实验室人工智能学会麦卡锡(McCarthy)standford://中国科学院沈阳自动化研究所机器人学国家重点实验室AI的历史回顾•第一阶段（40年代中～50年代末）神经元网络时代–双层网络–M-P模型、感知器模型等–问题：XOR问题不能解决–Minsky的著作：《Perceptions》（感知器）AI的历史回顾（续1）•第二阶段（50年代中～60年代中）通用方法时代–物理符号系统–主要研究的问题：GPS、游戏、翻译等–对问题的难度估计不足，陷入困境AI的历史回顾（续2）•一个笑话（英俄翻译）：Thespiritiswillingbutthefleshisweek.（心有余而力不足）Thevodkaisstrongbutmeatisrotten.（伏特加酒虽然很浓，但肉是腐烂的）AI的历史回顾（续3）•出现这样的错误的原因：Spirit：1）精神2）烈性酒•结论：必须理解才能翻译，而理解需要知识。AI的历史回顾（续4）•第三阶段（60年代中～80年代初）知识工程时代–专家系统–知识工程–知识工程席卷全球–各国发展计划：•美国星球大战计划•英国ALVEY计划•法国UNIKA计划•中国“863”计划AI的历史回顾（续5）•知识就是力量——培根•知识蕴涵着力量——费根鲍姆(EdwardAlbertFeigenbaum)AI的历史回顾（续6）•第四阶段（80年代中～90年代初）新的神经元网络时代–BP网（算法），解决了多层网的学习问题–Hopfield网，成功求解了货郎担问题–存在问题：•理论依据•解决大规模问题的能力–新的动向——构造化方法、组织理论AI的历史回顾（续7）•第五阶段（90年代初～现在）数据与网络时代–网络给AI带来无限的机会–知识发现与数据挖掘–AI走向实用化、应用开花阶段AI的研究内容•搜索技术“八数码难题”，“野人传教士”问题等，看演示•知识表示•规划方法•机器学习•认知科学AI的研究内容（续1）•自然语言理解与机器翻译•专家系统与知识工程•定理证明（1976伊利诺斯大学四色定理）•博弈•机器人•数据挖掘与知识发现AI的研究内容（续2）•多Agent系统：群智能，蚁群算法，粒子群算法等。•足球机器人–两个组织：RoboCup和FIRA–模拟组与机器人组–控制方式：FIRA采用集中控制，而RoboCup采用分布式控制•人机交互技术人工智能取得的一些成果•四十多年来，人工智能的研究虽然步履艰难，但也取得了一些很突出的成绩。下面列举一些具体实例。定理证明•50年代中期，世界上最早的启发式程序“逻辑理论家”，证明了数学名著《数学原理》中的38个定理。经改进后，62年证明了该书中全部的52个定理。被认为是用计算机探讨人类智力活动的第一个真正的成果。四色定理的证明•四色定理•从1852年发现四色问题，世界上很多著名的科学家试图证明，但一直未能完成形式化推正。•1976年6月，哈肯在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿次判断，终于完成了四色定理的证明，从而解决了一个历时100多年的问题，轰动了世界。定理证明的“吴方法”•2000年我国最高科学技术奖获得者吴文俊教授，提出了“数学机器化”。•1977年，吴文俊关于平面几何定理的机械化证明首次取得成功。•创立了定理机器证明的“吴方法”。通用问题求解器（GPS）•从1957年开始，Newell等人开始研究一种不依赖于具体领域的通用解题程序，这个程序的设计是从模仿人类问题求解的规程开始的。在它能处理的有限类别的问题中，它显示出程序决定的子目标及可能采取的行动的次序，与人类求解同样问题是类似的。因此，GPS是第一个实现了“像人一样思考”方法的程序。•例如：野人与传教士问题M-C（看演示）专家系统•人类之所以能求解问题，是因为人类具有知识。•专家系统就是把有关领域专家的知识整理出来，让计算机利用这些知识求解专门领域的问题。•1968年世界上第一个专家系统DENDRAL问世。•MYCIN，一个著名的医疗诊断专家系统第一个商用专家系统：R1•世界上第一个成功的商用专家系统，1982年开始正式在DEC公司使用。该程序帮助为新计算机系统配置订单；到1986年为止，估计它为公司每年节省了4千万美元费用。海湾战争中的专家系统•在1991年的海湾危机中，美国军队使用专家系统用于自动的后勤规划和运输日程安排。这项工作同时涉及到50000个车辆、货物和人，而且必须考虑到起点、目的地、路径以及解决所有参数之间的冲突。AI规划技术使得一个计划可以在几小时内产生，而用旧的方法需要花费几个星期。IBM的“深蓝”北京时间1997年5月12日凌晨4点50分，美国纽约公平大厦，当IBM公司的“深蓝”超级电脑将棋盘上的一个兵走到C4的位置上时，国际象棋世界冠军卡斯帕罗夫对“深蓝”的人机大战落下帷幕，“深蓝”以3.5：2.5的总比分战胜卡斯帕罗夫。正在与深蓝下棋的卡斯帕罗夫IBM的“深蓝”（续1）•96年2月第一次比赛结果：“深蓝”：胜、负、平、平、负、负•97年5月第二次比赛结果：“深蓝”：负、胜、平、平、平、胜IBM的“深蓝”（续2）•“深蓝”的技术指标：–32个CPU–每个CPU有16个协处理器–每个CPU有256M内存–每个CPU的处理速度为200万步/秒（380年24小时连续不断的做计算工作=3分钟）IBM的“深蓝”（续3）•“深蓝”的技术指标：–程序研制了12年–“深蓝”的棋谱数据库存放了100年的历史记录，其中包括卡斯帕罗夫的所有比赛“这不是人工智能，这是在制造一种让我们做以前没法完成的事情的工具。”一个算法要呈现出精神品质，其复杂性至少要达到某一“临界”。•深蓝战胜卡斯帕罗夫后以深蓝主管谭崇仁C.J.Tan美籍华人,设计师许峰雄C.B.Hsu美籍华人,象棋顾问本杰明GM.J.Benjamin及其他科学家工程师加盟的深蓝队获得奖金70万美元;卡斯帕罗夫获40万美元另外IBM公司也从中获得了大约5000万美元的广告收益.因此与其说是深蓝战胜了卡斯帕罗夫还不如说是深蓝队战胜了卡斯帕罗夫。“人机之战”简史•1958年，IBM704成为第一台能同人下棋的计算机，名为“思考”，思考速度每秒200步•60年代中期，科学家德里夫斯断言，计算机将无法击败一位年仅10岁的棋手•1973年，国际象棋软件4.0被开