[精选]人工智能46

《[精选]人工智能46》由会员分享，可在线阅读，更多相关《[精选]人工智能46（47页珍藏版）》请在金锄头文库上搜索。

1、,人工智能,Artificial Intelligence,人工智能是一门交叉学科,脑科学,认知科学,心理学,语言学,逻辑学,哲学,计算机 科学,人工智能,学习目标,领略人工智能思想的精髓，对人工智能的思想和方法有较深刻的认识，从人工智能的角度出发去思考问题，解决问题 了解人工智能的发展历史，国内外人工智能相关领域的发展动态 掌握人工智能的基本理论、技术及其应用方法 讨论一些新的和正在研究中的人工智能方法与技术 能够应用相应的人工智能技术解决实际应用问题,主要参考书,人工智能-一种现代的方法 (第2版) Stuart J. RUSSELL，Peter Novig 清华大学出版社, 2006 人

2、工智能复杂问题求解的结构和策略 (原书第5版) George F. Luger著, 史忠植 等译 机械工业出版社, 2006,主要参考文献,IJCAI，世界人工智能大会，两年一次 AAAI，美国一年一次的年会 ArtificialIntelligence Computational Intelligence IEEE Transactions on Pattern analysis and Machine Intelligence IEEE Intelligent Systems ,国内,计算机学报 软件学报 自动化学报 中国科学 E辑 信息科学 模式识别与人工智能 ,什么是人工智能,什么是人

3、工智能,人工智能概念的一般描述 英文表示：“Artificial Intelligence”, for short AI。 字面解释(一般解释)：“人工智能”一词目前是指用计算机模拟或实现的智能, 因此人工智能又称机器智能。 科学定义, 还没有统一的认识。 部分学者对AI概念的描述, 可以看做是他们各自对人工智能的理解。 ,广义地讲, 人工智能是关于人造物的智能行为, 而智能行为包括知觉、推理、学习、交流和在复杂环境中的行为(Nilsson, 1998年)。 Stuart Russell和Peter Norvig把已有的一些人工智能定义分为4类: 像人一样思考的系统、 像人一样行动的系统、 理

4、性地思考的系统、 理性地行动的系统(2003年)。 ,马文明斯基(Marvin Minsky): “人工智能就是让机器来完成那些如果由人来做则需要智能的事情的科学”,“AI问题是科学曾经经历的最困难的问题之一” (1982),怎么定义人工智能？,马文明斯基(Marvin Minsky),“人工智能之父” 1927 1969年获图灵奖, 获此殊荣的第一位人工智能学者,1969年获图灵奖, 1991年获IJCAI终身成就奖。他在人工智能、认知心理学、数学、计算语言学、机器人学等领域都做出了杰出贡献。他创建了MIT的AI实验室、还是MIT的Media实验室奠基人。,智能的特征？,智能有哪些具体特征？

5、 具有感知能力（系统输入）: 机器视觉，机器听觉，图像语音识别 具有记忆与思维能力：思维是智能的根本原因，思维是一个动态的过程。思维分为：逻辑思维，形象思维和顿悟思维。 具有学习能力及自适应能力：适应环境的变换、积累经验的能力 具有行为能力（系统输出）：对外界的智能化反应,两个界定：图灵测试和中文屋子,英国数学家阿兰图灵(Alan Turing) 提出了现称为“图灵测试”(Turing Test)的方法。简单来讲, 图灵测试的做法是: 让一位测试者分别与一台计算机和一个人进行交谈(当时是用电传打字机), 而测试者事先并不知道哪一个是人, 哪一个是计算机。 如果交谈后测试者分不出哪一个被测者是人

