人工智能1第一章绪论课件

《人工智能1第一章绪论课件》由会员分享，可在线阅读，更多相关《人工智能1第一章绪论课件（48页珍藏版）》请在金锄头文库上搜索。

1、1,2020/8/8,人工智能导论,授课人：王天江 华中科技大学计算机学院 智能与分布式计算实验室,2,2020/8/8,教材及主要参考书,人工智能技术导论第三版 廉师友 编著，2007年，西安电子科技大学出版社 人工智能及其应用（第二版），蔡自兴 等，1999年，清华大学出版社,3,2020/8/8,第一章 人工智能概述,4,2020/8/8,人工智能的定义,人工智能至今尚无统一的定义 我们给出的定义（狭义）： 能够在各类环境中自主地或交互地执行各种拟人任务的机器称为智能机器 从学科的角度看，人工智能是计算机科学的一个分支，它研究、设计和应用智能机器，其目标是使智能行为自动化。 从能力的角度

2、看，人工智能是智能机器所执行的与人的智能有关的功能，如判断、推理、理解、学习和问题求解等思维活动,第一章 人工智能概述,5,2020/8/8,智能研究中一些难回答的问题,智能是一种独立的才能，还是一系列独一无二且不相关联的能力的总称 ？ 多大程度上可以说智能是学到的而不是先天存在的？ 学习时发生什么？ 什么是创造力？ 什么是直觉？ 可以从观察到的行为推断出具有智能，还是需要特定内部机制的证据？ 在生物体中，知识是如何表示的？ 智能是否只存在于生物生存的过程中？,第一章 人工智能概述,6,2020/8/8,图灵测试,最早专门论述机器智能与现代数字计算机关系的是图灵的”计算机器与智能”(1950)

3、 苦苦考虑是否能够制造出真正可以思考的机器 思考这个问题本身的严重模糊性,阻碍了理性的思考 提出用实验来描述智能问题,第一章 人工智能概述,7,2020/8/8,怎么去认定一台计算机是具有智能的呢？ 假设：这台计算机能以一种和人类不能相区别的方式提供答案，则我们就认为它的确在思维（感觉、理解）,如何定义智能机器？,8,2020/8/8,图灵测试的重要特征,它提供了一个判断智能的标准 避免了有关智能“真正”特征的争论 因此,图灵测试成为许多现代AI程序评价方案的基础,第一章 人工智能概述,9,2020/8/8,图灵测试的反对意见,它偏向于纯粹的符号问题求解任务,不适用于测试感知技能或要实现手工灵

4、活性所需要的能力 没有必要把机器智能强行套入人类智能的模具中，或许机器智能就是不同于人类智能，试图按照人类的方式来评价它，可能根本就是一个错误。 也有人全面批评图灵测试，认为分散了我们的注意力，应研究通用理论，解释人工智能，指导具体实践问题,第一章 人工智能概述,10,2020/8/8,他假设他自己读一段中文写的故事 (他不懂中文) 他只能按照符号匹配、查找等计算机方法去读这个字符串 他得到了正确答案，但他还是不理解故事 这个实验称为中文屋子 证明：即便一台计算机通过了图灵检验，它仍然完全不具备和理解有关的精神。,例如，美国哲学西尔勒的反对意见,一个人进入餐馆并要了一份汉堡包。当汉堡包端来后发

5、现给烘脆了，此人暴怒地离开了餐馆，没有付账或留下小费。,一个人进入餐馆并要了一份汉堡包。当汉堡包端来后他非常喜欢它，而且在离开餐馆付账之前，给了服务生很多小费。,问题：在每一种情形下此人是否吃了汉堡包？,11,2020/8/8,AI研究的目标与策略,研究目标：制造出智能机器和智能系统，实现智能化社会 研究策略：先部分或某种程度地实现机器的智能，再逐步扩展和延伸机器的智能，逐步实现智能化,第一章 人工智能概述,12,2020/8/8,智能的生物和社会模型,西方哲学的传统中，把逻辑作为知识表示的依赖性，把逻辑推理作为智能推理的首要机制 一些批评者开始探索新的智能模型，智能行为的社会模型。与基于逻辑

