人工智能(2)32

人工智能ArtificialIntelligence主讲人：龚牧人工智能是一门交叉学科脑科学认知科学心理学语言学逻辑学哲学计算机科学人工智能学习目标领略人工智能思想的精髓，对人工智能的思想和方法有较深刻的认识，从人工智能的角度出发去思考问题，解决问题了解人工智能的发展历史，国内外人工智能相关领域的发展动态掌握人工智能的基本理论、技术及其应用方法讨论一些新的和正在研究中的人工智能方法与技术能够应用相应的人工智能技术解决实际应用问题什么是人工智能什么是人工智能英文表示：“ArtificialIntelligence”,forshortAI。字面解释(一般解释)：“人工智能”一词目前是指用计算机模拟或实现的智能,因此人工智能又称机器智能。科学定义,还没有统一的认识。部分学者对AI概念的描述,可以看做是他们各自对人工智能的理解。——广义地讲,人工智能是关于人造物的智能行为,而智能行为包括知觉、推理、学习、交流和在复杂环境中的行为(Nilsson,1998年)。——StuartRussell和PeterNorvig把已有的一些人工智能定义分为4类:像人一样思考的系统、像人一样行动的系统、理性地思考的系统、理性地行动的系统(2003年)。马文明斯基(MarvinMinsky):“人工智能就是让机器来完成那些如果由人来做则需要智能的事情的科学”“AI问题是科学曾经经历的最困难的问题之一”(1982)怎么定义人工智能？马文明斯基(MarvinMinsky)“人工智能之父”1927~1969年获图灵奖,获此殊荣的第一位人工智能学者1969年获图灵奖,1991年获IJCAI终身成就奖。他在人工智能、认知心理学、数学、计算语言学、机器人学等领域都做出了杰出贡献。他创建了MIT的AI实验室、还是MIT的Media实验室奠基人。智能的特征？智能有哪些具体特征？具有感知能力（系统输入）:机器视觉，机器听觉，图像语音识别……具有记忆与思维能力：思维是智能的根本原因，思维是一个动态的过程。思维分为：逻辑思维，形象思维和顿悟思维。具有学习能力及自适应能力：适应环境的变换、积累经验的能力具有行为能力（系统输出）：对外界的智能化反应两个界定：图灵测试和中文屋子英国数学家阿兰·图灵(AlanTuring)提出了现称为“图灵测试”(TuringTest)的方法。简单来讲,图灵测试的做法是:让一位测试者分别与一台计算机和一个人进行交谈(当时是用电传打字机),而测试者事先并不知道哪一个是人,哪一个是计算机。如果交谈后测试者分不出哪一个被测者是人,哪一个是计算机,则可以认为这台被测的计算机具有智能。图灵测试TuringTest测试主持人被测机器被测人小于50%？“快速的、按规矩行事的傻子机器。”※如果测试主持人能分辨出人和机器的概率小于50%，则认为机器具有了智能图灵测试TuringTest阿伦•图灵（AlanTuring）计算机科学理论的创始人1912年出生于英国伦敦，1954年去世，享年42岁1936年发表论文“论可计算数及其在判定问题中的应用”，提出图灵机理论1950年发表论文“计算机与智能”，阐述了计算机可以具有智能的想法，提出图灵测试1966年为纪念图灵的杰出贡献，ACM设立图灵奖AssociationforComputingMachinery图灵（AlanTuring）Turing测试存在的问题“图灵测试”没有规定问题的范围和提问的标准仅反映了结果的比较，无涉及思维过程没指出是什么人争论：通过了图灵检验的电脑就具备思维能力了么？约翰·西尔勒测试主持人被测机器被测人中文屋子不懂？中文模仿约翰·西尔勒我国古代先人对智能机器的遐想和创造三千多年前的古代机器人：据《列子·汤问》记载，传说周穆王在西巡途中，遇到一位名叫偃师的能工巧匠。偃师献上一个会歌舞表演的“假倡”，“钡（抑）其颐则歌合律，捧其手则舞应节，千变万化，惟意所适”。两千多年前的侦察机：据《墨子·鲁问》记载，“公输子（鲁班）削竹木以为鹊”，“三日不下”。他还造了能载人的大木鸢，在战争中担任侦查的任务。指南车：东汉张衡木牛流马：鲁班？诸葛亮？人工智能的发展概况孕育期（1956年以前）人工智能的发展概况孕育期（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.人工智能的发展概况孕育期（1956年以前）麦克洛奇(W.McCulloch)和皮兹(W.Pitts)：美国神经生理学家，于1943年建成了第一个神经网络模型(MP模型)。维纳(N.Wiener，1874—1956)：美国著名数学家、控制论创始人。1948年创立了控制论。控制论向人工智能的渗透，形成了行为主义学派。可见，在人工智能诞生之前，一些著名科学家就已经创立了数理逻辑、神经网络模型和控制论，并发明了通用电子数字计算机。为人工智能的诞生准备了必要的思想、理论和物质技术条件。人工智能的发展概况形成期（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”这一术语会议上的一些人物麦卡锡(J.McCarthy)首次提出人工智能的概念发明α－β剪枝算法提出人工智能语言Lisp提出情景演算理论明斯基(M.L.Minsky)提出思维如何萌发并形成的基本理论建造第一个神经网络模拟器，学习如何穿过迷宫最早提出agent的概念提出知识表示的框架理论西蒙(H.A.Simon)符号主义学派的创始人之一开创了机器定理证明的学科领域最早的AI语言IPL开发了“通用问题求解系统”GPS纽厄尔(A.Newell)符号主义学派的创始人之一西蒙的学生与同事1975年与西蒙同获图灵奖人工智能的发展概况2.形成期（1956----1970年）心理学小组•1957年，西蒙和纽厄尔等人的心理学小组研制了一个称为逻辑理论机(LogicTheoryMachine，简称LT)的数学定理证明程序。•1960年研制了通用问题求解(GeneralProblemSolving)程序。该程序的设计是从模仿人类问题求解的规程开始的，不依赖于具体领域。在它能处理的有限类别的问题中，它显示出程序决定的子目标及可能采取的行动的次序，与人类求解同样问题是类似的。因此，GPS是第一个实现了“像人一样思考”方法的程序。人工智能的发展概况2.形成期（1956----1970年）IBM工程小组•1956年，塞缪尔在IBM704计算机上研制成功了具有自学习、自组织和自适应能力的西洋跳棋程序。•这个程序可以从棋谱中学习，也可以在下棋过程中积累经验、提高棋艺。•通过不断学习，该程序1959年击败了塞缪尔本人•1962年又击败了一个州的冠军。MIT小组•1960年，麦卡锡研制了人工智能语言LISP。人工智能的发展概况2.形成期（1956----1970年）其他开创性贡献•1958年，美籍华人数理逻辑学家王浩在IBM-740计算机上仅用了3-5分钟就证明了《数学原理》命题演算全部220条定理。•1965年，鲁宾逊(J.A.Robinson)提出了归结（消解）原理。•1965年，费根鲍姆(E.A.Feigenbaum)开始研究化学专家系统DENDRAL，用于质谱仪分析有机化合物的分子结构。1969年召开了第一届国际人工智能联合会议（InternationalJointConferenceonAI，IJCAI），标志着人工智能作为一门独立学科登上了国际学术舞台。此后IJCAI每两年召开一次。1970年《InternationalJournalofAI》创刊。人工智能的发展概况3.暗淡期（1966----1974年）失败的预言给人工智能的声誉造成重大伤害•“20年内，机器将能做人所能做的一切”西蒙1965•“在3~8年时间里，我们将研制出具有普通人智力的计算机。这样的机器能读莎士比亚的著作，会给汽车上润滑油，会玩弄政治权术，能讲笑话，会争吵……它的智力将无以伦比。”明斯基1977人工智能的发展概况3.暗淡期（1966----1974年）挫折和困境•在博弈方面：塞缪尔的下棋程序在与世界冠军对弈时，5局败了4局。•在定理证明方面：发现鲁宾逊归结法的能力有限。当用归结原理证明两个连续函数之和还是连续函数时，推了10万步也没证出结果。•在机器翻译方面：发现并不那么简单，甚至会闹出笑话。例如，把“心有余而力不足”的英语句子翻译成俄语，再翻译回来时竟变成了“酒是好的，肉变质了”•在问题求解方面：对于不良结构，会产生组合爆炸问题。•在神经生理学方面：研究发现人脑有1011-12以上的神经元，在现有技术条件下用机器从结构上模拟人脑是根本不可能的。•在英国，剑桥大学的詹姆教授指责“人工智能研究不是骗局，也是庸人自扰”。从此，形势急转直下，在全世界范围内人工智能研究陷入困境、落入低谷。人工智能的发展概况3.暗淡期（1966----1974年）Minsky的批评•1969年M.Minsky和S.Papert在《感知机》一书中指出了感知机无法解决异或（XOR）问题的缺陷，并表示出对这方面研究的悲观态度，使得神经网络的研究从兴起期进入了停滞期。•该批评对人工智能的发展造成了重要的影响-在以后的二十年，感知机的研究方向被忽视-基于符号的知识表示成为主流-基于逻辑的推理成为主要研究方向人工智能的发展概况3.暗淡期（1966----1974年）当时的人工智能存在三个方面的局限性•知识局限性：早期开发的人工智能程序中包含了太少的主题知识，甚至没有知识，而且只采用简单的句法处理。•解法局限性：求解方法和步骤的局限性使得设计的人工智能程序在实际上无法求得问题的解答，或者只能得到简单问题的解答，而这种简单问题并不需要人工智能的参与。•结构局限性：用于产生智能行为的人工智能系统或程序在一些基本结构上严重局限，如没有考虑不良结构，无法处理组合爆炸问题，因而只能用于解决比较简单的问题，影响到人工智能系统的推广应用。人工智能的发展概况4.知识应用期（1970-1988年）以知识为中心的研究：•专家系统实现了人工智能从理论研究走向实际应用，从一般思维规律探讨走向专门知识运用的重大突破，是AI发展史上的一次重要转折。•1972年，费根鲍姆开始研究MYCIN医疗专家系统，并于1976年研制成功。从应用角