6、, 哪一个是计算机, 则可以认为这台被测的计算机具有智能。,图灵测试 Turing Test,测试主持人,被测机器,被测人,小于50%？,“快速的、按规矩行事的傻子机器。”,如果测试主持人能分辨出人和机器的概率小于50%，则认为机器具有了智能,图灵测试 Turing Test,阿伦图灵（Alan Turing）,计算机科学理论的创始人 1912年出生于英国伦敦，1954年去世，享年42岁 1936年发表论文“论可计算数及其在判定问题中的应用”，提出图灵机理论 1950年发表论文“计算机与智能”，阐述了计算机可以具有智能的想法，提出图灵测试 1966年为纪念图灵的杰出贡献，ACM设立图灵奖 As

7、sociation for Computing Machinery,图灵 （Alan Turing）,Turing测试存在的问题,“图灵测试”没有规定问题的范围和提问的标准 仅反映了结果的比较，无涉及思维过程 没指出是什么人 争论：通过了图灵检验的电脑就具备思维能力了么 ？ 约翰西尔勒,测试主持人,被测机器,被测人,美国哲学家约翰西尔勒(John Searle, 1980年)对于“图灵测试”提出了异议。他用一个现在称为“中文屋子”的假设, 试图说明即便是一台计算机通过了图灵测试, 也不能说它就真的具有智能。,约翰西尔勒的中文屋子假设是说: 有一台计算机阅读了一段故事并且能正确回答相关问题, 这

8、样这台计算就通过了图灵测试。而西尔勒设想将这段故事和问题改用中文描述(因为他本人不懂中文), 然后将自己封闭在一个屋子里, 代替计算机阅读这段故事并且回答相关问题。描述这段故事和问题的一连串中文符号只能通过一个很小的缝隙被送到屋子里。 西尔勒则完全按照原先计算机程序的处理方式和过程(如符号匹配、查找、照抄等)对这些符号串进行操作, 然后把得到的结果即问题答案通过小缝隙送出去。西尔勒也得到了问题的正确答案。西尔勒认为尽管计算机用这种符号处理方式也能正确回答问题, 并且也可通过图灵测试, 但仍然不能说计算机就有了智能。,中文屋子,中文屋子,模仿,约翰西尔勒,我国古代先人对智能机器的遐想和创造 三千

9、多年前的古代机器人：据列子汤问记载，传说周穆王在西巡途中，遇到一位名叫偃师的能工巧匠。偃师献上一个会歌舞表演的“假倡” ，“钡（抑）其颐则歌合律，捧其手则舞应节，千变万化，惟意所适” 。 两千多年前的侦察机：据墨子鲁问记载，“公输子（鲁班）削竹木以为鹊”，“三日不下” 。他还造了能载人的大木鸢，在战争中担任侦查的任务。 指南车：东汉张衡 木牛流马：鲁班？诸葛亮？,人工智能的发展概况 孕育期（1956年以前）,人工智能的发展概况 孕育期（1956年以前）,亚里斯多德（Aristotle，公元前384322）：古希腊伟大的哲学家和思想家，创立了演绎法。他提出的三段论至今仍然是演绎推理的最基本出发点

10、。 莱布尼茨(G.W.Leibnitz，16461716)：德国数学家和哲学家把形式逻辑符号化，奠定了数理逻辑的基础 (四则运算计算器) 图灵(A.M.Turing，19121954)：英国数学家，1936年创立了自动机理论，自动机理论亦称图灵机，是一个理论计算机模型。又于1950年，发表题为计算机能思维吗？的著名论文，明确提出了“机器能思维”的观点。 莫克利(J.W.Mauchly，19071980)：美国数学家、电子数字计算机的先驱，与他的研究生埃克特(J.P.Eckert)合作，1946年研制成功了世界上第一台通用电子计算机ENIAC.,人工智能的发展概况 孕育期（1956年以前）,麦克

