欢迎来到工友文库! | 帮助中心 工友共享,造福你我!
工友文库
全部分类
  • 行业文库 >
    行业文库
    行业标准 农林牧渔 能源矿业 电力热力 水利环境 材料技术 地理测绘 建筑工程 机械工程 制造加工 交通物流 网络计算 电气机电 信息通讯 汽车行业 航空航天 船舶工程 光电工程 住宿餐饮 财会金融 房地产业 城建规划 装饰装修 家电维修 电商行业 租赁商务 批发零售 居民服务 教育服务 医药卫生 体育行业 公共管理 图书管理 外语翻译 休闲旅游 文艺传媒 其他行业
  • 商业文档 >
    商业文档
    企业计划 工程管理 广告经营 财务报表 物业管理 质控管理 企业文化 绩效管理 商务礼仪 创业孵化 市场营销 经营企划 销售管理 营销创新 资本运营 招商加盟 合同协议 信息管理 励志材料 人事档案 员工关系 薪酬管理 招聘面试 其它文档
  • 办公文书 >
    办公文书
    统计图表 总结报告 演讲致辞 心得体会 述职报告 工作计划 解决方案 调研报告 事务文书 经验事迹 往来文书 规章制度 申请范文 求职简历 活动策划 会议纪要 党建材料 软件教程 其他文书
  • PPT模板库 >
    PPT模板库
    扁平风格 创意新颖 动画效果 动态模板 简约风格 静态模板 环保绿色 卡通风格 立体风格 欧洲风格 手绘风格 创意黑板 相册风格 星空风格 炫酷科技 中国风格 医疗风格 高端商务 工作常用 总结报告 毕业答辩 节日庆典 公益风格 化妆美容 婚礼策划 餐饮美食 培训课件 融资路演 商业策划 英文模板 党政机关 述职竞聘
  • 小学初中 >
    小学初中
    幼儿教育 小学语文 小学数学 小学英语 初中语文 初中数学 初中英语 初中物理 初中化学 初中地理 初中生物 初中政治 初中历史 思想品德 小学竞赛 初中竞赛 其他学科
  • 高中教育 >
    高中教育
    高中语文 高中数学 高中英语 高中物理 高中化学 高中生物 高中地理 高中政治 高中历史 高考资料 高中竞赛 其他学科
  • 高等教育 >
    高等教育
    基础课 艺术类 哲学类 体育类 水利类 测绘类 法学类 历史学 社会学 心理学 教育学 政治学 统计学 房地产 语言文化 生物科学 医药卫生 天文气象 地理科学 环境科学 系统科学 材料科学 机械仪表 图书档案 土建工程 海洋工程 轻工纺织 工程力学 能源动力 光电工程 电力技术 市政工程 财会金融 工商管理 语言文学 广播影视 公安司法 汽车汽修 交通运输 水产加工 植物生产 森林资源 动物科学 食品加工 餐饮旅游 公共事业 新闻传播学 农林业工程 城镇规划管理 水文与水资源 地矿及资源勘查 航空航天与武器 管理科学与工程 农林业经济管理 机电设备及自动化 计算机与信息科学 大学生竞赛资料
  • 执业资格考试 >
    执业资格考试
    财会类考试 建筑类考试 外贸类考试 外语类考试 医药类考试 管理类考试 公务员类考试 司法法律考试 教师资格考试 计算机类考试 公共服务类考试 其他资格证考试
  • 一线采风 >
    一线采风
    一线新闻 事迹宣传 工友作品
  • 教育视频 >
    教育视频
    幼儿教育视频 小学教育视频 初中教育视频 高中教育视频 大学教育视频 C#自学视频教程 软件视频教程 英语视频教学 其他教学视频
  • 换一换
    首页 工友文库 > 资源分类 > PPTX文档下载
     

    人工智能第一章教学课件.pptx

    • 资源ID:20114       资源大小:3.63MB        全文页数:125页
    • 资源格式: PPTX        下载权限:注册会员/VIP会员    下载费用:0金币 【人民币0元】
    下载资源需要0金币 【人民币0元】
    已注册用户请登录:
    账号:
    密码:
    验证码:   换一换
      忘记密码?
        
    友情提示
    2、PDF文件下载后,可能会被浏览器默认打开,此种情况可以点击浏览器菜单,保存网页到桌面,既可以正常下载了。
    3、本站不支持迅雷下载,请使用电脑自带的IE浏览器,或者360浏览器、谷歌浏览器下载即可。
    4、本站资源下载后的文档和图纸-无水印,预览文档经过压缩,下载后原文更清晰   

    人工智能第一章教学课件.pptx

    人工智能原理,计算机科学与技术学院,课 程 内 容,一、课程背景 二、产生式系统表示及其搜索方法 三、逻辑表示及其推理方法,第一章 人工智能简介,千古的梦想,不断地从自然力的束缚下解放自己 古代利用物质资源 制造人力的工具 扩展人的体质功能 支持农业社会的文明 近代利用能量的资源 制造动力工具 扩展人的体力功能 支持工业社会的文明 现代利用信息资源 制造智能工具 扩展人的智力功能 导致信息社会,人工智能(Artificial Intelligence),研究如何用计算机去模拟、延伸和扩展人的智能; 如何把计算机用得更聪明; 如何设计和建造具有高智能水平的计算机应用系统; 如何设计和制造更聪明的智能计算机 一门由计算机科学、控制论、信息论、语言学、神经生理学、心理学、数学、哲学等多种学科相互渗透而发展起来的综合性新学科 二十世纪七十年代以来世界三大尖端技术 (空间技术、能源技术、人工智能)之一 二十一世纪三大尖端技术(基因工程、纳米科学、人工智能)之一 计算机科学技术的前沿科技领域,人工智能(Artificial Intelligence),2001年上映的电影人工智能是未来派的科幻史诗影片,由斯皮尔伯格制作。影片讲述21世纪中期,由于气候变暖,南北两极冰盖的融化,地球上很多城市都被淹没在了一片汪洋之中,此时,人类的科学技术已经达到了相当高的水平,人工智能机器人就是人类发明出来的用以应对恶劣自然环境的科技手段之一,杰出人物,20世纪40位图灵奖获得者中有6位人工智能学者 Marvin Minsky1969年, 美国 知识的框架理论(Frame Theory)创立者 John McCarthy1971年,美国 人工智能之父,LISP语言的发明者 Herbert Simon和Allen Newell1975年,美国 人工智能符号主义学派的创始人 Edward Feigenbaum和Raj Reddy 1994年, 美国 大型人工智能系统的开拓者 可见人工智能在信息科学中的地位。 Leslie Gabriel Valiant莱斯利瓦里安特 2010年,英国 在机器学习理论、计算复杂性理论以及计算神经学领域的突出贡献 首位图灵奖的华裔科学家姚期智Andrew Chi-Chih Yao 2000年 在计算理论方面的贡献 Judea Pearl 犹大伯尔 2011年,美国 最早提出概率和因果性推理演算法,杰出人物,,http//amturing.acm.org/,重要国际会议,IJCAI(International Joint Conference on AI) 国际人工智能联合会议(http//ijcai.org/) AI界最高级别的学术盛会,中国计算机学会A类会议 论文集出版Morgan Kaufmann 创会时间 1969年 每两年开一次,组委会决定在2016年起每年举办一届. 2007年投稿1365,录用212,录用率15.5. 2009年投稿1291,录用331,录用率25.6. 2011年投稿1325,录用227,录用率17.1. 2013年投稿1473,录用413,录用率28 北京 第一次在中国举行 2015年将在阿根廷 布宜诺斯艾利斯 召开,AAAI - AAAI Conference on Artificial Intelligence的简称 会议主办方sponsor AAAI,原为美国人工智能学会American Association for Artificial Intelligence,2007年改名为国际人工智能促进协会(The Association for the Advancement of Artificial Intelligence 1980年第一届AAAI召开,此后每年举办一次 。 中国计算机学会A类会议,,ECAI 、AJCAI (澳大利亚)、CAI(加拿大) 、AAMAS (International Conference on Autonomous Agents and Multiagent Systems )、ICAPS(International Conference on Automated Planning and Scheduling) 、ICMLInternational Conference on Machine Learning,中国计算机学会A类会议 ,Artificial Intelligence 出版社 世界上公认的高质量学术期刊出版集团荷兰Elsevier SCI收录 创刊时间 1970年 每期论文篇数 4篇左右 平均审稿周期为9个月 期刊的主编A.G. Cohn曾为多届国际顶级会议IJCAI,KR,ECAI程序委员会主席及会议主席 中国计算机学会A类期刊,重要国际刊物,重要国际刊物,1979年起,AAAI定期出版 AI Magazine 中国计算机学会推荐的人工智能国际学术刊物 A类 AI IEEE Transactions on Pattern Analysis and Machine Intelligence Journal of Machine Learning Research,国内重要会议,1981年成立中国人工智能学会 全国人工智能学术年会(CAAI)。 1990年首次召开中国人工智能联合会议(CJCAI)。,,一、什么是人工智能 二、人工智能的历史 三、人工智能的不同研究流派 四、人工智能的主要研究领域及其发展 五、人工智能与其它领域的交叉,一、什么是人工智能,,1、智能,智能 人类在认识和改造世界的活动中,由脑力劳动表现出来的能力。 包括感知、理解、抽象、分析、推理、判断、学习和对变化环境的适应等等 疑问 仅限于人一般动物没有吗 为什么说猩猩一类动物比一般动物智力高 若只限于人,那么机器就更不能谈什么智能了,也就无人工智能可言了 所以,智能本身现在无法下精确的定义。,1、智能,基于计算机的智能 如果一种行为或一系列行为能完成人类所做到的事, 就说它是智能的。,2、人工智能,人工智能又称为智能模拟,用计算机模拟人脑的智能行为。包括感知、学习、推理、对策、决策、预测、直觉、联想。 NilsonStanford AI是关于知识的科学,即怎样获取、表示和使用知识的科学 FeigenbaumStanfordAI是知识信息处理系统 WinstonMITAI就是研究如何使计算机去做过去只有人才能做的富有智能的工作,It is the science and engineering of making intelligent machines, especially intelligent computer programs. It is related to the similar task of using computers to understand human intelligence, but AI does not have to confine itself to s that are biologically observable. --McCarthy 人工智能既包含理论研究的内容又包含工程方面的内容. 人工智能的研究注意智能系统的效果而不是单纯的对人的智能行为的模拟. 人工智能研究的出发点与生物学家不同。生物学家研究智能行为是从脑的结构和神经细胞的组织入手。 人工智能研究者主要从智能行为的过程与表现入手,重点放在智能行为的实际效果上。,3、人工智能的研究目标,根本目标 要求计算机不仅能模拟而且可以延伸、扩展人的智能,达到甚至超过人类智能的水平。 附关于智能本质的争论 Von Neumann计算机决不会有智能。 Turing计算机是能达到人的智力水平的。 McCarthy人工智能的所有主要问题都是难解的。 Minsky人工智能是有史以来最难的科学之一;思维的社会无统一的知识表示和理论基础。 Brooks无需表示、无需推理的智能。 反对派的核心观点计算机只能解决形式化的问题,而客观世界的问题则是非形式化的,是变化无穷的。,,近期目标 使现有的计算机不仅能做一般的数值计算及非数值信息的数据处理,而且能运用知识处理问题,能模拟人类的部分智能行为。 作为工程技术学科,人工智能的目标是提出建造人工智能系统的新技术、新方法和新理论,并在此基础上研制出具有智能行为的计算机系统。 作为理论研究学科,人工智能的目标是提出能够描述和解释智能行为的概念与理论,为建立人工智能系统提供理论依据。,,一、什么是人工智能 二、人工智能的历史 三、人工智能的不同研究流派 四、人工智能的主要研究领域及其发展 五、人工智能与其它领域的交叉,二、人工智能的历史,AI is nearly as old as computing,人工智能的历史,Aristotle(公元前3 8 4 - 3 2 2)古希腊伟大的哲学家、思想家,著名学者Plato的学生。 主要贡献为形式逻辑奠定了基础。 三段论 Famous syllogism of Aristotle Every man is mortal Socrates is a man Deduction Socrates is mortal 演绎推理特点 一般 → 特殊;前提真,结论一定真,Bacon(1561-1626),英国哲学家和自然科学家。 主要贡献 系统地提出了归纳法。 强调了知识的作用“知识就是力量” 。 Socrates is a man Socrates is mortal Induction Every man is mortal Every mortal is a man No man but Socrates is mortal Etc. 归纳推理的特点 特殊 → 一般;前提真,结论不一定真。,Leibniz1646-1716 德国数学家和哲学家 同Newton并列为微积分的发明者。 改进了Pascal的加法计算器,做出了能进行四则运算的手摇计算器,在计算工具的历史上占有一席位置。 对AI的主要贡献提出的数理逻辑的思想,把形式逻辑符号化,从而能对人的思维进行运算和推理。Leibnitz提出的计划是建立一种通用的符号语言,以及一种在此符号语言上进行推理的演算。 Leibnitz之梦有一天所有的知识,包括精神和无形的真理,能够通过通用的代数演算放入一个单一的演绎系统。 此梦的初步实现归功于Boole。,George Boole (1815-1864) 英国数学家、逻辑学家 主要贡献初步实现了Leibnitz关于思维符号化和数学化的思想;提出了一种崭新的代数系统,被后世称为布尔代数。 凡传统逻辑(命题逻辑)能处理的问题,布尔代数都能处理,而某些能用布尔代数处理的问题,用传统逻辑处理却极其困难。,Frege(1848-1925)德国数理逻辑学家, 主要贡献建立了谓词逻辑系统。 出版了概念演算、算术的基本法则等名著。,Godel(1906-1978)美籍奥地利数理逻辑学家 主要贡献研究数理逻辑中一些带有根本性的问题,即形式系统的完备性和可判定性问题。 1930年证明了一阶谓词演算的完备性定理 1931年证明了 第一条不完备性定理--任何包含初等数论的形式系统,如果它是协调的,那么一定是不完备的。 第二条不完备性定理是如果这种形式系统是协调的,那么这种协调性一定不能在本系统中得到证明。 Godel的这两条定理彻底摧毁了Hilbert的建立无矛盾数学体系的纲领,对人工智能研究的意义在于,指出了把人的思维形式化和机械化的某种极限,在理论上证明了有些事情是做不到的。,AMTuring (图灵)(1912-1954)英国天才数学家 主要贡献 1936年提出一种理想计算机的数学模型,后世称之为图灵机。 现已公认,所有可计算函数都能用图灵机计算--为电子计算机出现建立了理论根据。 在二次大战期间为盟军设计破译密码的机器,为盟军的最后胜利立下了汗马功劳。 1950年,在Computing Machinery and Intelligence一文中提出了著名的“Turing Test” 如果机器能成功的伪装成人欺骗观察者,就认为它具有了智能。,Turing Test的重要意义 使实验研究智能行为成为可能 1980,美国哲学家John searle 在其论文心、 大脑与程序中提出Chinese Room Experiment,第一阶段50年代人工智能的兴起和冷落,电子计算机的诞生人工智能的物质基础。Mauchly(美国数学家)和Eckert等人共同发明了电子数字计算机ENIAC(1946年)。 占地面积达170平方米,重达30吨,,人工智能的开端 Norbert Wiener 所有人类智力的结果都是一种反馈的结果;反馈机制是有可能用机器模拟的,第一阶段50年代人工智能的兴起和冷落,人工智能的问世 1956年,“人工智能之父”McCarthy Vermont “ Dartmouth人工智能夏季研究会”,命名 人工智能 参加者Minsky, Rochester, Shannon, Moore, Samuel, Selfridge, Solomonff, Simon, Newell等一批数学家、信息学家、心理学家、神经生理学家、计算机科学家。 ( McCarthy于2011年10月24日与世长辞,享年84岁 ),早期发展 机器定理证明 1956年,Newell和Simon的Logic Theorist(逻辑理论机)证明了数学原理第二章的38条定理,1963年全部52条定理。 1958年,王浩在IBM704上实现了一个定理机器证明程序,以3-5分钟的时间证明了数学原理中220条全部命题演算定理和150条一阶逻辑定理中的85,1959年用了8.4分钟证明了全部定理。 1959年,Gelernter研制出了平面几何证明程序。 1965年Robinson提出了归结方法,把人工智能的研究向前推进了一大步。,早期发展 机器学习 1956年,Samuel研制了跳棋程序,该程序具有学习功能,能够从棋谱中学习,也能在实践中总结经验,提高棋艺。1959年打败了设计者Samuel本人,1962年击败了美国一个州的冠军。 模式识别与计算机视觉 1956年,Selfridge研制出第一个字符识别程序,1959年他又推出了功能更强的模式识别程序。1965年,Roberts编制了可以分辨积木构造的程序,开创了计算机视觉的新领域。,早期发展 通用问题求解程序GPS 1957年始,Newell, Shaw和Simon等人在Logic Theotist基础上,研究一种不依赖于具体领域的通用解题程序,持续了10年,最后版本发表于1969年。 符号计算 1963年,Slagle发表了符号积分程序SAINT,他使用了86个积分问题检查该程序,其中有54个问题是MIT微积分课程的考试题,结果程序解出了84个问题,SAINT的解题能力达到了大学生中优秀者的水平。 1967年,Mosis又研制了一个符号积分程序SIN,能解更多更复杂的积分题目,效率比SAINT快3倍,解题能力达到同领域专家水平。 LISP表处理语言等,各种诱人的前景把很多人吸引到人工智能领域中来,人工智能的研究呈现出蓬勃发展的局面。 一系列的成功使某些研究者头脑发热起来.1958年,Newell和Simon曾经自信地说不出10年,计算机将能谱写具有优秀作曲家水平的乐曲;不出10年,大多数心理学理论将在计算机上形成。有些人甚至预言,80年代是全面实现人工智能的年代,到2000年机器的智能会超过人。,第一阶段50年代人工智能的兴起和冷落,第一阶段50年代人工智能的兴起和冷落,人工智能的低谷时期 归结方法的效率很难提高 在用归结方法证明问题时,稍微复杂一点的问题就会因内存全被占满或时间长的无法忍受而失败。如同没有包治百病的良药一样,建立适用于各个不同领域的通用推理程序的尝试也失败了。 机器学习的能力不如预期的那样好 Samuel的跳棋程序在战胜了一个州的冠军后,其能力就保持在那个水平上,一直没有新的提高 机器翻译等的失败 “Time flies like an arrow” 翻译成日语,再译回来 “苍蝇喜欢箭” “The spirit is willing but the flesh is weak” 译成俄语,再译回来 “The wine is good but the meat is spoiled” 英,剑桥大学James “AI即使不是骗局也是庸人自扰” 美,IBM下令取消AI所有研究活动,,在总结研究经验的基础上,人工智能研究者指出,使计算机具有知识是使人工智能走出困境的关键。企图建造一个脱离知识的通用推理程序的想法是不够完整的,目前也是不切实际的。要想人工智能的研究取得突破,必须把人们具有的知识也传给计算机系统。,第二阶段60年代末到70年代 专家系统出现,DENDRAL化学质谱分析系统 MYCIN疾病诊断和治疗系统 PROSPECTOR探矿系统 Hearsay-II语音理解系统 1969年成立了IJCAI Edward Albert Feigenbaum 1965年,和遗传学系主任、诺贝尔奖得主莱德伯格 Joshua Lederberg等人合作, DENDRAL 1994年度Turing Award得主 最早倡导了“ Knowledge engineering”1977年, Feigenbaum在第五届国际人工智能大会 “In the Knowledge lies the power“,,在此之后各种的专家系统纷纷研制出来,专家系统得到航天、医学、地质、气象等部门的支持,发展迅速。 在计算机中使用知识,为人工智能提出了一批有实用价值的研究课题,例如如何使计算机获得人类知识、如何表示知识、如何进行基于不同领域知识的推理等等,这些课题促进了人工智能的研究,使人工智能这一学科重新出现了蓬勃发展的局面。,第三阶段80年代,人工智能得到很大发展,第五代计算机研制计划“知识信息处理计算机系统KIPS” 1982年 日本发起 为期10年 目的使逻辑推理达到数值运算那么快 结果在扔了上10亿美元之后不了了之 它的开展形成了一股研究人工智能的热潮,第四阶段80年代末 神经网络飞速发展,1987年,美国召开第一次神经网络国际会议宣告了这一新学科的诞生。此后,各国在神经网络方面的投资逐渐增加,神经网络迅速发展起来。,据美国每日科学网站2011年7月20日 报道,美国科学家朝人工智能领域 迈出了关键的一步他们使用 DNA,在试管中制造出了首个人 造神经网络,该神经网络包含4个 人造神经元,由112个不同的DNA片 段组成。 这个相互作用的分子组成的电路能像人脑一样,可像人脑一样基于部分特征识别事物,这是大脑独特的属性之一。然而,其运行效率目前还很低下,需要进一步提高其性能。 7月21日出版的自然杂志上的论文中写道“这个人造‘大脑’可不简单,它使得我们识别事物、形成记忆、做出决定并采取行动,这表明,一个由相互作用的分子组成的人造神经网络也能展示与大脑一样的行为。”,第五阶段90年代现在 新的AI研究高潮,IBM公司“深蓝”电脑击败了人类的世界国际象棋冠军 美国制定了以多Agent系统应用为重要研究内容的信息高速公路计划,基于Agent技术的Softbot软机器人在软件领域和网络搜索引擎中得到了充分应用 美国Sandia实验室建立了国际上最庞大的“虚拟现实”实验室,拟通过数据头盔和数据手套实现更友好的人机交互,建立更好的智能用户接口。 图像处理和图像识别,声音处理和声音识别取得了较好的发展,IBM公司推出了ViaVoice声音识别软件,以使声音作为重要的信息输入媒体。,计算机打败国际象棋冠军,1997年5月11日,在国际象棋“人机大战”最后一局较量中,美国IBM公司的RS/6000/SP国际象棋超级计算机“深蓝” 仅用了一个小时便轻松战胜国际象棋特级大师卡斯帕罗夫,并以3.5比2.5的总比分赢得胜利和70万美元的奖金。,计算机打败国际象棋冠军,“深蓝”与卡斯帕罗夫的对比── 身高卡斯帕罗夫5英尺10英寸,“深蓝”6英尺5英寸; 体重卡斯帕罗夫176磅, “深蓝”1.4吨; 年龄卡斯帕罗夫34岁, “深蓝”4岁; 每秒行棋速度卡斯帕罗夫2步, “深蓝”2亿步。 最主要差别 卡斯帕罗夫的随机应变能力强,老谋深算,经验丰富,但思路易受身体条件、情绪和周围环境的影响 “深蓝”是个刚刚涉足棋坛的小学生,记忆力强,计算平稳且不受环境干扰。,“深蓝”程序带有一个收集了20世纪各位著名国际象棋大师所下的数千个棋局的数据库。 必须克服人工智能领域的一个关键问题 在组合剧增的情况下进行全盘搜索。 棋手每走一步约有30步不同的走法。要看到 15步之远,计算机必须算遍3015种不同走棋过 程,并从中作出选择。 IBM的研究小组使用的技术 先进行“浅”搜索,比如深度只有10步,以粗略指出哪些步是有希望的,然后对这些走法进行深度较大的搜索。使“深蓝”要处理的局面数减少到1000亿种左右。,一篇古怪的小说,背叛 作者 Brytus1型 1998年3月 戴夫斯特赖维尔喜爱这所大学。他喜爱校园里爬满常春藤的钟楼,那古色古香而又坚固 的砖块,还有那洒满阳光的碧绿草坪和热情的年轻人。使他感到欣慰的还有这样一件事, 即大学里完全没有商场上那些冷酷无情的考验但事实恰恰并非如此做学问也要通过 考试,而且有的考试与市场上的考验一样不留情面。最好的例子就是论文答辩为了取得 博士学位,为了成为博士,博士生必须通过论文的口试。爱德华哈特教授就喜欢主持这样 的答辩考试。 戴夫迫切希望成为一名博士。但他需要让三个人在他论文的第一页上签上他们的名字, 这三个千金买的签名能够证明他通过了答辩。其中一个签名是哈特教授的。哈特常常对戴 夫本人和其他人说,对于帮助戴夫实现他应该有的梦想,他感到很荣幸。答辩之前,斯特 赖维尔早早给哈特送去了他论文的倒数第二稿。哈特阅读后告诉戴夫,论文水平绝一流, 答辩时他会很高兴地在论文上签名。在哈特那四壁摆满书籍的办公室里,两人甚至还握了 手。戴夫注意到,哈特两眼放光,充满信赖,神情宛如慈父一般。 在答辩时,戴夫觉得自己流利地概括了论文的第三章。评审者提了两个问题,一个是罗 德曼教授的,另一个是蒂尔博士提的。戴夫分别作了回答,并且显然让每个人都心悦诚 服,再没有人提出异议。罗德曼教授签了名。他把论文推给蒂尔,她也签上了名字,接着 便把本子推到了哈特跟前。哈特没有动.“爱德”罗德曼问道。哈特仍然坐在那儿,毫无表 情。戴夫感到有点眩晕。“爱德华,你打算签名吗 过后,哈特一个人呆在办公室里,坐在那张宽大的皮椅里,他为戴夫未能通过答辩感到 难过。他试图想出帮助戴夫实现他梦想的办法。,一篇古怪的小说,Brytus1型人工智能计算机系统 美国伦塞勒工学院的塞尔默布林斯乔德及其同事研制。研究过程历时8年,耗资达30万美元。 目前世界上最先进的电脑作家。它可以一点一点地构思令人惊骇的情节,并且把它们用400个字表达出来 只能写作欺骗和邪恶等与背叛有关的内容。 以往电脑写出的故事只包含几个句子,没有涉及故事的细节和发生地点。,计算机将会向网络化、智能化、并行化方向发展。 人工智能总趋势理论联系实际,与其他学科交叉、逐步走向应用,在应用中体现人工智能的理念。 二十一世纪的信息技术领域将会以智能信息处理为中心。,,一、什么是人工智能 二、人工智能的历史 三、人工智能的不同研究流派 四、人工智能的主要研究领域及其发展 五、人工智能与其它领域的交叉,三、人工智能的研究学派,符号主义/逻辑主义学派 --符号智能 “功能模拟”学派,主张从功能方面模拟、延伸、扩展人的智能;以研究符号为基础。 代表性成果启发式程序、专家系统、知识工程等。 符号主义学派曾一枝独秀,为人工智能的发展作出重要贡献,现仍是人工智能的主流学派。,连接主义 --计算智能 “结构模拟”学派,主张从结构方面模拟、延伸、扩展人的智能,用“电脑”模拟“人脑”神经系统的联结机制;以研究人脑为物质基础。 代表性成果M-P神经细胞模型、BP神经网络模型、Hopfield神经网络模型,,行为主义 --低级智能 “行为模拟”学派,主张从行为方面模拟、延伸、扩展人的智能,认为“智能”可以不需要“知识”, 认为智能只是在与环境的交互作用中表现出来。该学派认为人工智能源于控制论。 早期研究工作重点是模拟人在控制过程中的智能行为和作用。80年代诞生了智能控制和智能机器人。 代表性成果MIT的Brooks研制的智能机器人。 (Intelligence is determined by the dynamics of interaction with the world),四、人工智能的主要研究领域 及其发展,(一)自动推理 (二)专家系统 (三)机器学习 (四)自然语言理解 (五)机器人学和 智能控制 (六)模式识别 (七)基于模型的诊断,(八)智能规划 (九)智能agent (十)神经网络 (十一)智能信息检索 (十二)自动程序设计、博弈 ,定理机器证明是人工智能工作者最早开始的尝试。 1956,Alen Newell Herbert Simon, Logic Theorist证明了Whitehead和Russell合著 的数学原理第二章的38条定理 1963, 证明了数学原理第二章的全部52条定理 1976,美国的阿佩尔K.Appel等人合作解决了长达124年之久的难题--四色定理。他们用三台大型计算机,花去1200小时CPU时间,并对中间结果进行人为反复修改500多处。 这是一项使计算机跳出传统的计算领域,向思维活动领域迈进的重大成果,也是人工智能研究的开始.,(一)自动推理,自动推理主要方法 归结方法(1965,Robinsin) 吴方法--吴文俊院士,1997年Herbrand奖 表推演方法 基于公理的系统 自然演绎方法 专门用于等词推理的重写系统 实例化方法--新兴起,自动推理主要的学术会议和刊物 IJCAR国际自动推理联合大会 JAR自动推理学报 国内情况 中国学者在归结方法的改进和非经典逻辑推理方法研究方面取得了一系列成果,并应用于智能规划和安全协议验证等领域中。 2003年提出了一种新的独立于归结和表推演方法的扩展规则方法。国际著名人工智能专家Davis称之为与归结方法“互补”的自动推理方法,Murray教授对基于该方法提出的EPCCL理论给予很高评价。,国外情况 欧洲, 世界领先地位,尤以德国、英国最为突出。英国,将归结方法推广到时态逻辑,在分布式系统设计中得到应用。 美国,德克萨斯大学,数理逻辑机械化定理证明器ACL2已经成功地应用到许多重要工业和商业硬件校验项目中。美国的IBM、AMD、Intel、Microsoft、Motorola等著名的跨国企业均采用自动推理技术来提升自己的产品质量,并取得了丰厚的商业回报。,澳大利亚国立大学,将归结方法结合到局部随机搜索中,大幅度地提高了SAT和CSP系统的求解效率。SAT问题, 被已故的著名美籍华人数理逻辑学家王浩喻为“当代数理逻辑和理论计算机科学的第一问题”。 现已证明工程技术、军事、工商管理、交通运输及自然科学研究中的6000余个重要问题,如程控电话的自动交换、大型数据库的维护、大规模集成电路的自动布线、软件自动开发、机器人动作规划等,都可转化成SAT问题。,非经典推理 Nonomonotonic Reasoning John McCarthy Probabilistic Networks ,(二)专家系统,专家系统的特点 1、 具有专家水平的专门知识和经验; 2、 能够进行有效的逻辑推理运算; 3、 不断获取知识,扩充知识范围; 4、 对用户是透明的; 5、 具有交互性和灵活性。 世界上第一个专家系统化学专家系统DENDRAL。 我国的第一个专家系统中医关幼波肝炎诊断治疗程序,由中国科学院自动化研究所控制论组于1977年研制成功。,,专家系统的分类 从体系上来说,它可分为集中式专家系统,分布式专家系统,神经网络专家系统,符号系统与神经网络结合的专家系统。,(二)专家系统,专家系统的分类 用于某一特定领域内的专家系统 诊断型专家系统 MYCIN(识别51种病菌,正确使用23种抗菌素,协助医生诊断、治疗细菌感染性血液病) 解释型专家系统 PROSPECTOR 预测型专家系统 气象、水文预报; 人口、经济形势预测 设计型专家系统 建筑设计、机械产品设计 决策型专家系统 银行贷款 规划型专家系统 军事计划的制定、机器人规划、 旅游规划、铁路运输规划 教学型专家系统 数学专家系统 监视型专家系统 机场监视、森林监视、危重病人的心脏及呼吸监测系统、核反应堆的监测系统,(二)专家系统,(三)机器学习,学习是少数高级生物具有的高级智能行为。 机器学习使人造系统有了自我完善能力。 以前的机械系统,无论它有多么复杂巧妙, 它都只能以程序化的方式进行固定的操作,其能力和水平不会有任何的改进。而具有学习能力的计算机系统,其以后的水平如何,连设计者都难以预料。 香克R. Shank “一台计算机若不会学习,就不能称为具有智能的。“ 机器学习还有助于发现人类学习的机理和揭示人脑的奥秘。 这是一个始终得到重视,理论正在创立,方法日臻完善,但远未达到理想境地的研究领域。,自上个世纪九十年代Vapnik提出统计机器学习理论以来,机器学习得到快速发展和广泛应用。 2001年,美国科学家在Science上撰文指出机器学习对科学研究的整个过程正起到越来越大的支持作用,该领域在今后的若干年内将取得稳定而快速的发展。 2003年,DARPA(美国国防部高级计划局,Defense Advanced Research Projects Agency)开始启动以机器学习为核心的5年计划PAL。首期1-1.5年投资2900万美元,将机器学习技术放到了国家安全的角度来考虑。,机器学习的著名系统 1956年,Samue1研制的跳棋程序. 1959年,战胜了设计者本人; 1962年,战胜了美国一个州的冠军。 Langley的发现系统BACON,它能根据现有的数据,用83条产生规则重新发现许多著名的物理定律,如理想气体定律、行星运动定律及欧姆定律等。,(三)机器学习,(四)自然语言理解,研究目标 1、计算机能正确理解人类的自然语言输入的信息,并能正确答复(或响应)输入的信息。 2、计算机对输入的信息能产生相应的摘要, 而且复述输入的内容。 3、计算机能把输入的自然语言翻译成要求的 另一种语言。,自然语言理解的挑战来自自然语言的模糊特性。 例如 He set a book on the table. Where The exact position She had her hair cut for the party. How long,(四)自然语言理解,似乎很简单但实质上是非常困难的问题 日常的语言交流包含着很复杂的编码和解码过程 例. 装修工人的宿舍 与人们的知识与推理能力有密切的关系 与某些人谈话很费力, 但与思维敏捷的人谈话只要 几句话甚至几个字就可以了,(四)自然语言理解,研究方法 先后经历了基于规则、基于实例和基于统计的方法及其融合。 有待解决基本问题 汉语的词性 发展趋向 统计方法中引入语言学知识,如语义知识。 两个最大的应用领域 文本检索、机器翻译,机器翻译是一个充满挑战的研究领域,被列为21世纪世界十大科技难题之首。 由中科院计算所等单位联合开发了开源的统计机译系统“丝路”,在美国国家标准和技术研究所主持的机器翻译国际评测中,在英汉翻译上获得较好成绩。 谷歌翻译目前可提供63种主要语言之间的实时翻译,主要是采用统计翻译模型,通过海量统计数据来提高翻译精确度。 2011年11月,谷歌推出了一款手机翻译软件;该软件支持包括汉语普通话在内的14个语种。对着谷歌Android智能手机讲话的用户,几乎能实时听到他们的源语言被翻译成目标语言;而通话对方的语言也会被翻译成该用户的母语。 影响机译发展的最大因素在于译文的质量。就已有的成就来看,机译的质量离终极目标仍相差甚远。,中国数学家、语言学家周海中曾在论文机器翻译五十年中指出 要提高机译的质量,首先要解决的是语言本身问题而不是程序设计问题;单靠若干程序来做机译系统,肯定是无法提高机译质量的。 在人类尚未明了“人脑是如何进行语言的模糊识别和逻辑判断”的情况下,机译要想达到“信、达、雅”的程度是不可能的。这也是制约机译质量提高的一大瓶颈。 美国发明家、未来学家雷科兹威尔在接受赫芬顿邮报采访时预言,到2029年机译的质量将达到人工翻译的水平。对于这一论断,学术界还存在很多争议。,智能机器人是人工智能中视觉感知系统、问题求解系统、计划产生系统等领域中技术的综合应用的成果。智能机器人主要在功能上模仿人,外形上可以多种多样,它们把观测、思维和操作巧妙地结合起来。,(五)机器人学和智能控制,1920年 捷克斯洛伐克作家卡雷尔恰佩克在他的科幻小说罗萨姆的机器人万能公司中,根据Robota捷克文,原意为“劳役、苦工”和Robotnik波兰文,原意为“工人”,创造出“机器人”这个词。 1939年 美国纽约世博会上展出了西屋电气公司制造的家用机器人Elektro。它由电缆控制,可以行走,会说77个字,甚至可以抽烟,不过离真正干家务活还差得远。但它让人们对家用机器人的憧憬变得更加具体。 1942年 美国科幻巨匠阿西莫夫提出“机器人学三大定律”。虽然这只是科幻小说里的创造,但后来成为学术界默认的研发原则。,机器人学三大定律 第零定律机器人必须保护人类的整体利益不受伤害,其它三条定律都是在这一前提下才能成立。 第一定律机器人不得伤害人类个体,或者目睹人类个体将遭受危险而袖手不管,除非这违反了机器人学第零定律。 第二定律机器人必须服从人给予它的命令,当该命令与第零定律或者第一定律冲突时例外。 第三定律机器人在不违反第零、第一、第二定律的情况下要尽可能保护自己的生存。 零定律的意义 打个比方,为了维持国家或者说世界的整体秩序,我们制定法律,必须要执行一些人的死刑。这种情况下,机器人该不该阻止死刑的执行呢显然是不允许的,因为这样就破坏了我们维持的秩序,也就是伤害了人类的整体利益。 “第零定律”的重要性在于地位凌驾其它三大定律,如若有个机器人为保护人类整体(维护第零定律),必须杀害一个人或一群人(抵触第一定律),机器人的正子程式为了人类整体着想就会同意谋杀罪行。,上世纪五十年代到六十年代, George Devol 和 Joe Engleberger造出了第一个现代工业机器人 “Unimates”. Engleberger开了第一个机器人公司“Unimation”, 他被称为 “father of robotics.“,Isaac Asimov and Joe Engleberger,(五)机器人学和智能控制,1997年8月,著名美国未来学家阿尔文托夫勒和人 工智能方面的专家等22位世界知名人士学者预测 20年内人同机器人自由交谈将成为可能 在发达国家三分之一以上的重劳动将由机器人来完成 “家庭用机器人”将在10至20年内开始上市销售 “凭自己的判断采取行动的机器人”将会问世 “用蛋白质等生物体组织制成的机器人”也将诞生。,,日本从1998年开始着手研究开发可用于处理家务和照顾病人的人形智能机器人。这项为期5年的计划

    注意事项

    本文(人工智能第一章教学课件.pptx)为本站会员(小旋风)主动上传,工友文库仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知工友文库(发送邮件至gydoc@qq.com或直接QQ联系客服),我们立即给予删除!

    温馨提示:如果因为网速或其他原因下载失败请重新下载,重复下载不扣分。




    copyright@ 2019-2022 工友文库网站版权所有
    经营许可证编号:鲁ICP备19032292号-1


    1
    收起
    展开