人工智能198357_第1页
人工智能198357_第2页
人工智能198357_第3页
人工智能198357_第4页
人工智能198357_第5页
已阅读5页,还剩44页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、人工智能 (Artificial Intelligence,AI ) 刘春阳 智能机器人研究所,第1章 人工智能概述,1.1 什么是人工智能(Artificial Intelligence,AI) 1 自然智能:人类所具有的智能行为。 2 智能行为:包括感知、推理、判断、识别、理解、学习 和问题求解等思维活动。 3 人工智能:关于人造物的智能行为。 4 人工智能(学科): AI的本质问题 研究如何制造出人造的智能机器或系统,来模拟人类智能活动,以延伸人类智能的科学,人工智能的发展是以硬件与软件为基础。它的发展经历了漫长的发展历程。人们从很早就已开始研究自身的思维形成,早在亚里士多德(公元前38

2、4-322年)在着手解释和编注他称之为三段论的演绎推理时就迈出了向人工智能发展的早期步伐,可以看作为原始的知识表达规范,亚里士多德(公元前384-322年,什么是三段论?三段论是以真言判断为其前提的一种演绎推理,它借助于一个共同项,把两个直言判断联系起来,从而得出结论。例如:一切金属都是能够熔解的;铁是金属;所以,铁是能够熔解的,研究认知过程的任务 人的心理活动具有不同的层次,它可以与计算机的层次相比较,见图1.1,图 1.1 人类任知活动与计算机的比较,心理活动的最高层级是思维策略,中间一层是初级信息处理,最低层级是生理过程,即中枢神经系统、神经元和大脑的活动,与此相应的是计算机程序、语言和

3、硬件。研究认知过程的主要任务是探求高层次思维决策与初级信息处理的关系,并用计算机程序来模拟人的思维策略水平,而用计算机语言模拟人的初级信息处理过程,1.2 研究人工智能的目标 1 近期研究目标使现有的电子数字计算机更有用(或者说更聪明)。根据这个近期研究目标,人工智能被认为是计算机科学的一个重要分支。它主要是研究用计算机软、硬件系统模拟人类某些智能行为的基本理论、技术和方法。 2 远期研究目标探讨智能的基本原理,研究如何利用各种自动机来模拟人的某些思维过程和智能行为。这个研究目标涉及自然科学和社会科学的几乎所有学科,远远超出了计算机科学的范畴,1.3 人工智能领域的代表性研究成果 1 计算机象

4、棋 北京时间1997年5月12日凌晨4点50分,美国纽约公平大厦,当IBM公司的“深蓝”超级电脑将棋盘上的一个兵走到C4的位置上时,国际象棋世界冠军卡斯帕罗夫对“深蓝”的人机大战落下帷幕,“深蓝” 以3.5:2.5的总比分战胜卡斯帕罗夫。 “深蓝”的技术指标: 32个CPU 每个CPU有16个协处理器 每个CPU有256M内存 每个CPU的处理速度为200万步/秒,小知识:Deep Blue 简历:1985年,美国卡内基-梅隆(Carnegie-Mellon)大学的博士生Feng-hsiung Hsu着手研制一个国际象棋的计算机程序:Chiptest.1989年Hsu 与Murray Camp

5、bell加入了IBM的Deep Blue研究项目,最初研究目的是为了检验计算机的并行处理能力。几年后,研制小组开发了专用处理器,可以在每秒中计算2-3000步棋局。经历了数百次的失利,在科研人员的不断完善下,1997年,DeepBlue的硬件系统采用了32节点的大规模并行结构,每个节点由8片专用的处理器同时工作,这样,系统由256个处理器组成了一个高速并行计算机系统;研究小组又不断完善了博弈的程序。Deep Blue发展为高水平的博弈大师,在国际象棋比赛规定的每步棋限时3分钟里,可以推演1000-2000亿步棋局。Garry Kasparov的思考速度是200步/分。1997年5月11日,De

6、ep Blue以3.5:2.5战胜了Garry Kasparov,2 基于多Agent系统足球机器人比赛 两个组织:RoboCup和FIRA 模拟组与机器人组 控制方式:FIRA采用集中控制,而RoboCup采用分布式控制,1.4 人工智能的起源和发展 人工智能的出现不是偶然的。 从思想基础上讲,它是人们长期以来探索能进行计算、推理和其他思维活动的智能机器的必然结果; 从理论基础上讲是由于控制论、信息论、系统论、计算机科学、神经生理学、心理学、数学和哲学等多种学科相互渗透的结果; 从物质技术基础上讲,则是由于电子数学计算机的出现和广泛应用,第一阶段(40年代中50年代末) 神经元网络时代 双层

7、网络 M-P模型 、感知器模型等 问题:XOR问题不能解决 Minsky的著作:Perceptions(感知器,第二阶段(50年代中60年代中) 通用方法时代 物理符号系统 主要研究的问题:游戏、翻译等 对问题的难度估计不足,陷入困境,物理符号系统的假设伴随有3个推论,或称为附带条件。推论一:既然人具有智能,那么他(她)就一定是个物理符号系统。推论二:既然计算机是一个物理符号系统,它就一定能够表现出智能。 推论三:既然人是一个物理符号系统,计算机也是一个物理符号系统,那么我们就能够用计算机来模拟人的活动,物理符号系统的假设伴随有3个推论,或称为附带条件,推论一:既然人具有智能,那么他(她)就一

8、定是个物理符号系统,推论二:既然计算机是一个物理符号系统,它就一定能够表现出智能,推论三:既然人是一个物理符号系统,计算机也是一个物理符号系统,那么我们就能够用计算机来模拟人的活动,维纳计算机五原则,控制论之父维纳在1940年写给朋友的一封信中,对现代计算机的设计曾提出了几条原则: (1)不是模拟式,而是数字式; (2)由电子元件构成,尽量减少机械部件; (3)采用二进制,而不是十进制; (4)内部存放计算表; (5)在计算机内部存贮数据。这些原则是十分正确的,1940年,维纳开始考虑计算机如何能像大脑一样工作。他发现了二者的相似性。维纳认为计算机是一个进行信息处理和信息转换的系统,只要这个系

9、统能得到数据,机器本身就应该能做几乎任何事情。而且计算机本身并不一定要用齿轮,导线,轴,电机等部件制成。麻省理工学院的一位教授为了证实维纳的这个观点,甚至用石块和卫生纸卷制造过一台简单的能运行的计算机。维纳系统地创建了控制论,根据这一理论,一个机械系统完全能进行运算和记忆,物理符号系统假设的推论一也告诉我们,人有智能,所以他是一个物理符号系统;推论三指出,可以编写出计算机程序去模拟人类的思维活动。这就是说,人和计算机这两个物理符号系统所使用的物理符号是相同的,因而计算机可以模拟人类的智能活动过程,第三阶段(60年代中80年代初) 知识工程时代 专家系统 知识工程 知识工程席卷全球 各国发展计划

10、: 美国星球大战计划 英国ALVEY计划 法国UNIKA 计划 日本五代机计划 中国“863”计划,第四阶段(80年代中90年代初) 新的神经元网络时代 BP网(算法),解决了多层网的学习问题 Hopfield网,成功求解了货郎担问题 存在问题: 理论依据 解决大规模问题的能力 新的动向构造化方法,第五阶段(90年代初现在) 数据与网络时代 网络给AI带来无限的机会 知识发现与数据挖掘 AI走向实用化,三个重要事件 1956年召开人类历史上第一次人工智能研讨会, 标志着人工智能学科的诞生; 1969年召开了第一届人工智能联合会议; 3 1970年,人工智能国际杂志创刊,1.5 人工智能研究领域

11、的学派 三大学派-符号主义、联结主义、行为主义 符号主义,又称逻辑主义、心理学派或计算机学派,其原理主要为物理符号系统(即符号操作系统)假设和有限合理性原理。 研究功能,采用功能模拟和符号推演,基于人脑的心理模型,采用符号推演的方法。 符号主义认为人工智能源于数学逻辑。数学逻辑从19世纪末起就获迅速发展;到20世纪30年代开始用于描述智能行为。计算机出现以后,又在计算机上实现了逻辑演绎系统。其有代表性的成果为启发式程序LT逻辑理论家,证明了38条数学定理,表明了可以应用计算机研究人的思维过程,模拟人类智能活动。正是这些符号主义者,早在1956年首先采用“人工智能”这个术语。后来又发展了启发式算

12、法-专家系统-知识工程理论与技术,并在80年代取得了很大的发展,联结主义,又称为仿生学派或生理学派,其原理主要为神经网络及神经网络间的连接机制与学习算法。 联结主义认为人工智能源于仿生学,特别是人脑模型的研究。它的代表性成果是1943年初生物专家麦卡洛克(McCulloch)和数理逻辑学家皮茨(Pitts)创立的脑模型,即MP模型,开创了用电子装置模仿人脑结构和功能的新途径。它从神经元开始进而研究神经网络模型和脑模型,开辟了人工智能的又一发展道路。60-70年代,联结主义,尤其是对以感知机(Perceptron)为代表的脑模型的研究曾出现过热潮,由于当时的理论模型、生物原型和技术条件的限制,脑

13、模型研究在70年代后期到80年代初期落入低潮。直到Hopfiled教授在1982年和1984年发表两篇重要的论文,提出用硬件模拟神经网络时,联结主义才又重新抬头。1986年鲁梅尔哈特(Rumelhart)等人提出多层网络中的反向传播(BP)算法。此后,联结主义势头大振,从模型到算法,从理论分析到工程实现,为神经网络计算机走向市场打下基础,行为主义,又称进化主义或控制论学派,其原理为控制论及感知-动作型控制系统。 行为主义认为人工智能源于控制论。控制论思想早在40-50年代就成为时代思潮的重要部分,影响了早期的人工智能工作者。维纳(Winner)和麦克洛等人提出的控制论和自组织系统以及钱学森等人

14、提出的工程控制论和生物控制论,影响了许多领域。控制论把神经系统的工作原理与信息理论、控制理论、逻辑以及计算机联系起来。早期的研究工作重点是模拟人在控制过程中的智能行为和作用,如对自寻优、自适应、自校正、自镇定、自组织和自学习等控制论系统的研究,并进行“控制论动物”的研制。到60-70年代,上述这些控制论系统的研究取得一定进展,播下智能控制和智能机器人的种子,并在80年代诞生了智能控制和智能机器人系统。这个学派的代表作首推布鲁克斯(Brooks)的六足机器人,它被看作新一代的“控制论动作”,是一个基于感知-动作模式的模拟昆虫行为的控制系统,1.6 人工智能的科学研究方法,1.7 人工智能的研究和

15、应用领域 人工智能的研究领域分支较多,从研究角度来分有三大分支:知识工程(knowledge engineering)、模式识别(pattern recognition)与机器人学(robotoligy,1 专家系统(Expert System): 一个智能的计算机程序,它运用知识和推理步骤来解决只有专家才能解决的复杂问题。即任何解题能力达到了同领域人类专家水平的计算机程序都可以称为专家系统,2 自然语言处理(Natural Language Processing) 采用人工智能的理论和技术将设定的自然语言机理用计算机程序表达出来,构造能够理解自然语言的系统。可以分为三种情况:书面语的理解、口

16、语的理解、手写文字识别。主要应用范围:机器翻译、篇章理解、篇章生成、自然语言接口,3 机器学习(Machine Learning) 研究如何使用计算机模拟和实现人类的学习活动。 如果一个系统能够通过执行某种过程而改进它的性能,这就是学习,4 自动定理证明(Automatic Theorem Proving) 利用计算机证明非数值性的结果,即确定它的真假。主要方法有:自然演绎法、判断法、定理证明器、人机交互进行定理证明,1976年7月,美国的阿佩尔(K.Appel)等人合作解决了长达124年之久的难题-四色定理。他们用三台大型计算机,花去1200小时CPU时间,并对中间结果进行人为反复修改500

17、多处。四色定理的成功证明曾轰动计算机界,用四种颜色标注不同的区域,5 分布式人工智能(Distributed Artificial Intelligence) 主要研究在合作或竞争的环境下如何协调多智能体系统的行为,其目的是为了有效地利用资源,控制智能系统的异步操作,均衡智能系统的目标。涉及的问题有:任务的描述、分解和分布;通信、交互语言和协议;Agent之间的合作;Agent之间的协调;冲突消解;实现的语言、框架和环境;实现的工程问题,6 机器人(Robots) 能够根据外界环境的变化自动完成拟人功能的设备。它包括:传感器、规划器、执行器,7 模式识别(Pattern Recognition

18、) 识别出给定的事物和哪一个标本相同或相似。主要包括:图形和图象的识别;语音识别,8 博弈(Game Playing): 研究对策和斗智,9 计算机视觉(Computer Vision) 通过图像理解所摄对象的几何尺寸和形状,距观察者的距离和运动速度以及对个对象之间的相互关系等。主要应用领域:图形、图像识别系统;航天和军事应用;医学应用;机器人视觉;工业检测系统,带有视觉的月球自主车,带有视觉的越野自主车,带有视觉的月球自主车,带有视觉的越野自主车,10 人工神经网络(Artificial Neural Network) 用来模拟生物神经计算功能,11.自动程序设计,也许程序设计并不是人类知识

19、的一个十分重要的方面,但是它本身却是人工智能的一个重要研究领域。这个领域已经研制出能够以各种不同的目的描述(例如输入/输出对,高级语言描述,甚至英语描述算法)来编写计算机程序。这方面的进展局限于少数几个完全现成的例子。对自动程序设计的研究不仅可以促进半自动软件开发系统的发展,而且也使通过修正自身数码进行学习(即修正它们的性能)的人工智能系统得到发展。自动编制一份程序来获得某种指定结果的任务同证明一份给定程序将获得某种指定结果的任务是紧密相关的。后者叫做程序验证。许多自动程序设计系统将产生一份输出程序的验证作为额外收获,12.智能检索,随着科学技术的迅速发展,出现了知识爆炸的情况。对国内外种类繁

20、多和数量巨大的科技文献之检索远非人力和传统检索系统所能胜任。研究智能检索系统已成为科技持续快速发展的重要保证。数据库系统是储存某学科大量事实的计算机软件系统,它们可以回答用户提出的有关该学科的各种问题。数据库系统的设计也是计算机科学的一个活跃的分支。为了有效地表示、存储和检索大量事实,已经发展了许多技术。当我们想用数据库中的事实进行推理并从中检索答案时,这个课题就显得很有意义,13智能调度与指挥,确定最佳调度或组合的问题是我们感兴趣的又一类问题。一个古典的问题就是推销员旅行问题。这个问题要求为推销员寻找一条最短的旅行路线。他从某个城市出发,访问每个城市一次,且只许一次,然后回到出发的城市。大多

21、数这类问题能够从可能的组合或序列中选取一个答案,不过组合或序列的范围很大。试图求解这类问题的程序产生了一种组合爆炸的可能性。这时,即使是大型计算机的容量也会被用光。在这些问题中有几个(包括推销员旅行问题)是属于计算理论家称为NP完全性一类的问题。他们根据理论上的最佳方法计算出所耗时间(或所走步数)的最坏情况来排列不同问题的难度。智能组合调度与指挥方法已被应用于汽车运输调度、列车的编组与指挥、空中交通管制以及军事指挥等系统,14系统与语言工具,人工智能对计算机界的某些最大贡献已经以派生的形式表现出来。计算机系统的一些概念,如分时系统、编目处理系统和交互调试系统等,已经在人工智能研究中得到发展。几

22、种知识表达语言(把编码知识和推理方法作为数据结构和过程计算机的语言)已在70年代后期开发出来,以探索各种建立推理程序的思想。特里威诺格雷德(Terry Winograd)的文章在程序设计语言之外(1979年)讨论了他的某些关于计算的未来思想;其中部分思想是在他的人工智能研究中产生的。80年代以来,计算机系统、如分布式系统、并行处理系统、多机协作系统和各种计算机网络等,都有了发展。在人工智能程序设计语言方面,除了继续开发和改进通用和专用的编程语言新版本和新语种外,还研究出了一些面向目标的编程语言和专用开发工具。对关系数据库研究所取得的进展,无疑为人工智能程序设计提供了新的有效工具,1.8 存在的问题和发展前景 1 人功智能(主要是专家系统)存在的问题: (1)脆弱性和不可靠性 领域专家的经验知识往往不完善,当要解决的问题落入经验性知识可处理的范围时,系统具有专家级处理能力;但稍一超出范围,处理能力就急剧下降到零。这种现象称为脆弱性,它使系统处理问题的范围狭小,并导致问题不能确保解决而出现的不可靠性,2)与计算机主流技术脱节 这是AI难以实用化的另一个重要原因。除一些适合于符号推理

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论