6、的方法相反，连接主义通过对人类大脑结构建模来实现智能神经模型 一种基于生物的智能模型演化计算模型，如遗传算法等。应用生物进化原理来寻找困难问题的解,第一章 人工智能概述,13,2020/8/8,AI研究的内容,1，搜索与求解 2，学习与发现 3，知识与推理 4，发明与创造 5，感知与交流 6，记忆与联想 7，系统与制造 8，应用与工程,第一章 人工智能概述,14,2020/8/8,AI的研究途径与方法,心理模拟，符号推演 生理模拟，神经计算 行为模拟，控制进化 群体模拟，仿生计算 博采广鉴，自然计算 原理分析，数学建模,第一章 人工智能概述,15,2020/8/8,人工智能是一门知识的科学。以

7、知识为对象，研究知识的获取、表示和使用。 数据处理-知识处理 符号表示知识而不是数值、数据。 有启发，有推导。 人工智能是引起争论最多的科学之一 焦点：当前人工智能的研究应该以人类的普遍思维规律为主，还是以特定知识的处理和运用为主？智能的本质是什么？机器能达到人的水平吗？ 结论：人工智能研究是非常困难的,I的研究特点（1）,第一章 人工智能概述,16,2020/8/8,I的研究特点（2）,人工智能的研究是十分困难的。 McCarthy： 人工智能的所有问题都是难解的。 Minsky： 人工智能是有史以来最难的科学之一。难在：实现智能需要浩繁的知识，而最难对付的知识是常识（不是专业知识）。 Dr

8、eyfus： 常识问题是实现人工智能的最大障碍。 ,第一章 人工智能概述,17,2020/8/8,I的应用领域,第一章 人工智能概述,18,2020/8/8,博弈,跳棋、国际象棋、15格拼图等 智能性 良好的已定义的竞技规则 易于用计算机表示的格式 测试简单,第一章 人工智能概述,19,2020/8/8,自动推理和定理证明,“可以把数学看成是从基本公理推导出定理的过程”（Rusell and Whitehead） 逻辑的严谨性和普遍性 低效性 谓词演算 逻辑编程语言 启发式算法,第一章 人工智能概述,20,2020/8/8,专家系统,对特定领域知识的重视引发了对专家系统的研究 基于规则的知识表

9、示 基于模型的知识表示 推理,第一章 人工智能概述,21,2020/8/8,自然语言理解和语义建模,可以理解并产生人类语言的程序 采集背景知识 以一种有助于领悟语言的方式组织知识 语义网络,第一章 人工智能概述,22,2020/8/8,其它,对人类表现建模 规划和机器人 人工智能的语言和环境 机器学习 神经网络和遗传算法,第一章 人工智能概述,23,2020/8/8,Natural Language Question Answering,http:/www.ai.mit.edu/projects/infolab/,24,2020/8/8,Search engines,Science,Medic

10、ine/ Diagnosis,Appliances,What else?,Can you prove theorems?,应用,25,2020/8/8,Dante,1994 Dante II (CMU) explored the Mt. Spurr (Aleutian Range, Alaska) volcano. High-temperature, fumarole gas samples are prized by volcanic science, yet their sampling poses significant challenge. In 1993, eight volcano

11、logists were killed in two separate events while sampling and monitoring volcanoes,机器人被用来进行火山探险,26,2020/8/8,如果虫子可以学习会怎样？1988年，麻省理工大学的RodneyBrooks实验室创造出了这个六只脚的步行者，可以自学如何攀登和跨越障碍,27,2020/8/8,Sony AIBO,28,2020/8/8,思考一下： 国际象棋、中国象棋与围棋,为什么已经有了可以战胜国际大师的国际象棋程序，而中国象棋和围棋的程序水平却比较低呢？ 力量投入问题？ 计算机发展水平问题？ 棋本身的复杂性问题