11、洛奇(W.McCulloch)和皮兹(W.Pitts)：美国神经生理学家，于1943年建成了第一个神经网络模型(MP模型)。 维纳(N.Wiener，18741956) ：美国著名数学家、控制论创始人。1948年创立了控制论。控制论向人工智能的渗透，形成了行为主义学派。 可见，在人工智能诞生之前，一些著名科学家就已经创立了数理逻辑、神经网络模型和控制论，并发明了通用电子数字计算机。为人工智能的诞生准备了必要的思想、理论和物质技术条件。,人工智能的发展概况 形成期（1956-1970年）,AI诞生于一次历史性的聚会(Dartmouth人工智能夏季研讨会) 时间：1956年夏季 地点：美国达特茅斯

12、(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)公

13、司 西蒙(H.A.Simon)，卡内基(Carnagie)梅隆大学 会议结果： 由麦卡锡提议正式采用了“Artificial Intelligence”这一术语,会议上的一些人物,麦卡锡 (J. McCarthy) 首次提出人工智能的概念 发明剪枝算法 提出人工智能语言Lisp 提出情景演算理 论,明斯基 (M. L. Minsky) 提出思维如何萌发并形成的基本理论 建造第一个神经网络模拟器，学习如何穿过迷宫 最早提出agent的概念 提出知识表示的框架理论,西蒙 (H.A.Simon) 符号主义学派的创始人之一 开创了机器定理证明的学科领域 最早的AI语言IPL 开发了“通用问题求解系统”

14、GPS,纽厄尔 (A.Newell) 符号主义学派的创始人之一 西蒙的学生与同事 1975年与西蒙同获图灵奖,人工智能的发展概况,2.形成期（1956-1970年） 心理学小组 1957年，西蒙和纽厄尔等人的心理学小组研制了一个称为逻辑理论机(Logic Theory Machine，简称LT)的数学定理证明程序。 1960年研制了通用问题求解(General Problem Solving)程序。该程序的设计是从模仿人类问题求解的规程开始的，不依赖于具体领域。在它能处理的有限类别的问题中，它显示出程序决定的子目标及可能采取的行动的次序，与人类求解同样问题是类似的。因此，GPS是第一个实现了“

15、像人一样思考”方法的程序。,人工智能的发展概况,2.形成期（1956-1970年） IBM工程小组 1956年，塞缪尔在IBM704计算机上研制成功了具有自学习、自组织和自适应能力的西洋跳棋程序。 这个程序可以从棋谱中学习，也可以在下棋过程中积累经验、提高棋艺。 通过不断学习，该程序1959年击败了塞缪尔本人 1962年又击败了一个州的冠军。 MIT小组 1960年，麦卡锡研制了人工智能语言LISP。,人工智能的发展概况,2.形成期（1956-1970年） 其他开创性贡献 1958年，美籍华人数理逻辑学家王浩在IBM-740计算机上仅用了3-5分钟就证明了数学原理命题演算全部 220 条定理

16、。 1965年，鲁宾逊(J.A.Robinson)提出了归结（消解）原理。 1965年，费根鲍姆(E. A. Feigenbaum) 开始研究化学专家系统DENDRAL，用于质谱仪分析有机化合物的分子结构。 1969年召开了第一届国际人工智能联合会议（International Joint Conference on AI，IJCAI），标志着人工智能作为一门独立学科登上了国际学术舞台。此后IJCAI每两年召开一次。 1970年International Journal of AI创刊。,人工智能的发展概况,3. 暗淡期（1966- 1974年） 失败的预言给人工智能的声誉造成重大伤害 “20年内，机器将能做人所能做的一切” 西蒙 1965 “在38年时间里， 我们将研制出具有普通人智力的计算机。这样的机器能读莎士比亚的著作，会给汽车上润滑油，会玩弄政治权术，能讲笑话，会争吵它的智力将无以伦比。” 明斯基 1977,人工智能的发展概况,3. 暗淡期（1966- 1974年） 挫折和困境 在博弈方面：塞缪尔的下棋程序在与世界冠军对弈时，5局败了4局。 在定理证明方面：发现鲁宾逊归结法的能