资源描述
人工智能原理人工智能原理第1章 人工智能概述人工智能概述 1人工智能原理第1章 人工智能概述 1本章内容本章内容1.1 关于人工智能的定义1.2 人工智能的基础1.3 人工智能简史1.4 智能体与环境1.5 智能体结构小结参考书目附录 和人工智能相关的社会伦理问题第1章 人工智能概述2本章内容1.1 关于人工智能的定义1.2 人1.1 关于人工智能的定义智能体对AI的4种不同定义类人行动/类人思考/理性思维/理性行动第1章 人工智能概述31.1 关于人工智能的定义智能体对AI的4种不同定义作为智能体的人类作为智能体的人类智能体智能体(Agent)人类是一种智能体我们,作为一个智能体,为什么能够思考?大脑这么一小堆东西怎么能够感知、理解、预测和应对一个远比自身庞大和复杂的世界?理解人类,理解智能体人工智能(AI)走得更远:不仅试图理解智能体,而且要建造智能体制造出像人类一样完成某些智能任务的系统(软件)第1章 人工智能概述4作为智能体的人类智能体(Agent)第1章 人工智能概述4AI是新兴学科,也是激动人心的学科.Russell声称:不同于物理学,这里还有出现几个爱因斯坦的余地为什么?研究主观世界的成果远少于研究客观世界的成果第1章 人工智能概述处于探索初期的学科处于探索初期的学科5AI是新兴学科,也是激动人心的学科.Russell声称:对对AI的的4种不同种不同定义定义第1章 人工智能概述像人一样思考的系统理性地思考的系统要使计算机能思考有头脑的机器(Haugeland,1985)使之自动化与人类的思维相关的活动,诸如决策、问题求解、学习等活动(Bellman,1978)通过对计算模型的使用来进行心智能力的研究(Charniak&McDemontt,1985)对使得知觉、推理和行动成为可能的计算的研究(Winston,1992)像人一样行动的系统理性地行动的系统创造机器来执行人需要智能才能完成的功能(Kurzweil,1990)研究如何让计算机能够做到那些目前人比计算机做得更好的事情(Rich&Knight,1991)计算智能是对设计智能化智能体的研究(Poole et al.,1998)AI关心的是人工制品中的智能行为(Nilsson,1998)6对AI的4种不同定义第1章 人工智能概述像人一样思考的系统理不同定义不同定义类人行为类人行为(1)(1)类人行为:图灵测试类人行为:图灵测试(1950)图灵建议:不是问“机器能否思考”,而是问“机器能否通过关于行为的智能测试”第1章 人工智能概述7不同定义类人行为(1)类人行为:图灵测试(1950)第1章不同定义不同定义类人行为类人行为(2)(2)测试过程:让一个程序与一个人进行5分钟对话/然后人猜测交谈对象是程序还是人?如果在30%测试中程序成功地欺骗了询问人,则通过了测试图灵期待最迟2000年出现这样的程序,但是到目前为止,面对训练有素的鉴定人,没有一个程序接近30%的标准第1章 人工智能概述8不同定义类人行为(2)测试过程:让一个程序与一个人进行5分不同定义不同定义类人行为类人行为(3)(3)要想程序通过图灵测试,还需要做大量工作,这些技能包括:自然语言处理,使机器可以用人类语言交流知识表示,存储机器获得的各种信息自动推理,运用知识来回答问题和提取新结论机器学习,适应新环境并检测和推断新模式以及(为了完全图灵测试)计算机视觉,机器感知物体机器人技术,操纵和移动物体第1章 人工智能概述9不同定义类人行为(3)要想程序通过图灵测试,还需要做大量工不同定义不同定义类人行为类人行为(4)(4)AI研究者并未花费很多精力来尝试通过测试,因为研究智能的根本原则远比复制样本重要.如同空气动力学与模拟鸟类飞行之对于飞机的产生第1章 人工智能概述10不同定义类人行为(4)AI研究者并未花费很多精力来尝试通过不同定义不同定义类人思考类人思考类人思考类人思考:认知模型方法认知模型方法如何得知人类是如何思考的?通过自省捕捉人类思维过程和通过心理测试这种方法不满足于让程序正确地解决问题,更加关心对程序的推理步骤轨迹与人类个体求解同样问题的步骤轨迹进行比较认知科学:把来自AI的计算模型与来自心理学的实验技术相结合,试图创立一种精确而且可检验的人类思维工作方式的理论通常,我们只关心程序实现了什么功能,而不会比较AI技术和人类认知之间的异同第1章 人工智能概述11不同定义类人思考类人思考:认知模型方法第1章 人工智能概不同定义不同定义理性思考理性思考理性地思考理性地思考:“:“思维法则思维法则”方法方法19世纪,逻辑学家就发展出可以描述世界上一切事物及其彼此关系的精确的命题符号1965年,原则上,已经有程序可以求解任何用逻辑符号描述的可解问题(消解法)AI领域传统的逻辑主义希望通过编制上述程序来创造智能系统难点:非形式化的知识难以用逻辑符号形式化/“原则上”可以解决问题和实际解决问题二者之间存在巨大差异第1章 人工智能概述12不同定义理性思考理性地思考:“思维法则”方法第1章 人工不同定义不同定义理性行动理性行动(1)(1)理性地行动理性地行动:理性智能体方法理性智能体方法计算机智能体应该有别于“简单的”程序:具有诸如自主控制操作、感知环境、适应变化等理性智能体:要通过自己的行动获得最佳结果,或者在不确定的情况下,获得最佳期望结果不仅要正确地推理,还要正确地行动/正确推论是理性智能体的部分功能,而不是理性的全部内容图灵测试中需要的技能都是为了作出理性行为第1章 人工智能概述13不同定义理性行动(1)理性地行动:理性智能体方法第1章 不同定义不同定义理性行动理性行动(2)(2)把把AI研究视为理性智能体的设计过程研究视为理性智能体的设计过程好处:普遍性:比“思维法则”法则方法(理性地思维)更广/比建立在人类行为或者思维基础(类人方法)上的方法更形式化,因为相比具有清楚的定义或标准正确的结果在不同条件下可以定义清楚完美理性总能做正确的事情 vs.有限理性 在没有足够计算时间的前提下采取正确的行动完美理性在复杂环境下是不可行的第1章 人工智能概述14不同定义理性行动(2)把AI研究视为理性智能体的设计过程第4 4种方法的比较种方法的比较第1章 人工智能概述思 考 过程类人思考模拟思维过程理性思考理性行为人 类 智能智 能 行为类人行为模拟行为功能思维过程思维模型按照模型建立思维系统智能行为行为建模按照模型建立行为系统 类人思考或类人行为:直接模拟/追随人 理性思考或理性行为:间接模拟/概括人 更普遍154种方法的比较第1章 人工智能概述思考过程类人思考理性思考理AIAI概念理解是一个过程概念理解是一个过程上述定义见仁见智重要的是学习AI方法、应用AI方法,在实践中逐步深入领会AI这个词的含义目前,AI就是一种运行在我们自己机器中的程序,它的智能都是我们给的!第1章 人工智能概述16AI概念理解是一个过程上述定义见仁见智第1章 人工智能概述11.2 人工智能的基础各学科的贡献:哲学/数学经济学/神经科学/心理学计算机工程控制论/语言学第1章 人工智能概述171.2 人工智能的基础各学科的贡献:哲学/数学经济学对人对人工智能有贡献的学科工智能有贡献的学科哪些学科、哪些思想和哪些人物给予AI以贡献?哲学(BC428现在)数学(800现在)经济学(1776现在)神经科学(1861现在)心理学(1879现在)计算机工程(1940现在)控制论(1948现在)语言学(1957现在)第1章 人工智能概述18对人工智能有贡献的学科哪些学科、哪些思想和哪些人物给予AI以哲学的贡献哲学的贡献(1)(1)哲学(BC428现在)贡献的思想:问题1:形式化规则能用来抽取合理的结论吗?问题2:精神的意识是如何从物质的大脑产生出来的?问题3:知识是从哪里来的?问题4:知识是如何导致行动的?第1章 人工智能概述19哲学的贡献(1)哲学(BC428现在)贡献的思想:第1章哲学的贡献哲学的贡献(2)(2)问题1:形式化规则能用来抽取合理的结论吗?(哲学家及其贡献)亚里士多德(Aristotle,BC384BC322),为形式逻辑奠定了基础/第一个把支配意识的理性部分法则形式化为精确的法则集合/著名的三段论Ramon Lull/Leonardo da Vinci(达芬奇)/Blaise Pascal(帕斯卡)/Gottfried Wilhelm Leibnitz(莱布尼兹)等人均设计或制造了能计算的机器第1章 人工智能概述20哲学的贡献(2)问题1:形式化规则能用来抽取合理的结论吗?(哲学的贡献哲学的贡献(3)(3)17世纪,有人提出推理如同数字计算/帕斯卡写道:“算术机器产生的效果显然更接近于思维而不是动物的其他活动”问题1结论:肯定的结论,即可以用一个规则集合描述意识的形式化、理性的部分第1章 人工智能概述21哲学的贡献(3)17世纪,有人提出推理如同数字计算/帕哲学的贡献哲学的贡献(4)(4)问题2:从物理系统的角度来考虑意识:意识与物质的大脑之间的关系如何?Ren Descartes(笛卡尔)给出了第一个关于意识和物质之间的区别以及由此产生的问题的清晰讨论笛卡尔是二元论二元论的支持者:坚持意识(或称为灵魂/精神)的一部分是超脱于自然之外的,不受物理定律影响.而动物不拥有这种二元属性,它们可以被作为机器对待第1章 人工智能概述22哲学的贡献(4)问题2:从物理系统的角度来考虑意识:意识与哲学的贡献哲学的贡献(5)(5)唯物主义唯物主义认为:大脑依照物理定律运转而构成了意识,自由意志也就简化为对出现在选择过程中可能选择的感受方式问题2结论:存在两种选择二元论和一元论第1章 人工智能概述23哲学的贡献(5)唯物主义认为:大脑依照物理定律运转而构成了哲学的贡献哲学的贡献(6)(6)问题3:知识是从哪里来的?关于知识的来源:Francis Bacon(培根)新工具论开始了经验主义运动John Locke(洛克)指出:“无物非先感而后知”David Hume(休谟)提出归纳原理:一般规则是通过揭示形成规则的元素之间的重复关联而获得的第1章 人工智能概述24哲学的贡献(6)问题3:知识是从哪里来的?第1章 人工智能概哲学的贡献哲学的贡献(7)(7)基于Ludwig Wittgenstein,Bertrand Russell的工作,Rudolf Carnap领导维也纳学派发展了实证逻辑主义,坚持认为所有的知识都可以用最终和传感器输入相对应的观察语句观察语句相联系的逻辑理论来描述问题3结论:知识来自于实践第1章 人工智能概述25哲学的贡献(7)基于Ludwig Wittgenstein,哲学的贡献哲学的贡献(8)(8)问题4:知识是如何导致行动的?关于意识的哲学图景的最后元素是知识与行动之间的联系/智能既要求推理也要求行动亚里士多德认为:行动是通过目标与关于行动结果的知识之间的逻辑来判定的第1章 人工智能概述26哲学的贡献(8)问题4:知识是如何导致行动的?第1章 人工智哲学的贡献哲学的贡献(9)(9)他的进一步阐述指出:要深思的不是结局而是手段/假设了结局并考虑如何以及通过什么手段得到该结局,结局是否容易是否最好/手段在分析顺序中是最后一个,在生成顺序中是第一个这实际上就是回归规划系统,2300年后由Newell和Simon在其GPS程序中实现了问题4结论:知识用于指导行动去达到目标第1章 人工智能概述27哲学的贡献(9)他的进一步阐述指出:要深思的不是结局而是手数学的贡献数学的贡献(1)(1)数学(800现在)贡献的思想:什么是抽取合理结论的形式化规则?什么可以被计算?如何用不确定的知识进行推理?AI成为一门规范科学要求在三个基础领域完成一定程度的数学形式化:逻辑、计算、概率第1章 人工智能概述28数学的贡献(1)数学(800现在)贡献的思想:第1章 人工数学的贡献数学的贡献(2)(2)数学家及其贡献问题1:如何抽取形式化规则?George Boole(布尔,18151864),1847年完成了形式逻辑的数学化/命题逻辑或称布尔逻辑Gottlob Frege(弗雷格,18481925),1879年扩展了布尔逻辑,使其包含对象和关系,创建了一阶逻辑Alfred Tarski(塔斯基)引入了一种参考理论,可以把逻辑对象与现实世界对象联系起来第1章 人工智能概述29数学的贡献(2)数学家及其贡献第1章 人工智能概述29数学的贡献数学的贡献(3)(3)问题1结论:形式化规则=命题逻辑和一阶谓词逻辑问题2:什么可以计算?可以被计算,就是要找到一个算法算法本身的研究可回溯至9世纪波斯数学家al-Khowarazmi19世纪晚期,把一般的数学推理形式化为逻辑演绎的努力已经展开第1章 人工智能概述30数学的贡献(3)问题1结论:形式化规则=命题逻辑和一阶谓词数学的贡献数学的贡献(4)(4)1900年,David Hilbert(希尔伯特,18621943)提出了包括23个问题的清单,其中最后一个问题是:是否存在一个算法可以判定涉及自然数的逻辑命题的真实性,即可判定性问题/他所要问的是:有效证明过程的能力是否有基础的局限性这一问题被Kurt Gdel(哥德尔,19061978)在1931年证实:确实存在真实的局限第1章 人工智能概述31数学的贡献(4)1900年,David Hilbert(希数学的贡献数学的贡献(5)(5)1930年,哥德尔提出:存在一个有效过程可以证明罗素和弗雷格的一阶逻辑中的任何真值语句,但是一阶逻辑不能捕捉到刻画自然数所需要的数学归纳法原则1931年,哥德尔证明了他的不完备性定理:在任何表达能力足以描述自然数的语言(如某种逻辑)中,在不能通过任何算法建立它们的真值的意义上,存在不可判定的真值语句 不完备性定理还可以表述为:整数的某些函数无法用算法表示,即不可计算的第1章 人工智能概述32数学的贡献(5)1930年,哥德尔提出:存在一个有效过程数学的贡献数学的贡献(6)(6)由此激发了Allen Turing(图灵,19121954)的热情,他试图精确地刻画哪些函数是能够被计算的/实际上计算或者有效过程的概念是无法给出形式化定义的/但是Church-Turing论题指出:图灵机可以计算任何可计算的函数/该结论作为一个充分的定义而被接受图灵说明了一些函数没有对应的图灵机/没有通用的图灵机可以判定一个给定的程序对于给定的输入能否返回答案或者永远运行下去第1章 人工智能概述33数学的贡献(6)由此激发了Allen Turing(图灵,数学的贡献数学的贡献(7)(7)在不可计算性以外,不可操作性不可操作性具有更重要的影响/如果解决一个问题需要的计算时间随着实例规模成指数级增长,则该问题被称为不可操作的(计算复杂性问题)多项式级和指数级增长的区别在20世纪60年代得到重视如何认识不可操作问题?以Steven Cook(1971)和Richard Carp为代表的NP-完全理论的研究提供了一种方法第1章 人工智能概述34数学的贡献(7)在不可计算性以外,不可操作性具有更重要的影数学的贡献数学的贡献(8)(8)Cook和Carp证明有大量各种类别的规范的组合搜索和推理问题属于NP-完全问题任何NP-完全问题类完全问题类可归约成的问题类很可能是不可操作的(目前尚未证明,但大家猜测是如此)AI研究帮助解释了为什么NP-完全问题的一些实例很难,而另外一些较容易问题2结论:有了可计算性和算法复杂性理论的指导第1章 人工智能概述35数学的贡献(8)Cook和Carp证明有大量各种类别的规范的数学的贡献数学的贡献(9)(9)数学对AI的第三个贡献是概率理论Pierre Fermat,Pascal,James Bernoulli,Pierre Laplace等都推进了概率理论的发展及引入了新的统计方法论Thomas Bayes(贝叶斯,17491827)提出了根据证据更新概率的法则(贝叶斯公式/条件概率公式)由此衍生出的贝叶斯分析形成了AI系统中不确定推理方法的基础问题3结论:使用贝叶斯理论进行不确定推理第1章 人工智能概述36数学的贡献(9)数学对AI的第三个贡献是概率理论第1章 人工经济学的贡献经济学的贡献(1)(1)经济学(1776现在)贡献的思想:如何决策以获得最大收益?在他人不合作的情况下如何做到这点?在收益遥遥无期的情况下如何做到这点?问题1:效用理论问题2:决策理论问题3:运筹学上述研究工作对于建造理性智能体很有贡献,其原因之一是制定理性决策的复杂性第1章 人工智能概述37经济学的贡献(1)经济学(1776现在)贡献的思想:第1章经济学的贡献经济学的贡献(2)(2)Herbert Simon(西蒙,19162001)是AI研究的先驱者/他于1978年获得诺贝尔经济学奖,是因为他早年的工作:基于满意度的模型制定“足够好”的决策,而不是艰苦计算获得最优化决策能更好地描述真实人类行为关于在智能体系统中使用决策理论技术的研究兴趣正在复苏第1章 人工智能概述38经济学的贡献(2)Herbert Simon(西蒙,191神经科学的贡献神经科学的贡献(1)(1)神经科学(1861现在)的贡献:大脑是如何处理信息的?神经科学是研究神经系统特别是大脑的科学虽然几千年来人类一直赞同大脑以某种方式与思维相联系(因为证据表明头部受重击会导致精神缺陷),但是直到18世纪中期人类才广泛地承认大脑是意识的居所第1章 人工智能概述39神经科学的贡献(1)神经科学(1861现在)的贡献:第1章神经科学的贡献神经科学的贡献(2)(2)Paul Proca(布鲁卡)通过研究大脑损伤病人的失语症,阐明了语言产生定位于大脑左半球的一部分,现在称为布鲁卡区1873年Camillo Golgi开发出一项染色体技术,允许人们观察大脑的各个神经元1929年Hans Berger发明脑电图记录仪1990年核磁共振成像为神经科学家提供了关于大脑活动的细致图像,使得以某种方式与正在进行的认知过程相符合的测量成为可能第1章 人工智能概述40神经科学的贡献(2)Paul Proca(布鲁卡)通过研究大神经科学的贡献神经科学的贡献(3)(3)真正令人震惊的结论是:简单细胞的集合能够导致思维、行动和意识,换句话说,大脑产生意识(西尔勒,1992)计算机和大脑如何相比?大脑活动过程对计算机工作过程有所启发第1章 人工智能概述41神经科学的贡献(3)真正令人震惊的结论是:简单细胞的集合能计算机与大脑的比较计算机与大脑的比较尽管计算机在原始的转换速度上快100万倍,大脑最终在做事上比计算机快10万倍第1章 人工智能概述计算机人脑计算单元数存储单元数运算周期时间带宽记忆更新次数/秒1个CPU/108逻辑门1010比特RAM1011比特磁盘10-9秒1010比特/秒1091011个神经元1011个神经元1014个突触10-3秒1014比特/秒101442计算机与大脑的比较尽管计算机在原始的转换速度上快100万倍,心理学心理学的贡献的贡献(1)(1)心理学(1879现在)的贡献:人类和动物如何思考和行动?心理学家的工作科学的心理学源自德国物理学家Herman von Helmholtz(霍尔姆霍兹,18211894)和其学生Wilhelm Wundt的研究工作,1879年莱比锡大学开设了第一个实验心理学的实验室,进行仔细控制的实验第1章 人工智能概述43心理学的贡献(1)心理学(1879现在)的贡献:第1章 人心理学心理学的贡献的贡献(2)(2)John Watson领导的行为主义运动认为:内省不能提供可靠的证据,拒绝任何涉及精神过程的理论,只研究动物的感知及其反应行为主义在19201960年期间一直控制着心理学认知心理学认知心理学的主要特征是:把大脑当作信息处理装置,可以回溯至William James的研究工作Frederic Bartlett领导的剑桥大学应用心理学小组使得认知模型得以繁荣第1章 人工智能概述44心理学的贡献(2)John Watson领导的行为主义运动认心理学心理学的贡献的贡献(3)(3)在美国,计算机科学的发展导致了认知科学的创建,始于1956年9月MIT的一个研讨会(就在AI创始的那次学术会议2个月之后),会上有三篇著名论文George Miller介绍了魔法数字7(The Magic Number Seven)/Noam Chomsky(乔姆斯基)介绍了语言的三种模型(Three Models of Language)/Allen Newell(纽厄尔)和Herbert Simon介绍了逻辑理论机(The Logic Theory Machine)第1章 人工智能概述45心理学的贡献(3)在美国,计算机科学的发展导致了认知科学的心理学心理学的贡献的贡献(4)(4)这三篇论文分别显示了计算机模型可以用来表达记忆、语言和逻辑思维的心理状态心理学家普遍认为:“认知理论就应该像计算机程序”(Anderson,1980),即认知理论应该描述详细的信息处理机制,由此可能实现某种认知功能结论:人类思考和活动应该是一个信息处理过程第1章 人工智能概述46心理学的贡献(4)这三篇论文分别显示了计算机模型可以用来表达计算机工程的贡献计算机工程的贡献(1)(1)计算机工程(1940现在)的贡献:如何才能制造出能干的计算机?计算机被视为智能和人工制品的结合最早的可计算的装置应该从17世纪算起19世纪中叶,Charles Babbage(巴贝奇,17921871)设计了两台机器,名为“差分机”和“分析机”,前者最终于1991年建造出来并在伦敦展出第1章 人工智能概述47计算机工程的贡献(1)计算机工程(1940现在)的贡献:第计算机工程的贡献计算机工程的贡献(2)(2)最早的现代计算机几乎同时在二战期间分别在英国、德国和美国发明出来1945年在宾夕法尼亚大学(UPenn)开发出来的ENIAC被公认为现代计算机最有影响的先驱,研制者包括John Mauchly和John Eckert计算机硬件按照摩尔定律每18个月性能翻一番,这样的增长速度还可以持续稳定10年至20年,以后就不得不寻求新技术了第1章 人工智能概述48计算机工程的贡献(2)最早的现代计算机几乎同时在二战期间分别计算机工程的贡献计算机工程的贡献(3)(3)计算机软件技术为AI提供了操作系统、程序设计语言、工具软件等AI反过来也对主流计算机科学产生了影响:分时技术、交互式编译器、窗口和鼠标的个人机、快速开发环境、链接表数据类型、自动存储管理、面向对象的编程等第1章 人工智能概述49计算机工程的贡献(3)计算机软件技术为AI提供了操作系统、程控制论的贡献控制论的贡献(1)(1)控制论(1948现在)的贡献:人工制品怎样才能在自己的控制下运转?现代控制论控制论的创始人Norbert Wiener(维纳,1894 1964)的畅销书Cybernetics(控制论)唤醒了人们对人工制造智能机器的可能性的热情现代控制论,特别是随机优化控制的分支,把设计出能随时间变化使目标函数最大化的系统作为其目的,也粗略符合对AI的观点第1章 人工智能概述50控制论的贡献(1)控制论(1948现在)的贡献:第1章 人控制论的贡献控制论的贡献(2)(2)AI和控制论为什么是两个不同领域?控制论的数学工具是微积分和矩阵代数,适合于用固定的连续变量集合描述的系统,精确分析在典型情况下只对线性系统可行AI自20世纪50年代建立以来,部分起因是寻求摆脱控制论数学方法的局限性逻辑推理和计算工具使得AI研究者考虑语言/视觉/规划等问题,完全脱离了控制论的范围第1章 人工智能概述51控制论的贡献(2)AI和控制论为什么是两个不同领域?第1章 语言学的贡献语言学的贡献(1)(1)语言学(1957现在)贡献的思想:语言和思维是怎样联系起来的?乔姆斯基最先作出了贡献1957年句法结构出版,颠覆了行为主义,认为该理论不能解释儿童怎么能理解和构造他们以前没有听到的句子,而乔姆斯基关于语法模型的理论则能够解释这个现象,并且足够形式化/乔姆斯基理论的影响一直持续到20世纪80年代末第1章 人工智能概述52语言学的贡献(1)语言学(1957现在)贡献的思想:第1章语言学的贡献语言学的贡献(2)(2)计算语言学或者自然语言处理与AI差不多同时诞生,一直在发展,但是距离彻底理解语言和思维的关系尚很远研究语言的理解过程是人类智能研究的核心之一第1章 人工智能概述53语言学的贡献(2)计算语言学或者自然语言处理与AI差不多同时各学科的贡献各学科的贡献哲学逻辑/推理方法/智能作为一种物理系统/理性的基础数学形式表示与证明/算法/可计算性/可操作性/概率性心理学自适应性/感知和控制的现象语言学知识表示/语法神经科学智能活动的物理基础(substrate)控制理论自我平衡系统/稳定性/优化设计计算机工程计算机硬件和软件系统经济学复杂系统中的决策/验证环境第1章 人工智能概述54各学科的贡献哲学逻辑/推理方法/智能作为一种物理系统/理性推动推动AI发展的动力发展的动力上述学科对于各种问题的探索,由此激发的认识、思想、成就都成为推动AI发展的动力由此而发展出来的技术就构成了AI的学科研究内容人工智能=人造物(计算机)+智能(特殊化程序)从智能体角度,有2类智能体:人类/计算机作为人造智能体,人们期待计算机智能体在解决某些问题方面要达到专家水平,尽管从整体上它远远不及一个普通人第1章 人工智能概述55推动AI发展的动力上述学科对于各种问题的探索,由此激发的认1.3 人工智能简史7个历史时期:孕育期/诞生/早期的成功与期望困难期/基于知识系统的崛起AI成为工业/AI成为科学第1章 人工智能概述561.3 人工智能简史7个历史时期:孕育期/诞生/早期的人工智能发展的人工智能发展的7 7个时期个时期按照Russell的观点,AI近五十年的发展历史可以分为以下7个时期:AI孕育期(19431955)AI的诞生(1956)早期的热情,巨大的期望(19521969)现实的困难(19661973)基于知识的系统:力量的钥匙?(19691979)AI成为工业(1980现在)AI成为科学(1987现在)/神经网络的回归 (1986现在)/智能化智能体出现(1995现在)第1章 人工智能概述57人工智能发展的7个时期按照Russell的观点,AI近五十人工智能孕育期人工智能孕育期(19431955)(19431955)神经网络最早的AI工作是1943年Warren McCulloch和Walter Pitts人工神经元模型的研究,他们证明任何可计算的函数都可以通过某种由神经元连接成的网络进行计算,还提出适当的网络能够学习1951年,普林斯顿大学数学系研究生Marvin Minsky(明斯基)和Dean Edmonds建造了第一台神经元网络计算机第1章 人工智能概述58人工智能孕育期(19431955)神经网络第1章 人工智能图灵的论文图灵的论文图灵1950年的论文第一个清晰地描绘出AI的完整图像(Computing Machinery and Intelligence)提出了图灵测试、机器学习、遗传算法、增量学习第1章 人工智能概述59图灵的论文图灵1950年的论文第一个清晰地描绘出AI的完整图人工智能的诞生人工智能的诞生(1956)(1)(1956)(1)1956年夏天,AI正式诞生于达特茅斯大学John McCarthy(麦卡锡)自普林斯顿大学毕业以后去了达特茅斯大学,他说服了另外2个人帮助召开了为期2个月的研讨会会议组织者4人:麦卡锡、Minsky(明斯基)、Claude Shannon(香侬)、IBM的Nathaniel Rochester(罗切斯特),参加者共10人其他6位是:普林斯顿大学Trenchard More、IBM的Arthur Samuel(塞缪尔)、MIT的Ray Solomonoff和Oliver Selfridge、CMU的纽厄尔和西蒙第1章 人工智能概述60人工智能的诞生(1956)(1)1956年夏天,AI正式诞人工智能的诞生人工智能的诞生(1956)(2)(1956)(2)会上,纽厄尔和西蒙最为活跃,介绍了他们的推理程序:逻辑理论家尽管这次会议没有新突破,但聚集了AI的主要人物特别是AI领域的4位著名专家,他们后来所在的大学也成为了美国AI研究的3大基地:MIT明斯基Stanford麦卡锡(先在MIT后去了Stanford)CMU纽厄尔和西蒙此外,还有IBM第1章 人工智能概述61人工智能的诞生(1956)(2)会上,纽厄尔和西蒙最为活跃人工智能的诞生人工智能的诞生(1956)3(1956)3这次会议最为长久的贡献就是麦卡锡为该领域起的名字:人工智能为什么AI有必要成为一个新领域?目标不同:AI从一开始就承载着复制人的才能如创造性、自我修养、语言功能等思想,没有任何一个其他领域涉及这些问题方法论不同:是唯一一个明确属于计算机科学的分支,因而不是数学或者控制论或其他学科的分支AI是唯一这样的领域:它试图建造在复杂和变化的环境中自动发挥功能的机器第1章 人工智能概述62人工智能的诞生(1956)3这次会议最为长久的贡献就是麦早期的热情早期的热情,巨大的期望巨大的期望(19521969)(1)(19521969)(1)当时,主流的思想是“一台机器永远不能做X”(而不是考虑“看看计算机能不能做X?”)AI研究者们就演示一个接一个的XCMU:纽厄尔和西蒙完成通用问题求解器(GPS),该系统及其后续程序的成功导致了他们提出著名的物理符号系统物理符号系统假设第1章 人工智能概述63早期的热情,巨大的期望(19521969)(1)当时,早期的热情早期的热情,巨大的期望巨大的期望(19521969)(2)(19521969)(2)IBM:1959Herbert Gelernter建造了几何定理证明机;1952年起,塞缪尔写了一系列西洋跳棋程序,通过学习可达业余高手的级别MIT:1958年麦卡锡到了以后作出了三项重要贡献/贡献1:定义了LISP语言/贡献2:与MIT其他人发明了分时技术/贡献3:发表了题为Program with Common Sense的论文,文中描述了“建议采纳者”程序.该程序实现了知识表示和推理的中心原则:具备明确的知识表示,并能通过演绎过程处理这些表示第1章 人工智能概述64早期的热情,巨大的期望(19521969)(2)IBM早期的热情早期的热情,巨大的期望巨大的期望(19521969)(3)(19521969)(3)Stanford:1963年麦卡锡启动了斯坦福的AI实验室,着重研究逻辑推理的通用方法(后来如Robinson发现归结方法)/以及机器人研究MIT:1958年明斯基也到了,不过他对程序如何实现更感兴趣,并最终发展出反逻辑的观点/指导了一系列学生,选择那些显然需要智能才能解决的受限问题/贡献:微世界微世界模型MIT:最著名的微世界是积木世界,在此基础上完成了许多研究工作如:视觉项目、自然语言理解项目(Terry Winograd)、规划器等第1章 人工智能概述65早期的热情,巨大的期望(19521969)(3)Sta现实的困难现实的困难(19661973)(1)(19661973)(1)早期AI研究者过于盲目的乐观态度,10年预见,而实际上至少40年早期的AI系统在试图解决更宽范围和更难的问题时,都悲惨地失败了/原因何在?第一类困难:缺少主题知识(通用而非专门化)典型例子:机器翻译(MT)/最早对AI研究的发难始于机器翻译(1966ALPAC报告)时至今日,MT研究仍然不完善但是被广泛期待,也在作为一种辅助文档处理工具第1章 人工智能概述66现实的困难(19661973)(1)早期AI研究者过于盲目现实的困难现实的困难(19661973)(2)(19661973)(2)第二类困难:AI试图解决的很多问题是不可操作的(NP类)在计算复杂性理论建立之前,对“问题放大”(从玩具到现实)的认识局限于速度和存储容量例子:包含超过几十条事实的定理证明/早期遗传算法实验(195859)无限计算能力的幻觉:程序原则上能够找到解并不意味着程序实际上包含找到解的机制1973年英国政府在Lighthill报告之后终止了除2所大学以外所有的AI研究资助第1章 人工智能概述67现实的困难(19661973)(2)第二类困难:AI试图解现实的困难现实的困难(19661973)(3)(19661973)(3)第三类困难:用于产生智能行为的基本结构存在某些限制例子:1969年Minsky和Papert证明了感知器简单的神经网络所能表示的东西很少(单层感知器对XOR函数)神经网络研究由此沉寂了20年,直到80年代后期多层网络的反向传播算法出现引起了神经网络的复兴这一算法首次发现恰恰是在1969年发现的(Bryson&Ho)第1章 人工智能概述68现实的困难(19661973)(3)第三类困难:用于产生智基于知识的系统基于知识的系统:力量的钥匙力量的钥匙?(19691979)(1)(19691979)(1)早期研究中的通用搜索机制称为弱方法弱方法,通用但不能扩展到大规模问题或困难问题需要更强有力的、领域相关的知识DENDRAL是第一个成功的知识密集型系统,1969年在Stanford开发,参与者包括Ed Feigenbaum等,根据质谱仪信息推断分子结构/该系统改进后,把知识和推理部分清楚地划分开80年代专家系统的典型结构第1章 人工智能概述69基于知识的系统:力量的钥匙?(19691979)(1基于知识的系统基于知识的系统:力量的钥匙力量的钥匙?(19691979)(2)(19691979)(2)由DENDRAL系统开始的专家系统专家系统方法论又应用到其他需要人类专家知识的领域:MYCIN检测血液感染的专家系统MYCIN知识库的特点:直接来自经验/反映出知识的不确定性自然语言理解领域的专家系统:耶鲁大学Roger Schank和其学生们开发的一系列程序(19771983)第1章 人工智能概述70基于知识的系统:力量的钥匙?(19691979)(2AIAI成为工业成为工业(1980(1980现在现在)(1)(1)1982年,第一个成功的商用专家系统R1在DEC公司开始运转,到1986年为止每年为公司节省4千万美元美国主要公司都曾开发或使用专家系统AI工业在1980年只是几百万美元,1988年涨到数十亿美元但很快又进入了“AI的冬天”时期第1章 人工智能概述71AI成为工业(1980现在)(1)1982年,第一个成功AIAI成为工业成为工业(1980(1980现在现在)(2)(2)在八十年代的AI研究热潮中,1981年日本提出五代机计划,目的是建造运行Prolog程序的智能机美国则对应成立了MCC研究集团其中的AI部分从未实现其野心勃勃的目标实际上,“AI成为工业”目前在一些家电中可以找到影子(智能洗衣机等)第1章 人工智能概述72AI成为工业(1980现在)(2)在八十年代的AI研究热潮神经网络的回归神经网络的回归(1986(1986现在现在)神经网络:Frank Rosenblatt1962年提出感知器,证明了感知器收敛定理/但1969年以后沉寂反向传播算法引起了神经网络研究的复兴Rumelhart和McClelland的文集引起反响连接主义连接主义方法崛起,被认为是Newell和Simon提出的符号模型和McCarthy主张的逻辑方法的直接竞争者当前的观点是:连接主义和符号主义方法是互补的第1章 人工智能概述73神经网络的回归(1986现在)神经网络:Frank RoAIAI成为科学成为科学(1987(1987现在现在)(1)(1)近年来,AI研究在内容和方法论方面的特点:在已有的理论基础上进行研究而不是提出崭新理论理论建立在严格定理或者确凿实验证据基础上而不是靠直觉显示与现实世界应用的相关性而不是与玩具样例的相关性第1章 人工智能概述74AI成为科学(1987现在)(1)近年来,AI研究在内容和AIAI成为科学成为科学(1987(1987现在现在)(2)(2)从对控制论和统计学的某种叛逆到开始接受这些领域的理论和方法通过互连网进行测试数据和程序代码的共享典型:语音识别中HMM模型应用/贝叶斯网络第1章 人工智能概述75AI成为科学(1987现在)(2)从对控制论和统计学的某种智能化智能体出现智能化智能体出现(1995(1995现在现在)重新审视“完整智能体”:SOAR系统上的工作(19871990)环境约束:目标是理解嵌入真实环境的智能体的工作/目前最重要的智能化智能体环境是Internet,AI技术成为重要的Internet工具为什么要采纳智能体观点?AI目前分离的子领域需要重新组织起来,至少当它们的结果需要联系在一起的时候AI与其他涉及智能体的领域的联系被拉近了(如控制论和经济学)第1章 人工智能概述76智能化智能体出现(1995现在)重新审视“完整智能体”:弱人工智能和强人工智能弱人工智能和强人工智能弱人工智能(Weak AI)的断言:“机器能够智能地行动”强人工智能(Strong AI)的断言:“能够如此行事的机器确实是在思考”大多数AI研究者认为弱人工智能假设是当然的/本质上,AI寻求的是在给定的体系结构之上最好的智能体程序/对于弱人工智能的假设,AI的成就可以证明关于强人工智能,更多的是哲学上的争论第1章 人工智能概述77弱人工智能和强人工智能弱人工智能(Weak AI)的断言:AIAI成就成就 vs vs 异议异议(1)(1)图灵曾考察过对智能机器的质疑质疑1:能力缺陷实践证明:计算机能够和人一样做很多工作,有些做得甚至更好例子:下棋/装配线零件检查/驾驶汽车/诊断疾病质疑2:数学异议机器是受到不完备性定理限制的形式系统,而人类则没有这样的局限性第1章 人工智能概述78AI成就 vs 异议(1)图灵曾考察过对智能机器的质疑第1章AIAI成就成就 vs vs 异议异议(2)(2)我们同意计算机在其所能证明的事物上具有局限性,但也没有证据表明人类对于这些局限是免疫的因为人类的严谨证明本身要包含一个对所宣称不可形式化的人类天赋的形式化表示/我们不可能证明人类不服从哥德尔不完备性定理,最终不得不求助于直觉质疑3:限制问题“无法用一个逻辑规则集合捕捉每件事物”实践证明:AI一直在发展,被质疑的“老式AI”已经发生了改变,他们所关注的许多问题已经得到解决第1章 人工智能概述79AI成就 vs 异议(2)我们同意计算机在其所能证明的事物上1.4 智能体与环境智能体的组成理性智能体任务环境与例子任务环境的属性第1章 人工智能概述801.4 智能体与环境智能体的组成理性智能体任务环境与智能体与环境智能体与环境智能体:通过传感器感知所处环境并通过执行器对该环境产生作用的计算机程序及其控制的硬件感知信息:表示任意给定时刻智能体的感知输入/感知序列:该智能体所收到的所有输入数据的完整历史智能体函数:把任意给定感知序列映射到智能体行动的描述/智能体程序:抽象的智能体函数的一个具体实现,该程序在智能体自身结构上运行第1章 人工智能概述81智能体与环境智能体:通过传感器感知所处环境并通过执行器对该环理性智能体理性智能体(1)(1)理性智能体(Rational Agent):做事正确的智能体性能度量:智能体成功程度标准的具体化作为一般规则,最好根据在这个环境中希望得到的实际结果来设计性能度量,而不是根据智能体应该表现的行为判断什么是理性:性能度量关于环境的先验知识可以执行的行动到那时为止的感知序列第1章 人工智能概述82理性智能体(1)理性智能体(Rational Agent):理性智能体理性智能体(2)(2)理性智能体:对于每个可能的感知序列,根据已知感知序列提供的证据和智能体内建的先验知识,理性智能体应该选择期望能使其性能度量最大化的行动理性是使期望性能最大化完美是实际性能最大化理性智能体也可以称作智能化智能体(Intelligent Agent)第1章 人工智能概述83理性智能体(2)理性智能体:对于每个可能的感知序列,根据任务环境任务环境(1)(1)建造理性智能体的综合考虑:任务环境PEAS(Performance,Environment,Actuators,Sensors)性能/环境/执行器/传感器例子第1章 人工智能概述智能体种类性能度量环境执行器传感器出租车司机安全,快速,守法,舒适的旅途,利润最大化道路,其他车辆,行人,旅客方向盘,加速器,刹车,信号灯,喇叭,(显示器)引擎传感器,速度计,加速计,里程计,GPS,(声波传感器,摄像头,键盘)84任务环境(1)建造理性智能体的综合考虑:任务环境第1章 人任务环境任务环境(2)(2)第1章 人工智能概述智能体类型性能度量环境执行器传感器医学诊断系统恢复健康的病人,费用最小化,最少诉讼病人,医院,职员显示:问题,测试,诊断,治疗,咨询键盘输入,症状,检查结果,病人回答挑拣零件的机器人放进正确箱子的零件的百分比载有零件的传送带,箱子有关节的胳膊和手摄像头,关节角度传感器交互式英语教师最大化学生的测试成绩学生集合,测验机构显示(语音合成):练习,建议,纠正键盘输入(语音识别)85任务环境(2)第1章 人工智能概述智能体类型性能度量环境执行任务环境的属性任务环境的属性(1)(1)任务环境的属性:完全可观察的 vs 部分可观察的:获取环境的完整状态,一般难以做到确定性的 vs 随机的:出租车驾驶环境是随机的片段式的 vs 延续式的:挑拣零件机器人的决策只需建立在当前零件基础上,而下棋,驾驶,句法分析都是延续式的第1章 人工智能概述86任务环境的属性(1)任务环境的属性:第1章 人工智能概述86任务环境的属性任务环境的属性(2)(2)静态的 vs 动态的:出租车驾驶是动态的,填字谜游戏则是静态的离散的 vs 连续的:下棋是离散的,驾驶汽车是连续的单智能体 vs 多智能体:驾驶汽车和下棋都是多智能体环境根据传感器的感知,对环境的综合考虑,通过执行器的工作,实现好的性能量度第1章 人工智能概述87任务环境的属性(2)静态的 vs 动态的:出租车驾驶是动态任务环境的属性任务环境的属性(3)(3)第1章 人工智能概述任务环境可观察性确定性片段性静态性离散性智能体数出租车驾驶部分随机的延续式的动态的连续的多医学诊断系统部分随机的延续式的动态的连续的单选零件的机器人部分随机的片段式的动态的连续的单交互式英语教师部分随机的延续式的动态的离散的多纵横字谜游戏完全确定的延续式的静态的离散的单88任务环境的属性(3)第1章 人工智能概述任务环境可观察性确定1.5 智能体结构 4种类型的智能体程序简单反射型智能体基于模型的反射智能体基于目标的智能体/基于效用的智能体学习智能体第1章 人工智能概述891.5 智能体结构 4种类型的智能体程序简单反射型智能智能体结构智能体结构AI的任务是设计智能体程序智能体程序要在某个具备实际传感器和执行器的计算装置上运行,该装置称为体系结构智能体=体系结构+程序通常,智能体程序具有这样的框架:从传感器得到当前感知信息作为输入,返回一个行动交给执行器第1章 人工智能概述90智能体结构AI的任务是设计智能体程序第1章 人工智能概述90智能体类型智能体类型有4种类型的智能体程序(或部分程序)简单反射型智能体基于模型的反射型智能体基于目标的智能体基于效用的智能体此外,学习程序也是一种智能体第1章 人工智能概述91智能体类型有4种类型的智能体程序(或部分程序)第1章 人工智简单反射型智能体简单反射型智能体第1章 人工智能概述智能体智能体传感器传感器现在世界现在世界是什么样的是什么样的环环 境境现在我应该现在我应该采取什么行动采取什么行动执行器执行器条件条件-行动规律行动规律f:PA f:IF-THEN92简单反射型智能体第1章 人工智能概述智能体传感器现在世界环 基于模型的反射型智能体基于模型的反射型智能体第1章 人工智能概述传感器传感器现在世界现在世界是什么样的是什么样的现在我应该现在我应该采取什么行动采取什么行动执行器执行器状状 态态世界如何演变世界如何演变我我的的行行动动做做了了什什么么条件条件-行动规则行动规则智能体环环 境境f:P+MA f:IF+-THEN93基于模型的反射型智能体第1章 人工智能概述传感器现在世界现在基于目标的智能体基于目标的智能体第1章 人工智能概述环环 境境传感器传感器现在世界现在世界是什么样的是什么样的如果我采用了行动如果我采用了行动A世界将会是什么样的世界将会是什么样的现在我应该现在我应该采取什么行动采取什么行动执行器执行器状状 态态我我的的行行动动做做了了什什么么世界如何演变世界如何演变目目 标标智能体f:P+M+TryA f:Target-Try94基于目标的智能体第1章 人工智能概述环 境传感器现在世界如果基于效用的智能体基于效用的智能体第1章 人工智能概述环环 境境传感器传感器现在世界现在世界是什么样的是什么样的如果我采用了行动如果我采用了行动A世界将会是什么样的世界将会是什么样的现在我应该现在我应该采取什么行动采取什么行动处于这样的状态处于这样的状态我将有多快乐我将有多快乐状状 态态世界如何演变世界如何演变我我的的行行动动做做了了什什么么效效 用用智能体执行器执行器f:P+M+Try+UtilityAf:Utility95基于效用的智能体第1章 人工智能概述环 境传感器现在世界如果什么是效用?什么是效用?(1)(1)最简单的方式就是把效用想象成金钱,越多越好并不是其全部100万 送给1个身价5亿的富翁 vs.还是1个没有分文存款的穷光蛋,其效用是不一样的/反过来欠债也是类似的效用MultiAgent引论第6章可以考虑效用和行动对世界作用前后的差()之间存在正比关系,和原来的基数成反比关系/依据不同评判标准定义函数第1章 人工智能概述96什么是效用?(1)最简单的方式就是把效用想象成金钱,越多越好什么是效用?什么是效用?(2)(2)金钱和效用之间关系的示意第1章 人工智能概述O效用金钱97什么是效用?(2)金钱和效用之间关系的示意第1章 人工智能概学习智能体学习智能体第1章 人工智能概述执执 行行器器环环 境境传感器传感器智能体性能标准性能标准评论元件评论元件学习元件学习元件问问 题题产生器产生器执行元件执行元件反馈反馈学学习习的的目目标标知识知识变化变化对照Mitchell机器学习第1章图98学习智能体第1章 人工智能概述执行器环 境传感器智能体性能标小结AI成功的例子AI的目标AI的未来第1章 人工智能概述99小结AI成功的例子AI的目标AI的未来第1章 人工智AI成功的例子成功的例子(1)(1)博弈:IBM公司的“深蓝”成为第一个在国际象棋比赛中战胜世界冠军的计算机程序1997年,一次公开赛中3.5/2.5比分战胜卡斯帕罗夫,他说从棋盘对面感到了“一种新智能”(但是,连“深蓝”的设计者也不认为用了什么人工智能技术)第1章 人工智能概述100AI成功的例子(1)博弈:IBM公司的“深蓝”成为第一个在国AI成功的例子成功的例子(2)(2)自主控制:CMU研制的ALVINN计算机视觉系统安置在NAVLAB计算机控制微型汽车中,用于汽车导航行驶在高速公路上全程2850英里(约4586.5公里),其中98%时间由这个系统掌握方向盘,2%时间由人驾驶,几乎都在高速公路出入口处第1章 人工智能概述101AI成功的例子(2)自主控制:CMU研制的ALVINN计算机AI成功的例子成功的例子(3)(3)后勤规划:1991年海湾战争中美国军队配备了一个动态分析和重规划工具DART,用于自动后勤规划与运输调度该系统同时涉及50000个车辆、货物和人,而且要考虑起点、目的地、路径,解决所有参数之间的冲突。使用AI技术使规划在几小时内完成,而传统方法需要几个星期DARPA称就此一项投资足以补偿DARPA在AI方面30年的投资第1章 人工智能概述102AI成功的例子(3)后勤规划:1991年海湾战争中美国军队配AI的目标的目标(1)(1)实现什么样的理性智能体?完美理性:已知从环境中获得的信息,一个完美理性智能体每时每刻都以使其效用最大化方式行动并不是一个具有现实意义的目标计算理性:一个计算理
展开阅读全文