12、？ 其他别的问题？,第一章 人工智能概述,29,2020/8/8,历史上的人工智能大师,下面介绍图灵和几位获得图灵奖的人工智能大师,30,2020/8/8,阿伦图灵（Alan Turing）,计算机科学理论的创始人,31,2020/8/8,阿伦图灵（Alan Turing）,1912年出生于英国伦敦，1954年去世 1936年发表论文“论可计算数及其在判定问题中的应用”，提出图灵机理论 1950年发表论文“计算机与智能”，阐述了计算机可以具有智能的想法，提出图灵测试 1966年为纪念图灵的杰出贡献，ACM设立图灵奖,32,2020/8/8,马文明斯基（Marniv Lee Minsky）,人工

13、智能之父 框架理论的创立者 首位获得图灵奖的人工智能学者,33,2020/8/8,马文明斯基（Marniv Lee Minsky）,1927年出生于美国纽约 1951年提出思维如何萌发并形成的基本理论 1956年达特茅斯会议的发起人之一 1958年在MIT创建世界上第一个AI实验室 1969年获得图灵奖 1975年首创框架理论,34,2020/8/8,约翰麦卡锡（John McCarthy）,人工智能之父 LISP语言的发明人 首次提出AI的概念,35,2020/8/8,约翰麦卡锡（John McCarthy）,1927年出生于美国波士顿 1956年发起达特茅斯会议，并提出“人工智能”的概念

14、1958年与明斯基一起创建世界上第一个人工智能实验室 发明剪枝算法 1959年开发LISP语言 开创逻辑程序研究，用于程序验证和自动程序设计 1971年获得图灵奖,36,2020/8/8,赫伯特西蒙（Herbert A. Simon）,符号主义学派的创始人 爱好广泛的全能科学家 中国科学院外籍院士,37,2020/8/8,赫伯特西蒙(Herbert A. Simon）,1916年出生于美国的威斯康辛州 1943年在匹兹堡大学获政治学博士学位 1969年因心理学方面的贡献获得杰出科学贡献奖 1975年和他的学生艾伦纽厄尔共同获得图灵奖 1978年获得诺贝尔经济学奖 1986年因行为学方面的成就获

15、得美国全国科学家奖章,38,2020/8/8,50年代至60年代初开发了世界上最早的启发式程序“逻辑理论家”LT，证明了数学原理第二章中的全部52个定理，开创了机器定理证明这一新的学科领域 57年开发了IPL(Information Processing Language)语言，是最早的AI语言。 60年开发了“通用问题求解系统”GPS 66年开发了最早的下棋程序之一MATER 70年发展与完善了语义网络的概念和方法 70年代提出了“物理符号系统假说” 70年代提出决策过程模型，成为DSS的核心内容,39,2020/8/8,查理德卡普（Richard M. Karp）,发明“分枝界限法”的三栖

16、学者,40,2020/8/8,查理德卡普（Richard M. Karp）,1935年出生于美国波士顿 是加州大学伯克利分校三个系的教授： 电气工程和计算机系 数学系 工业工程和运筹学系 60年代提出“分枝界限法”，成功求解含有65个城市的推销员问题，创当时的记录 1985年获得图灵奖,41,2020/8/8,爱德华费根鲍姆（Edward A. Feigenbaum）,知识工程的提出者 大型人工智能系统的开拓者,42,2020/8/8,爱德华费根鲍姆（Edward A. Feigenbaum）,1936年出生于美国的新泽西州 通过实验和研究，证明了实现智能行为的主要手段是知识 1977年提出知识工程，使人工智能从理论转向应用 名言：知识蕴藏着力量 1994年和劳伊雷迪共同获得图灵奖,43,2020/8/8,1963年主编了计算机与思想一书，被认为是世界上第一本有关人工智能的经典性专著 1965年开发出世界上第一个专家系统 开发出著名的专家系统MYCIN 80年代合著了四卷本的人工智能手册 开设Teknowledge和Intel