人工智能概述(PPT-46张)

第1章人工智能概述••ArtificialIntelligence第1章人工智能概述人工智能是一门交叉学科脑科学认知科学心理学语言学逻辑学哲学计算机科学人工智能第1章人工智能概述学习目标•领略人工智能思想的精髓，对人工智能的思想和方法有较深刻的认识，从人工智能的角度出发去思考问题，解决问题–了解人工智能的发展历史，国内外人工智能相关领域的发展动态–掌握人工智能的基本理论、技术及其应用方法–讨论一些新的和正在研究中的人工智能方法与技术–能够应用相应的人工智能技术解决实际应用问题第1章人工智能概述主要参考书人工智能-一种现代的方法(第2版)StuartJ.RUSSELL，PeterNovig清华大学出版社,2006人工智能——复杂问题求解的结构和策略(原书第5版)GeorgeF.Luger著,史忠植等译机械工业出版社,2006第1章人工智能概述主要参考文献IJCAI，世界人工智能大会，两年一次AAAI，美国一年一次的年会ArtificialIntelligenceComputationalIntelligenceIEEETransactionsonPatternanalysisandMachineIntelligenceIEEEIntelligentSystems……第1章人工智能概述国内•计算机学报•软件学报•自动化学报•中国科学E辑信息科学•模式识别与人工智能……第1章人工智能概述什么是人工智能第1章人工智能概述什么是人工智能英文表示：“ArtificialIntelligence”,forshortAI。字面解释(一般解释)：“人工智能”一词目前是指用计算机模拟或实现的智能,因此人工智能又称机器智能。科学定义,还没有统一的认识。部分学者对AI概念的描述,可以看做是他们各自对人工智能的理解。第1章人工智能概述——广义地讲,人工智能是关于人造物的智能行为,而智能行为包括知觉、推理、学习、交流和在复杂环境中的行为(Nilsson,1998年)。——StuartRussell和PeterNorvig把已有的一些人工智能定义分为4类:像人一样思考的系统、像人一样行动的系统、理性地思考的系统、理性地行动的系统(2003年)。第1章人工智能概述马文明斯基(MarvinMinsky):“人工智能就是让机器来完成那些如果由人来做则需要智能的事情的科学”“AI问题是科学曾经经历的最困难的问题之一”(1982)怎么定义人工智能？第1章人工智能概述马文明斯基(MarvinMinsky)•“人工智能之父”•1927~•1969年获图灵奖,•获此殊荣的第一位人工智能学者1969年获图灵奖,1991年获IJCAI终身成就奖。他在人工智能、认知心理学、数学、计算语言学、机器人学等领域都做出了杰出贡献。他创建了MIT的AI实验室、还是MIT的Media实验室奠基人。第1章人工智能概述智能的特征？•智能有哪些具体特征？具有感知能力（系统输入）:机器视觉，机器听觉，图像语音识别……具有记忆与思维能力：思维是智能的根本原因，思维是一个动态的过程。思维分为：逻辑思维，形象思维和顿悟思维。具有学习能力及自适应能力：适应环境的变换、积累经验的能力具有行为能力（系统输出）：对外界的智能化反应第1章人工智能概述两个界定：图灵测试和中文屋子第1章人工智能概述英国数学家阿兰·图灵(AlanTuring)提出了现称为“图灵测试”(TuringTest)的方法。简单来讲,图灵测试的做法是:让一位测试者分别与一台计算机和一个人进行交谈(当时是用电传打字机),而测试者事先并不知道哪一个是人,哪一个是计算机。如果交谈后测试者分不出哪一个被测者是人,哪一个是计算机,则可以认为这台被测的计算机具有智能。图灵测试TuringTest第1章人工智能概述测试主持人被测机器被测人小于50%？“快速的、按规矩行事的傻子机器。”※如果测试主持人能分辨出人和机器的概率小于50%，则认为机器具有了智能图灵测试TuringTest第1章人工智能概述阿伦•图灵（AlanTuring）计算机科学理论的创始人1912年出生于英国伦敦，1954年去世，享年42岁1936年发表论文“论可计算数及其在判定问题中的应用”，提出图灵机理论1950年发表论文“计算机与智能”，阐述了计算机可以具有智能的想法，提出图灵测试1966年为纪念图灵的杰出贡献，ACM设立图灵奖AssociationforComputingMachinery图灵（AlanTuring）第1章人工智能概述Turing测试存在的问题–“图灵测试”没有规定问题的范围和提问的标准–仅反映了结果的比较，无涉及思维过程–没指出是什么人–争论：通过了图灵检验的电脑就具备思维能力了么？–约翰·西尔勒测试主持人被测机器被测人第1章人工智能概述美国哲学家约翰·西尔勒(JohnSearle,1980年)对于“图灵测试”提出了异议。他用一个现在称为“中文屋子”的假设,试图说明即便是一台计算机通过了图灵测试,也不能说它就真的具有智能。第1章人工智能概述约翰·西尔勒的中文屋子假设是说:有一台计算机阅读了一段故事并且能正确回答相关问题,这样这台计算就通过了图灵测试。而西尔勒设想将这段故事和问题改用中文描述(因为他本人不懂中文),然后将自己封闭在一个屋子里,代替计算机阅读这段故事并且回答相关问题。描述这段故事和问题的一连串中文符号只能通过一个很小的缝隙被送到屋子里。西尔勒则完全按照原先计算机程序的处理方式和过程(如符号匹配、查找、照抄等)对这些符号串进行操作,然后把得到的结果即问题答案通过小缝隙送出去。西尔勒也得到了问题的正确答案。西尔勒认为尽管计算机用这种符号处理方式也能正确回答问题,并且也可通过图灵测试,但仍然不能说计算机就有了智能。中文屋子第1章人工智能概述中文屋子不懂？中文模仿约翰·西尔勒第1章人工智能概述•我国古代先人对智能机器的遐想和创造三千多年前的古代机器人：据《列子·汤问》记载，传说周穆王在西巡途中，遇到一位名叫偃师的能工巧匠。偃师献上一个会歌舞表演的“假倡”，“钡（抑）其颐则歌合律，捧其手则舞应节，千变万化，惟意所适”。两千多年前的侦察机：据《墨子·鲁问》记载，“公输子（鲁班）削竹木以为鹊”，“三日不下”。他还造了能载人的大木鸢，在战争中担任侦查的任务。指南车：东汉张衡木牛流马：鲁班？诸葛亮？人工智能的发展概况孕育期（1956年以前）第1章人工智能概述人工智能的发展概况孕育期（1956年以前）•亚里斯多德（Aristotle，公元前384——322）：古希腊伟大的哲学家和思想家，创立了演绎法。他提出的三段论至今仍然是演绎推理的最基本出发点。•莱布尼茨(G.W.Leibnitz，1646——1716)：德国数学家和哲学家把形式逻辑符号化，奠定了数理逻辑的基础(四则运算计算器)•图灵(A.M.Turing，1912——1954)：英国数学家，1936年创立了自动机理论，自动机理论亦称图灵机，是一个理论计算机模型。又于1950年，发表题为《计算机能思维吗？》的著名论文，明确提出了“机器能思维”的观点。•莫克利(J.W.Mauchly，1907——1980)：美国数学家、电子数字计算机的先驱，与他的研究生埃克特(J.P.Eckert)合作，1946年研制成功了世界上第一台通用电子计算机ENIAC.第1章人工智能概述人工智能的发展概况孕育期（1956年以前）•麦克洛奇(W.McCulloch)和皮兹(W.Pitts)：美国神经生理学家，于1943年建成了第一个神经网络模型(MP模型)。•维纳(N.Wiener，1874—1956)：美国著名数学家、控制论创始人。1948年创立了控制论。控制论向人工智能的渗透，形成了行为主义学派。•可见，在人工智能诞生之前，一些著名科学家就已经创立了数理逻辑、神经网络模型和控制论，并发明了通用电子数字计算机。为人工智能的诞生准备了必要的思想、理论和物质技术条件。第1章人工智能概述人工智能的发展概况形成期（1956--1970年）•AI诞生于一次历史性的聚会(Dartmouth人工智能夏季研讨会)•时间：1956年夏季•地点：美国达特茅斯(Dartmouth)大学•目的：为使计算机变得更“聪明”，或者说使计算机具有智能•发起人：•麦卡锡(J.McCarthy），Dartmouth的年轻数学家、计算机专家，后为MIT教授•明斯基(M.L.Minsky），哈佛大学数学家、神经学家，后为MIT教授•洛切斯特(N.Lochester)，IBM公司信息中心负责人•香农(C.E.Shannon)，贝尔实验室信息部数学研究员•参加人：•莫尔(T.more)、塞缪尔(A.L.Samuel)，IBM公司•塞尔夫里奇(O.Selfridge)、索罗蒙夫(R.Solomonff)，MIT•纽厄尔(A.Newell)，兰德(RAND)公司•西蒙(H.A.Simon)，卡内基(Carnagie)梅隆大学•会议结果：•由麦卡锡提议正式采用了“ArtificialIntelligence”这一术语第1章人工智能概述会议上的一些人物麦卡锡(J.McCarthy)首次提出人工智能的概念发明α－β剪枝算法提出人工智能语言Lisp提出情景演算理论明斯基(M.L.Minsky)提出思维如何萌发并形成的基本理论建造第一个神经网络模拟器，学习如何穿过迷宫最早提出agent的概念提出知识表示的框架理论西蒙(H.A.Simon)符号主义学派的创始人之一开创了机器定理证明的学科领域最早的AI语言IPL开发了“通用问题求解系统”GPS纽厄尔(A.Newell)符号主义学派的创始人之一西蒙的学生与同事1975年与西蒙同获图灵奖第1章人工智能概述人工智能的发展概况•2.形成期（1956----1970年）心理学小组•1957年，西蒙和纽厄尔等人的心理学小组研制了一个称为逻辑理论机(LogicTheoryMachine，简称LT)的数学定理证明程序。•1960年研制了通用问题求解(GeneralProblemSolving)程序。该程序的设计是从模仿人类问题求解的规程开始的，不依赖于具体领域。在它能处理的有限类别的问题中，它显示出程序决定的子目标及可能采取的行动的次序，与人类求解同样问题是类似的。因此，GPS是第一个实现了“像人一样思考”方法的程序。第1章人工智能概述人工智能的发展概况•2.形成期（1956----1970年）IBM工程小组•1956年，塞缪尔在IBM704计算机上研制成功了具有自学习、自组织和自适应能力的西洋跳棋程序。–这个程序可以从棋谱中学习，也可以在下棋过程中积累经验、提高棋艺。–通过不断学习，该程序1959年击败了塞缪尔本人–1962年又击败了一个州的冠军。MIT小组•1960年，麦卡锡研制了人工智能语言LISP。第1章人工智能概述人工智能的发展概况•2.形成期（1956----1970年）其他开创性贡献•1958年，美籍华人数理逻辑学家王浩在IBM-740计算机上仅用了3-5分钟就证明了《数学原理》命题演算全部220条定理。•1965年，鲁宾逊(J.A.Robinson)提出了归结（消解）原理。•1965年，费根鲍姆(E.A.Feigenbaum)开始研究化学专家系统DENDRAL，用于质谱仪分析有机化合物的分子结构。1969年召开了第一届国际人工智能联合会议（InternationalJointConferenceonAI，IJCAI），标志着人工智能作为一门独立学科登上了国际学术舞台。此后IJCAI每两年召开一次。1970年《InternationalJournalofAI》创刊。第1章人工智能概述人工智能的发展概况•3.暗淡期（1966----1974年）失败的预言给人工智能的声誉造成重大伤害•“20年内，机器将能做人所能做的一切”西蒙1965•“在3~8年时间里，我们将研制出具有普通人智力的计算机。这样的机器能读莎士比亚的著作，会给汽车上润滑油，会玩弄政治权术，