人工智能及其应用第章PPT格式课件下载.ppt
- 文档编号:14319455
- 上传时间:2022-10-22
- 格式:PPT
- 页数:33
- 大小:304KB
人工智能及其应用第章PPT格式课件下载.ppt
《人工智能及其应用第章PPT格式课件下载.ppt》由会员分享,可在线阅读,更多相关《人工智能及其应用第章PPT格式课件下载.ppt(33页珍藏版)》请在冰豆网上搜索。
1950年,图灵又发表了题为计算机能思维吗?
的著名论文,明确提出了“机器能思维”的观点。
文学志南京信息工程大学计软学院2010年2月,1.1.2人工智能的起源与发展
(2),形成期(19561970年)1956年夏季,达特茅斯(Dartmouth)大学数学家、计算机专家麦卡锡和他的3位朋友:
哈佛大学数学家、神经学家明斯基,IBM公司信息中心负责人洛切斯特,贝尔实验室信息部数学研究员香农共同发起在达特茅斯大学举行了一个为期两个月的夏季学术研讨会(用机器模拟人类智能)人工智能诞生以人工智能为目标的3个研究小组纽厄尔和西蒙的卡内基-兰德小组(心里学小组)塞缪尔的IBM公司工程课题研究小组明斯基和麦卡锡的MIT研究小组3个小组取得的成就领域定理证明、问题求解、博弈,文学志南京信息工程大学计软学院2010年2月,1.1.2人工智能的起源与发展(3),知识应用期(197120世纪80年代末,低潮期)挫折和教训博弈方面:
塞缪尔的下棋程序与世界冠军的战绩:
5战4负定理证明:
鲁滨逊归结法的能力有限:
用归结原理证明两个连续函数之和还是连续函数时,推了10万步也没证出结果问题求解方面:
理想的良结构问题,现实的不良结构问题,产生组合爆炸机器翻译:
如,把“心有余而力不足”的英语句子“Thespiritiswillingbutthefleshisweak”翻译成俄语,然后再翻译回来时竟变成了“酒是好的,肉变质了”,即英语句子为“Thewineisgoodbutthemeatisspoiled”.以人工智能为目标的3个研究小组在神经生理学方面,研究发现人脑由10111012个神经元组成,在现有技术条件下用机器从结构上模拟人脑是根本不可能的。
人工智能的本质、理论、思想和机理受到了来自哲学、心理学、神经学等社会各界的责难、怀疑和批评。
文学志南京信息工程大学计软学院2010年2月,1.1.2人工智能的起源与发展(3),以知识是为中心的研究(20世纪70年代至80年代)专家系统是一个具有大量专门知识,并能够利用这些知识去解决特定领域中需要专家才能解决的那些问题的计算机程序。
实现了人工智能从理论研究走向实际应用,从一般思维规律探讨走向专门知识运用的重大突破,是人工智能发展史上的一次重大转折。
1976年费根鲍姆领导研制成功的MYCIN专家系统可以协助内科医生诊断、治疗细菌感染疾病,文学志南京信息工程大学计软学院2010年2月,1.1.2人工智能的起源与发展(4),从学派分立走向综合(20世纪80年代末至本世纪初)基于知识工程的符号主义学派基于人工神经网络的联结主义学派基于控制论的行为主义学派,文学志南京信息工程大学计软学院2010年2月,1.1.2人工智能的起源与发展(5),智能科学技术学科的兴起(本世纪初到现在)由对人工智能的单一研究走向以自然智能、人工智能、集成智能为一体的协同智能研究;
由人工智能学科的独立研究走向重视与脑科学、认知科学等学科的交叉研究由多个不同学派的分立研究走向多学派的综合研究由对个体、集中智能的研究走向对群体、分布智能的研究集成智能:
自然智能与人工智能通过协调配合所集成的智能协同智能:
个体智能相互协调所涌现的群体智能。
文学志南京信息工程大学计软学院2010年2月,1.1.2人工智能的起源与发展(6),人工智能在我国1978年开始设立人工智能的研究课题主要在定理证明、汉语自然语言理解、机器人和专家系统方面取得一批研究成果,文学志南京信息工程大学计软学院2010年2月,1.1.2人工智能的起源与发展(7),人工智能的目标远期目标制造智能机器,即能够在各类环境中自动地或交互地执行各种拟人任务(anthropomorphictasks)的机器。
近期目标实现机器智能,即先部分地或某种程度地实现机器的智能eg:
1)深蓝巨型机&
世界象棋冠军2)自动驾驶汽车,文学志南京信息工程大学计软学院2010年2月,1.2人类智能与人工智能,文学志南京信息工程大学计软学院2010年2月,符号处理系统的六种基本功能符号处理系统信息处理系统又叫符号操作系统(SymbolOperationSystem)或物理符号系统(PhysicalSymbolSystem)。
所谓符号就是模式(pattern)。
符号操作系统任务及功能:
辨认相同的符号和区别不同的符号6种基本功能
(1)输入符号(input);
(2)输出符号(output);
(3)存储符号(store);
(4)复制符号(copy);
(5)建立符号结构:
通过找出各符号间的关系,在符号系统中形成符号结构;
(6)条件性迁移(conditionaltransfer):
根据已有符号,继续完成活动过程。
1.2.1智能信息处理系统的假设,文学志南京信息工程大学计软学院2010年2月,物理符号系统的假设任何一个系统,如果它能表现出智能,那么它就必定能够执行上述6种功能。
反之,任何系统如果具有这6种功能,那么它就能够表现出智能;
这种智能指的是人类所具有的那种智能。
把这个假设称为物理符号系统的假设。
物理符号系统3个推论推论一既然人具有智能,那么他(她)就一定是个物理符号系统。
人之所以能够表现出智能,就是基于他的信息处理过程。
推论二既然计算机是一个物理符号系统,它就一定能够表现出智能。
这是人工智能的基本条件。
推论三既然人是一个物理符号系统,计算机也是一个物理符号系统,那么就能够用计算机来模拟人的活动。
1.2.1智能信息处理系统的假设,文学志南京信息工程大学计软学院2010年2月,人类的认知行为具有不同的层次认知生理学研究认知行为的生理过程,主要研究人的神经系统(神经元、中枢神经系统和大脑)的活动,是认知科学研究的底层。
认知心理学研究认知行为的心理活动,主要研究人的思维策略,是认知科学研究的顶层。
认知信息学研究人的认知行为在人体内的初级信息处理,主要研究人的认知行为如何通过初级信息自然处理,由生理活动变为心理活动及其逆过程,即由心理活动变为生理行为。
这是认知活动的中间层,承上启下。
认知工程学研究认知行为的信息加工处理,主要研究如何通过以计算机为中心的人工信息处理系统,对人的各种认知行为(如知觉、思维、记忆、语言、学习、理解、推理、识别等)进行信息处理。
这是研究认知科学和认知行为的工具,应成为现代认知心理学和现代认知生理学的重要研究手段。
1.2.1智能信息处理系统的假设,文学志南京信息工程大学计软学院2010年2月,1.2.2人类智能的计算机模拟,机器智能可以模拟人类智能物理符号系统假设的推论一告诉人们,人有智能,所以他是一个物理符号系统;
推论三指出,可以编写出计算机程序去模拟人类的思维活动。
这就是说,人和计算机这两个物理符号系统所使用的物理符号是相同的,因而计算机可以模拟人类的智能活动过程。
智能计算机的功能如下棋、证明定理、翻译语言文字和解决难题等。
神经计算机(neuralcomputer)能够以类似人类的方式进行“思考”,它力图重建人脑的形象。
一些国家对量子计算机的研究也已起步,希望通过对量子计算(quantumcomputing)的研究,产生量子计算机。
量子计算机:
由理乍得费曼提出,是一类遵循量子力学规律进行高速数学和逻辑运算、存储及处理量子信息的物理装置。
当某个装置处理和计算的是量子信息,运行的是量子算法时,它就是量子计算机。
量子计算机的概念源于对可逆计算机的研究。
研究可逆计算机的目的是为了解决计算机中的能耗问题。
文学志南京信息工程大学计软学院2010年2月,1.3人工智能各学派的认知观,文学志南京信息工程大学计软学院2010年2月,人工智能三大学派符号主义(Symbolicism)又称为逻辑主义(Logicism)、心理学派(Psychlogism)或计算机学派(Computerism),其原理主要为物理符号系统(即符号操作系统)假设和有限合理性原理。
连接主义(Connectionism)又称为仿生学派(Bionicsism)或生理学派(Physiologism),其原理主要为神经网络及神经网络间的连接机制与学习算法。
行为主义(Actionism)又称进化主义(Evolutionism)或控制论学派(Cyberneticsism),其原理为控制论及感知动作型控制系统。
文学志南京信息工程大学计软学院2010年2月,三大学派对人工智能发展历史的不同看法符号主义认为人工智能源于数理逻辑。
符号主义仍然是人工智能的主流派。
这个学派的代表有纽厄尔、肖、西蒙和尼尔逊(Nilsson)等。
连接主义认为人工智能源于仿生学,特别是人脑模型的研究。
行为主义认为人工智能源于控制论。
这一学派的代表作首推布鲁克斯(Brooks)的六足行走机器人,它被看做新一代的“控制论动物”,是一个基于感知动作模式的模拟昆虫行为的控制系统。
文学志南京信息工程大学计软学院2010年2月,1.4人工智能的研究与应用领域,文学志南京信息工程大学计软学院2010年2月,1.4.1问题求解,人工智能的第一个大成就是发展了能够求解难题的下棋(如国际象棋)程序,它包含问题的表示、分解、搜索与归约等。
文学志南京信息工程大学计软学院2010年2月,1.4.2逻辑推理与定理证明,逻辑推理是人工智能研究中最持久的子领域之一,特别重要的是要找到一些方法,只把注意力集中在一个大型数据库中的有关事实上,留意可信的证明,并在出现新信息时适时修正这些证明。
定理证明定理证明的研究在人工智能方法的发展中曾经产生过重要的影响。
例如,采用谓词逻辑语言的演绎过程的形式化有助于更清楚地理解推理的某些子命题。
许多非形式的工作,包括医疗诊断和信息检索都可以和定理证明问题一样加以形式化。
因此,在人工智能方法的研究中定理证明是一个极其重要的论题。
我国人工智能大师吴文
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 人工智能 及其 应用
![提示](https://static.bdocx.com/images/bang_tan.gif)