人工智能培训课件.pptxVIP

人工智能;参考书目;主要内容;绪 论; 人工智能技术离我们有多远？ 我们已经在享受哪些人工智能的成果？;例1：智能洗衣机 MerLoni公司推出一款能利用移动电话和Internet来控制的智能洗衣机：玛格莉特 如果内部的监视器发现洗衣机的零件即将损坏，会自动通知客户服务中心及时前往修理 安装在底盘的监视器能够测量洗衣机的水流量，只要清洗完毕，玛格莉特就会终止清洗程序。其内置的芯片，可以分辨衣服衣料，判断洗衣粉的用量;例2：智能微波炉 松下(Panasonic) 推出了一种变频微波炉，具有“智能感应功能”，不需人为设定时间和火力，炉内感应器根据食物的实际烹调状况，自动选择食物最佳的烹调时间和火力;例3：智能天线 在军事上，称为自适应天线阵列（Adaptive Antenna Array）；在移动通信上，则称为智能天线（smart antenna or intelligent antenna） 在不增加系统复杂度的情况下，智??天线可以提高服务质量和扩大网络的容量；第三代移动通信的各种后选方案中，已经将将智能天线作为可选技术；中国的TD-SCDMA已经将其作为主要技术;例4：国际象棋人机大战;正式交锋（1997年2月） 比赛结果：2.5（人）： 3.5（机）;例5：国际象棋人机大战;例6：各种下棋程序（人机对垒），计算机方就是一个人工智能程序;现代人工智能的兴起;McCarthy（麦卡锡）正式提出了“人工智能”的术语（Artificial Intelligence，AI），又称“机器智能”（Machine Intelligence），标志着一门新的学科的正式诞生。;什么是人工智能？;像人一样思考的系统;人工智能各学派的认知观;1.符号主义学派;人工智能源于数理逻辑。 数理逻辑和计算机科学具有完全相同的宗旨。 数理逻辑试图找出构成人类思维或计算的最基础的机制，例如推理中的代换、匹配、分离，计算中的运算、迭代、递归。 计算机程序设计则是要把问题的求解归结于程序设计语言的几条基本语句，甚至归结于一些极其简单的机器操作指令。 ;数理逻辑的形式化方法又和计算机科学不谋而合。 计算机系统本身，它的硬件、软件都是一种形式系统，它们的结构都可以形式地描述； 程序设计语言更是不折不扣的形式语言系统。 要研究计算机、开发种种程序设计语言，没有形式化知识和形式化能力是难以取得出色的成果的。;人们必须用计算机懂得的形式语言告诉它怎么做或者做什么，而计算机理解这些语言的过程，又正是按照人赋予它的形式化规程(编译程序，compiler)，将它们归约为自己的基本操作。 数理逻辑对计算的追根寻源，导致了第一个计算的数学模型图灵机(Turing machines)的诞生，它被公认为现代数字计算机的祖先； λ-演算系统为第一个人工智能语言LISP奠定了基础；一阶谓词演算系统为计算机的知识表示及定理证明铺平了道路。逻辑程序设计语言Prolog以其为根本。 ;2.连接主义学派;;20世纪60-70年代，连接主义，尤其是对以感知器(perceptron)为代表的脑模型的研究曾出现过热潮，由于受到当时的理论模型、生物原型和技术条件的限制，脑模型研究在20世纪70年代后期至80年代初期落入低潮。 Hopfield在1982年和1984年发表两篇重要论文，提出用硬件模拟神经网络以后，连接主义才又重新抬头。 1986年，Rumelhart等人提出多层网络中的反向传播(BP)算法。 ;3.行为主义学派;行为主义是20世纪末才以人工智能新学派的面孔出现的，引起许多人的兴趣。 这一学派的代表作首推Brooks的六足行走机器人，它被看做是新一代的“控制论动物”，是一个基于感知-动作模式的模拟昆虫行为的控制系统。 反馈是控制论的基石，没有反馈就没有智能。 控制论导致机器人研究，机器人是“感知-行为”模式,是没有知识的智能；强调系统与环境的交互，从运行环境中获取信息，通过自己的动作对环境施加影响。;图灵测试;图灵测试;Turing测试;图灵测试;Turing测试;哲学家将人工智能的观点分为两类，弱人工智能和强人工智能，分别认为机器智能只是一种模拟智能和机器确实可以有真正的智能。两种观点进行了争论，出现了不少巧妙的假想实验，其中中文屋子就是反驳强人工智能的一个有名的假想实验。 1980年，哲学家西尔勒提出了名为“中文屋子”的假想实验，模拟图灵测试，用以反驳强人工智能观点。主要说明某台计算机即使通过了图灵测试，能正确的回答问题，它对问题仍然没有任何理解，因此不具备真正的智能。 ;西尔勒假设：西尔勒博士（扮演计算机中的CPU）在一个封闭的房子里，有输入和输出缝隙与外部相通。输入的是中文问题，而他对中文一窍不通。房子内有一本英语的指令手册（相当于程序），从中可以找到相应的规则。他按照规则办事