人工智能第一章绪论(2)

1,2020/5/16,人工智能导论,授课人：王天江华中科技大学计算机学院智能与分布式计算实验室,2,2020/5/16,教材及主要参考书,人工智能技术导论第三版廉师友编著，2007年，西安电子科技大学出版社人工智能及其应用（第二版），蔡自兴等，1999年，清华大学出版社,3,2020/5/16,第一章人工智能概述,4,2020/5/16,人工智能的定义,人工智能至今尚无统一的定义我们给出的定义（狭义）：能够在各类环境中自主地或交互地执行各种拟人任务的机器称为智能机器从学科的角度看，人工智能是计算机科学的一个分支，它研究、设计和应用智能机器，其目标是使智能行为自动化。从能力的角度看，人工智能是智能机器所执行的与人的智能有关的功能，如判断、推理、理解、学习和问题求解等思维活动,第一章人工智能概述,5,2020/5/16,智能研究中一些难回答的问题,智能是一种独立的才能，还是一系列独一无二且不相关联的能力的总称？多大程度上可以说智能是学到的而不是先天存在的？学习时发生什么？什么是创造力？什么是直觉？可以从观察到的行为推断出具有智能，还是需要特定内部机制的证据？在生物体中，知识是如何表示的？智能是否只存在于生物生存的过程中？,第一章人工智能概述,6,2020/5/16,图灵测试,最早专门论述机器智能与现代数字计算机关系的是图灵的”计算机器与智能”(1950)苦苦考虑是否能够制造出真正可以思考的机器思考这个问题本身的严重模糊性,阻碍了理性的思考提出用实验来描述智能问题,第一章人工智能概述,7,2020/5/16,怎么去认定一台计算机是具有智能的呢？假设：这台计算机能以一种和人类不能相区别的方式提供答案，则我们就认为它的确在思维（感觉、理解）,如何定义智能机器？,8,2020/5/16,图灵测试的重要特征,它提供了一个判断智能的标准避免了有关智能“真正”特征的争论因此,图灵测试成为许多现代AI程序评价方案的基础,第一章人工智能概述,9,2020/5/16,图灵测试的反对意见,它偏向于纯粹的符号问题求解任务,不适用于测试感知技能或要实现手工灵活性所需要的能力没有必要把机器智能强行套入人类智能的模具中，或许机器智能就是不同于人类智能，试图按照人类的方式来评价它，可能根本就是一个错误。也有人全面批评图灵测试，认为分散了我们的注意力，应研究通用理论，解释人工智能，指导具体实践问题,第一章人工智能概述,10,2020/5/16,他假设他自己读一段中文写的故事(他不懂中文)他只能按照符号匹配、查找等计算机方法去读这个字符串他得到了正确答案，但他还是不理解故事这个实验称为中文屋子证明：即便一台计算机通过了图灵检验，它仍然完全不具备和理解有关的精神。,例如，美国哲学西尔勒的反对意见,一个人进入餐馆并要了一份汉堡包。当汉堡包端来后发现给烘脆了，此人暴怒地离开了餐馆，没有付账或留下小费。,一个人进入餐馆并要了一份汉堡包。当汉堡包端来后他非常喜欢它，而且在离开餐馆付账之前，给了服务生很多小费。,问题：在每一种情形下此人是否吃了汉堡包？,11,2020/5/16,AI研究的目标与策略,研究目标：制造出智能机器和智能系统，实现智能化社会研究策略：先部分或某种程度地实现机器的智能，再逐步扩展和延伸机器的智能，逐步实现智能化,第一章人工智能概述,12,2020/5/16,智能的生物和社会模型,西方哲学的传统中，把逻辑作为知识表示的依赖性，把逻辑推理作为智能推理的首要机制一些批评者开始探索新的智能模型，智能行为的社会模型。与基于逻辑的方法相反，连接主义通过对人类大脑结构建模来实现智能神经模型一种基于生物的智能模型演化计算模型，如遗传算法等。应用生物进化原理来寻找困难问题的解,第一章人工智能概述,13,2020/5/16,AI研究的内容,1，搜索与求解2，学习与发现3，知识与推理4，发明与创造5，感知与交流6，记忆与联想7，系统与制造8，应用与工程,第一章人工智能概述,14,2020/5/16,AI的研究途径与方法,心理模拟，符号推演生理模拟，神经计算行为模拟，控制进化群体模拟，仿生计算博采广鉴，自然计算原理分析，数学建模,第一章人工智能概述,15,2020/5/16,人工智能是一门知识的科学。以知识为对象，研究知识的获取、表示和使用。数据处理-知识处理符号表示知识而不是数值、数据。有启发，有推导。人工智能是引起争论最多的科学之一焦点：当前人工智能的研究应该以人类的普遍思维规律为主，还是以特定知识的处理和运用为主？智能的本质是什么？机器能达到人的水平吗？结论：人工智能研究是非常困难的,I的研究特点（1）,第一章人工智能概述,16,2020/5/16,I的研究特点（2）,人工智能的研究是十分困难的。McCarthy：人工智能的所有问题都是难解的。Minsky：人工智能是有史以来最难的科学之一。难在：实现智能需要浩繁的知识，而最难对付的知识是常识（不是专业知识）。Dreyfus：常识问题是实现人工智能的最大障碍。,第一章人工智能概述,17,2020/5/16,I的应用领域,第一章人工智能概述,18,2020/5/16,博弈,跳棋、国际象棋、15格拼图等智能性良好的已定义的竞技规则易于用计算机表示的格式测试简单,第一章人工智能概述,19,2020/5/16,自动推理和定理证明,“可以把数学看成是从基本公理推导出定理的过程”（RusellandWhitehead）逻辑的严谨性和普遍性低效性谓词演算逻辑编程语言启发式算法,第一章人工智能概述,20,2020/5/16,专家系统,对特定领域知识的重视引发了对专家系统的研究基于规则的知识表示基于模型的知识表示推理,第一章人工智能概述,21,2020/5/16,自然语言理解和语义建模,可以理解并产生人类语言的程序采集背景知识以一种有助于领悟语言的方式组织知识语义网络,第一章人工智能概述,22,2020/5/16,其它,对人类表现建模规划和机器人人工智能的语言和环境机器学习神经网络和遗传算法,第一章人工智能概述,23,2020/5/16,NaturalLanguageQuestionAnswering,/projects/infolab/,24,2020/5/16,Searchengines,Science,Medicine/Diagnosis,Appliances,Whatelse?,Canyouprovetheorems?,应用,25,2020/5/16,Dante,1994DanteII(CMU)exploredtheMt.Spurr(AleutianRange,Alaska)volcano.High-temperature,fumarolegassamplesareprizedbyvolcanicscience,yettheirsamplingposessignificantchallenge.In1993,eightvolcanologistswerekilledintwoseparateeventswhilesamplingandmonitoringvolcanoes,机器人被用来进行火山探险,26,2020/5/16,如果虫子可以学习会怎样？1988年，麻省理工大学的RodneyBrooks实验室创造出了这个六只脚的步行者，可以自学如何攀登和跨越障碍,27,2020/5/16,SonyAIBO,28,2020/5/16,思考一下：国际象棋、中国象棋与围棋,为什么已经有了可以战胜国际大师的国际象棋程序，而中国象棋和围棋的程序水平却比较低呢？力量投入问题？计算机发展水平问题？棋本身的复杂性问题？其他别的问题？,第一章人工智能概述,29,2020/5/16,历史上的人工智能大师,下面介绍图灵和几位获得图灵奖的人工智能大师,30,2020/5/16,阿伦图灵（AlanTuring）,计算机科学理论的创始人,31,2020/5/16,阿伦图灵（AlanTuring）,1912年出生于英国伦敦，1954年去世1936年发表论文“论可计算数及其在判定问题中的应用”，提出图灵机理论1950年发表论文“计算机与智能”，阐述了计算机可以具有智能的想法，提出图灵测试1966年为纪念图灵的杰出贡献，ACM设立图灵奖,32,2020/5/16,马文明斯基（MarnivLeeMinsky）,人工智能之父框架理论的创立者首位获得图灵奖的人工智能学者,33,2020/5/16,马文明斯基（MarnivLeeMinsky）,1927年出生于美国纽约1951年提出思维如何萌发并形成的基本理论1956年达特茅斯会议的发起人之一1958年在MIT创建世界上第一个AI实验室1969年获得图灵奖1975年首创框架理论,34,2020/5/16,约翰麦卡锡（JohnMcCarthy）,人工智能之父LISP语言的发明人首次提出AI的概念,35,2020/5/16,约翰麦卡锡（JohnMcCarthy）,1927年出生于美国波士顿1956年发起达特茅斯会议，并提出“人工智能”的概念1958年与明斯基一起创建世界上第一个人工智能实验室发明剪枝算法1959年开发LISP语言开创逻辑程序研究，用于程序验证和自动程序设计1971年获得图灵奖,36,2020/5/16,赫伯特西蒙（HerbertA.Simon）,符号主义学派的创始人爱好广泛的全能科学家中国科学院外籍院士,37,2020/5/16,赫伯特西蒙(HerbertA.Simon）,1916年出生于美国的威斯康辛州1943年在匹兹堡大学获政治学博士学位1969年因心理学方面的贡献获得杰出科学贡献奖1975年和他的学生艾伦纽厄尔共同获得图灵奖1978年获得诺贝尔经济学奖1986年因行为学方面的成就获得美国全国科学家奖章,38,2020/5/16,50年代至60年代初开发了世界上最早的启发式程序“逻辑理论家”LT，证明了数学原理第二章中的全部52个定理，开创了机器定理证明这一新的学科领域57年开发了IPL(InformationProcessingLanguage)语言，是最早的AI语言。60年开发了“通用问题求解系统”GPS66年开发了最早的下棋程序之一MATER70年发展与完善了语义网络的概念和方法70年代提出了“物理符号系统假说”70年代提出决策过程模型，成为DSS的核心内容,39,2020/5/16,查理德卡普（RichardM.Karp）,发明“分枝界限法”的三栖学者,40,2020/5/16,查理德卡普（RichardM.Karp）,1935年出生于美国波士顿是加州大学伯克利分校三个系的教授：电气工程和计算机系数学系工业工程和运筹学系60年代提出“分枝界限法”，成功求解含有65个城市的推销员问题，创当时的记录1985年获得图灵奖,41,2020/5/16,爱德华费根鲍姆（EdwardA.Feigenbaum）,知识工程的提出者大型人工智能系统的开拓者,42,2020/5/16,爱德华费根鲍姆（EdwardA.Feigenbaum）,1936年出生于美国的新泽西州通过实验和研究，证明了实现智能行为的主要手段是知识1977年提出知识工程，使人工智能从理论转向应用名言：知识蕴藏着力量1994年和劳伊雷迪共同获得图灵奖,43,2020/5/16,1963年主编了计算机与思想一书，被认为是世界上第一本有关人工智能的经典性专著1965年开发出世界上第一个专家系统开发出著名的专家系统MYCIN80年代合著了四卷本的人工智能手册开设Teknowledge和IntelliGenetics两个公司，是世界上第一家以开发和将专家系统商品化的公司,44,2020/5/16,劳伊雷迪（RajReddy）,大型人工智能系统的开拓者,45,2020/5/16,劳伊雷迪（RajReddy）,37年出生于印度，66年在美国获得博士1994年于费根鲍姆共同获得图灵奖主持过一系列大型AI系统的开发Navlab能在道路行驶的自动车辆项目LISTEN用于扫盲的语音