人工智能导论课件讲义.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《人工智能导论课件讲义.ppt》由用户(晟晟文业)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 人工智能 导论 课件 讲义
- 资源描述:
-
1、2 教材及主要参考书教材及主要参考书:1蔡自兴、徐光佑.人工智能及其应用.清华大学出版社,2004(第三版),2010 (第四版)2王永庆.人工智能原理与方法.西安交通大学出版社.2002 3Nilsson.Artificial Intelligence-A New Synthesis机械工业出版社,1999(英文 版)2000(中文版)学习资料学习资料:Web搜索、包括课件、文章等等。IJCAI国际人工智能大会Artificial Intelligence(期刊)AAAI(美国人工智能联合会)考核考核成绩评定方法:期末考试大作业考试方式:闭卷。各教学环节占总分的比例:期末考试占考试成绩的80
2、%,大作业占20%。放在前面3Movies人工智能导演:斯皮尔博格提示:电影从一个小孩子的眼光来诠释人与机器人的关系,并揭示了一个残酷的事实:机器人永远不能变成人类、他们不能有爱,即使有也只是一段程序。4机械公敌(I robot)影片根据艾萨克阿西莫夫经典科幻短篇小说集我,机器人改编。故事发生在2035年,科技已经发展到相当高的水准,尤其是智能机器人领域,他们已经完全融进了人类的各种生产和生活中。机器人三大法则:机器人不得伤害人,或任人伤害而无所作为;机器人应服从人的一切命令,但命令与第一法则冲突时例外;机器人必须保护自身的安全,但不得与前两条法则抵触。Movies5黑客帝国(MATRIX)M
3、oviesIron ManWhat is AI?What is AI?定义定义1 1 智能机器智能机器(intelligent machine)(intelligent machine)能够在各类环境能够在各类环境 中自主地或交互地执行各种拟人任务的机器。中自主地或交互地执行各种拟人任务的机器。定义定义2 2 人工智能人工智能(学科学科)人工智能人工智能(学科学科)是计算机科学中涉及研究、设计和应是计算机科学中涉及研究、设计和应用智能机器的一个分支。它的近期主要目标在于研究用用智能机器的一个分支。它的近期主要目标在于研究用机器来模仿和执行人脑的某些智力功能,并开发相关理机器来模仿和执行人脑的某
4、些智力功能,并开发相关理论和技术。论和技术。定义定义3 3 人工智能人工智能(能力能力)人工智能人工智能(能力能力)是智能机器所执行的通常与人类智能是智能机器所执行的通常与人类智能有关的智能行为,如判断、推理、证明、识别、感知、有关的智能行为,如判断、推理、证明、识别、感知、理解、通信、设计、思考、规划、学习和问题求解等思理解、通信、设计、思考、规划、学习和问题求解等思维活动。维活动。大师眼中的人工智能 Bellman,1978:Bellman,1978:人工智能是那些与人的思维、决人工智能是那些与人的思维、决策、问题求解和学习等有关活动的自动化进程。策、问题求解和学习等有关活动的自动化进程。
5、Haugeland,1985:Haugeland,1985:人工智能是一种使计算机能够人工智能是一种使计算机能够思维,使机器具有智力的激动人心的新尝试。思维,使机器具有智力的激动人心的新尝试。CharniakCharniak和和McDermott,1985McDermott,1985:人工智能是用计:人工智能是用计算模型研究智力行为。算模型研究智力行为。Kurzwell,1990Kurzwell,1990:人工智能是一种能够执行,需:人工智能是一种能够执行,需要人的智能的,创造性机器的技术。要人的智能的,创造性机器的技术。Schalkoff,1990Schalkoff,1990:人工智能是一门
6、通过计算过程,:人工智能是一门通过计算过程,力图理解和模仿智能行为的学科。力图理解和模仿智能行为的学科。RickRick和和Knight,1991Knight,1991:人工智能研究如何使计算机:人工智能研究如何使计算机做事,而让人过得更好。做事,而让人过得更好。Winston,1992Winston,1992:人工智能是研究那些使理解、推:人工智能是研究那些使理解、推理和行为成为可能的计算。理和行为成为可能的计算。LugerLuger和和Stubblefield,1993Stubblefield,1993:人工智能是计算机:人工智能是计算机科学中,与智能行为的自动化有关的一个分支。科学中,与
7、智能行为的自动化有关的一个分支。What can AI do for you?人工智能的基础人工智能的基础 人工智能(人工智能(Artificial Intelligence),英文英文缩写为缩写为 AI,是一门由计算机科学、控制论、是一门由计算机科学、控制论、信息论、语言学、神经生理学、心理学、信息论、语言学、神经生理学、心理学、数学、哲学等多种学科相互渗透而发展起数学、哲学等多种学科相互渗透而发展起来的综合性新学科。自问世以来来的综合性新学科。自问世以来AI经过波经过波波折折,终于作为一门边缘新学科得到世波折折,终于作为一门边缘新学科得到世界的承认并且日益引起人们的兴趣和关注。界的承认并且
8、日益引起人们的兴趣和关注。AI的基础 哲学:标出了AI的大部分重要思想 数学:使AI成为一门规范科学 数学形式化 神经科学:网络,并行处理 心理学:认知理论 计算机工程:AI的“载体”语言学:知识表示、语法哲学 形式化规则能用来抽取合理的结论吗?形式化规则能用来抽取合理的结论吗?亚里士多德(亚里士多德(Aristotle)为形式逻辑奠定了基础,第)为形式逻辑奠定了基础,第一个把支配意识的理性部分法则形式化为精确的法则集一个把支配意识的理性部分法则形式化为精确的法则集合,典型代表就是三段论,即初始前提的条件下机械地合,典型代表就是三段论,即初始前提的条件下机械地推导出结论。推导出结论。17世纪,
9、有人提出推理如同数字计算,帕斯卡写到:世纪,有人提出推理如同数字计算,帕斯卡写到:“算术机器产生的效果显然更接近思维,而不是动物的算术机器产生的效果显然更接近思维,而不是动物的其他活动。其他活动。”结论:肯定的结论,即可以用一个规则集合描述意结论:肯定的结论,即可以用一个规则集合描述意识的形式化部分识的形式化部分 精神的意识是如何从物质的大脑产生出来?精神的意识是如何从物质的大脑产生出来?Descartes(笛卡尔笛卡尔)给出了第一个关于意识和物质之间区给出了第一个关于意识和物质之间区别以及由此产生的清晰的讨论别以及由此产生的清晰的讨论 二元论二元论 意识(灵魂、精神)的一部分是超脱于自然之外
10、的,不意识(灵魂、精神)的一部分是超脱于自然之外的,不受物理定律的影响受物理定律的影响 动物不具有这种属性,它们可以被当做机器对待动物不具有这种属性,它们可以被当做机器对待 唯物主义唯物主义 大脑依照物理定律运转而构成意识大脑依照物理定律运转而构成意识 自由意志是对出现在选择过程中可能选择的感受方式自由意志是对出现在选择过程中可能选择的感受方式 结论:两种选择:二元论和唯物主义结论:两种选择:二元论和唯物主义 知识从哪里来?知识从哪里来?关于知识的来源:关于知识的来源:Francis Bacon(培根培根)新工具论新工具论开始了经验主义运动开始了经验主义运动 John Locke(洛克洛克)指
11、出:指出:“无物非先感而后知无物非先感而后知”Rudolf Carnap(鲁道夫鲁道夫卡尔纳普卡尔纳普)发展了逻辑实证发展了逻辑实证主义学说,认为主义学说,认为 所有的知识都可以用最终与(对应于传感器输入的)观察语句所有的知识都可以用最终与(对应于传感器输入的)观察语句相联系的逻辑理论来刻画。相联系的逻辑理论来刻画。科学哲学的任务之一是构造科学哲学的任务之一是构造“形式的人工语言形式的人工语言”以及系统理论,以及系统理论,以便于我们更好地进行科学概念和科学陈述的重新构造。这种以便于我们更好地进行科学概念和科学陈述的重新构造。这种语言和自然语言不同,它不是世袭的,而是按照我们制定的规语言和自然语
12、言不同,它不是世袭的,而是按照我们制定的规则构造出来的。则构造出来的。结论:知识来源于实践结论:知识来源于实践 知识是如何导致行动的?知识是如何导致行动的?Aristotle:行动是通过目标与关于行动结果的知识之间行动是通过目标与关于行动结果的知识之间的逻辑联系来判定的。的逻辑联系来判定的。他进一步指出,要深思的不是结局而是手段,假设了他进一步指出,要深思的不是结局而是手段,假设了结局并考虑如何以及通过什么手段得到结局,结局是结局并考虑如何以及通过什么手段得到结局,结局是否容易是否最好,手段在分析顺序中是最后一个,在否容易是否最好,手段在分析顺序中是最后一个,在生成顺序中是第一个生成顺序中是第
13、一个 这实际上就是回归规划系统,这实际上就是回归规划系统,2300年后,年后,1972年年Newell&Simon研制了第一个能够拟人类问题解决的计研制了第一个能够拟人类问题解决的计算机程序算机程序GPS程序(程序(General Problem Solver program)当多个行动可以达到目标时或根本无法到)当多个行动可以达到目标时或根本无法到达目标时,如何行事?达目标时,如何行事?结论:通过目标和关于行动结果的知识之间的逻结论:通过目标和关于行动结果的知识之间的逻辑联系来判定辑联系来判定 哲学家们标志出了哲学家们标志出了AIAI的大部分思想,但的大部分思想,但实现成为一门规范科学的飞跃
14、就要求在三个实现成为一门规范科学的飞跃就要求在三个基础领域完成一定程度的数学形式化:逻辑、基础领域完成一定程度的数学形式化:逻辑、计算和概率。计算和概率。数学 什么是抽取合理结论的形式化规则?什么是抽取合理结论的形式化规则?Boole逻辑(接近命题逻辑)逻辑(接近命题逻辑)Frege扩展了扩展了Boole逻辑,使其包含对象逻辑,使其包含对象和关系,创建了一阶逻辑(当今最基本的和关系,创建了一阶逻辑(当今最基本的知识表示系统)知识表示系统)结论:形式化规则结论:形式化规则=命题逻辑和一阶谓命题逻辑和一阶谓词逻辑词逻辑数学概率概率 概率起源于对赌博问题可能结果的描述,成为所概率起源于对赌博问题可能
15、结果的描述,成为所有需要定量的科学的无价之宝,帮助对付不确定有需要定量的科学的无价之宝,帮助对付不确定的测量和不完备的理论。(的测量和不完备的理论。(Cardano,16世纪)世纪)Bayes提出了根据新证据更新概率的法则(提出了根据新证据更新概率的法则(18世世纪)纪)Bayes分析形成了大多数分析形成了大多数AI系统中不确定推理的系统中不确定推理的现代方法的基础现代方法的基础 结论:使用贝叶斯理论进行不确定推理结论:使用贝叶斯理论进行不确定推理数学 什么可以计算?什么可以计算?可以被计算,就要找到一个算法可以被计算,就要找到一个算法 算法本身的研究在算法本身的研究在19世纪晚期,把一般的数
16、学世纪晚期,把一般的数学推理形式化为逻辑演绎的努力推理形式化为逻辑演绎的努力 1900年,年,David Hilbert(希尔伯特希尔伯特)著名的著名的“23个问题个问题”的最后一个问题是:是否存在一个算的最后一个问题是:是否存在一个算法可以判定任何涉及自然数的逻辑命题的真实法可以判定任何涉及自然数的逻辑命题的真实性。性。/有效证明过程的能力是否有基础的局限性有效证明过程的能力是否有基础的局限性 这一问题被这一问题被Kurt Godel(哥德尔哥德尔)证明了,确实证明了,确实存在真实的局限(不完备性定理,存在真实的局限(不完备性定理,1931)1930年,哥德尔提出,存在一个有效过程可以年,哥
17、德尔提出,存在一个有效过程可以证明罗素和弗雷格的一阶逻辑中的任何真值语证明罗素和弗雷格的一阶逻辑中的任何真值语句,但是一阶逻辑不能捕捉到刻画自然数所需句,但是一阶逻辑不能捕捉到刻画自然数所需要的数学归纳法原则。要的数学归纳法原则。1931年,哥德尔证明了不完备性定理,在任何年,哥德尔证明了不完备性定理,在任何表达能力足以描述自然数的语言中,在不能通表达能力足以描述自然数的语言中,在不能通过任何算法建立它们的真值意义下,存在不可过任何算法建立它们的真值意义下,存在不可判定的真值语句。判定的真值语句。不完备性定理还可以表述为,整数的某些函数不完备性定理还可以表述为,整数的某些函数无法用算法表示,即
18、不可计算。无法用算法表示,即不可计算。Turning试图精确地刻画哪些函数是能够被计试图精确地刻画哪些函数是能够被计算的但,计算或有效过程的概念是无法给出形算的但,计算或有效过程的概念是无法给出形式化定义的。式化定义的。图灵说明了一些函数没有对应的图灵机,没有图灵说明了一些函数没有对应的图灵机,没有通用的图灵机可以判定一个给定的程序,对于通用的图灵机可以判定一个给定的程序,对于给定的输入能否返回答案或者永远运行下去。给定的输入能否返回答案或者永远运行下去。在不可计算性以外,不可操作性具有更重要的在不可计算性以外,不可操作性具有更重要的影响,如果解决一个问题需要的计算时间随着影响,如果解决一个问
19、题需要的计算时间随着实例规模成指数级增长,则该问题被称为不可实例规模成指数级增长,则该问题被称为不可操作的操作的 以以Steven Cook和和Richard Carp为代表的为代表的NP-完全理论为认识不可操作问题提供一种方法。完全理论为认识不可操作问题提供一种方法。Cook和和Carp证明了大量各种类别的规范的组证明了大量各种类别的规范的组合搜索和推理问题属于合搜索和推理问题属于NP-完全问题。完全问题。但任何但任何NP-完全问题类可归约而成的问题类很完全问题类可归约而成的问题类很可能是不可操作的可能是不可操作的 结论:有了可计算性可算法复杂性的理论结论:有了可计算性可算法复杂性的理论的指
20、导的指导神经科学:大脑是如何处理信息的?在在1943年沃仑年沃仑麦卡洛克(麦卡洛克(Warrenc McCulloch)和沃尔特)和沃尔特皮兹(皮兹(Walter Pitts)的工作是这方面最早的尝试之一。)的工作是这方面最早的尝试之一。他们表明,在原则上由非常简单的单元他们表明,在原则上由非常简单的单元连接在一起组成的连接在一起组成的“网络网络”可以对任何可以对任何逻辑和算术函数进行计算。因为网络的逻辑和算术函数进行计算。因为网络的单元有些像大大简化的神经元,它现在单元有些像大大简化的神经元,它现在常被称作常被称作“神经网络神经网络”。神经科学是研究神经系统特别是大脑的科学神经科学是研究神经
21、系统特别是大脑的科学 虽然几千年来人们一直赞同大脑以某种方式和思维相联虽然几千年来人们一直赞同大脑以某种方式和思维相联系,因为证据表明头部受到重击会导致精神缺陷,但是系,因为证据表明头部受到重击会导致精神缺陷,但是直到直到18世纪中期人们才广泛地承认大脑是意识的居所。世纪中期人们才广泛地承认大脑是意识的居所。1861年法国神经解剖家布鲁卡,对八名有语言障碍:能年法国神经解剖家布鲁卡,对八名有语言障碍:能听懂而不能说的病人,进行研究时发现,由于大脑左侧听懂而不能说的病人,进行研究时发现,由于大脑左侧额区的后部,一些组织受损所致。对这个区域命名为布额区的后部,一些组织受损所致。对这个区域命名为布鲁
22、卡语言区。鲁卡语言区。1874年奥地利医生威尔尼克发现,与布鲁卡稍有区别的年奥地利医生威尔尼克发现,与布鲁卡稍有区别的颞叶部分能控制、理解与记忆,因而命名此区域为威尔颞叶部分能控制、理解与记忆,因而命名此区域为威尔尼克语言区。尼克语言区。英国英国自然自然杂志刊登:中国人民解放军杂志刊登:中国人民解放军306医院医院“认知科学与学习认知科学与学习”实验脑功能成像中心,与香港实验脑功能成像中心,与香港大学合作试验发现,使用华语和应用英语,人脑所大学合作试验发现,使用华语和应用英语,人脑所司的语言区不同。讲华语因为是词根式语言,结构司的语言区不同。讲华语因为是词根式语言,结构灵活,要多理解、多记忆,
23、活动量大,所以,应用灵活,要多理解、多记忆,活动量大,所以,应用威尔尼克运动区。而说英语由于依靠语言的形态变威尔尼克运动区。而说英语由于依靠语言的形态变化,须要多听、多说因此,使用布鲁卡的听力区。化,须要多听、多说因此,使用布鲁卡的听力区。1990年核磁共振成像为神经科学家提供了关于年核磁共振成像为神经科学家提供了关于大脑活动的细致图像,使得以某种方式与正在大脑活动的细致图像,使得以某种方式与正在进行的认知过程相符合的测量成了可能。进行的认知过程相符合的测量成了可能。真正令人震惊的结论是,简单细胞的集合能够真正令人震惊的结论是,简单细胞的集合能够导致思维、行动和意识,即使大脑产生意识导致思维、
24、行动和意识,即使大脑产生意识 大脑活动过程对计算机工作过程有所启发大脑活动过程对计算机工作过程有所启发心理学:人类和动物是如何思考的?机器的思考归根结底还是模仿人类的思维模式,正机器的思考归根结底还是模仿人类的思维模式,正是是“思考思考”这一人类的本质属性,使得人工智能和这一人类的本质属性,使得人工智能和心理学从最初就紧密地联系在一起。心理学从最初就紧密地联系在一起。John Watson(沃森沃森)领导的行为主义认为,内省不领导的行为主义认为,内省不能提供可靠的证据,拒绝任何涉及精神过程的理论,能提供可靠的证据,拒绝任何涉及精神过程的理论,只研究动物的感知及其反应只研究动物的感知及其反应 认
25、知心理学的主要特征是,把大脑当做信息处理装认知心理学的主要特征是,把大脑当做信息处理装置,置,Frederic Bartlett(弗雷德里克弗雷德里克巴特莱特巴特莱特)领)领导的剑桥大学应用心理小组使得认知模型得以繁荣导的剑桥大学应用心理小组使得认知模型得以繁荣 心理学家普遍认为,认知理论就应该像计算机程序心理学家普遍认为,认知理论就应该像计算机程序 结论:人类思考和活动应该是一个信息处理过程结论:人类思考和活动应该是一个信息处理过程计算机工程:如何制造能干的计算机?AI需要智能和人工制品,即计算机。需要智能和人工制品,即计算机。AI对主流计算机科学的影响对主流计算机科学的影响 分时技术分时技
展开阅读全文