人工智能第.ppt

人工智能 《人工智能》 马少平清华大学出版社 授课公共信箱 rgznlut@126.com 密码：lutrzgn 个人信箱：z_honglei@126.com 参考书目 人工智能 Nilsson 机械工业出版社 人工智能及其应用 蔡自兴 清华大学出版社 人工智能原理与方法 王永庆 西安交通大学出版社 人工智能 陆汝钤 科学出版社 知识发现 史忠植 清华大学出版社 人工智能—一种现代方法（英文版） Russell Norvig 人民邮电出版社 主要内容 第0章 绪论 第1章 搜索问题 第2章 与或图搜索问题 第3章 谓词逻辑与归结原理 第4章 知识表示 第5章 不确定性推理方法 第6章 机器学习 第7章 高级搜索 绪 论 很早人类就有制造机器人的幻想 黄帝的“指南车” 诸葛亮的“木牛流马” 亚里士多德的形式逻辑 布莱尼茨的关于数理逻辑的思想 “机器人”一词的来源 现代人工智能的兴起 现代人工智能（Artificial Intelligence，简称AI），一般认为起源于1956年在美国达特茅斯Dartmouth大学组织的一次夏季讨论（达特茅斯会议），在这次会议上，第一次提出了“Artificial Intelligence”这个词。 什么是人工智能？ 至今没有统一的定义 AI是普遍的研究领域 和人类智能活动的所有范畴都潜在相关 人vs.理性 人：经验科学，涉及许多假设和实验证实 理性：数学和工程相结合。一个系统如果能够在它所知的范围内“正确行事”，它就是理性的。 人工智能各学派的认知观 AI的主要学派： (l)符号主义 (2)连接主义 (3)行为主义 1.符号主义学派 认知基元是符号，智能行为通过符号操作来实现,以Robinson提出的归结原理为基础，以LISP和Prolog语言为代表； 着重问题求解中启发式搜索和推理过程，在逻辑思维的模拟方面取得成功，如自动定理证明和专家系统。 人工智能源于数理逻辑。 数理逻辑和计算机科学具有完全相同的宗旨。 数理逻辑试图找出构成人类思维或计算的最基础的机制，例如推理中的代换、匹配、分离，计算中的运算、迭代、递归。 计算机程序设计则是要把问题的求解归结于程序设计语言的几条基本语句，甚至归结于一些极其简单的机器操作指令。 数理逻辑的形式化方法又和计算机科学不谋而合。 计算机系统本身，它的硬件、软件都是一种形式系统，它们的结构都可以形式地描述； 程序设计语言更是不折不扣的形式语言系统。 要研究计算机、开发种种程序设计语言，没有形式化知识和形式化能力是难以取得出色的成果的。 人们必须用计算机懂得的形式语言告诉它怎么做或者做什么，而计算机理解这些语言的过程，又正是按照人赋予它的形式化规程(编译程序，compiler)，将它们归约为自己的基本操作。 数理逻辑对计算的追根寻源，导致了第一个计算的数学模型图灵机(Turing machines)的诞生，它被公认为现代数字计算机的祖先； λ-演算系统为第一个人工智能语言LISP奠定了基础；一阶谓词演算系统为计算机的知识表示及定理证明铺平了道路。逻辑程序设计语言Prolog以其为根本。 2.连接主义学派 人的思维基元是神经元，把智能理解为相互联结的神经元竞争与协作的结果。以人工神经网络为代表，其中反向传播网络模型（BP）和Hopfield网络模型更为突出；着重结构模拟，研究神经元特征、神经元网络拓朴、学习规则、网络的非线性动力学性质和自适应的协同行为。 认为人工智能源于仿生学，特别是对人脑模型的研究。它的代表性成果是1943年由生理学家McCulloch和数理逻辑学家Pitts创立的脑模型，即MP模型，开创了用电子装置模仿人脑结构和功能的新途径。它从神经元开始进而研究神经网络模型和脑模型，开辟了人工智能的又一发展道路。 20世纪60-70年代，连接主义，尤其是对以感知器(perceptron)为代表的脑模型的研究曾出现过热潮，由于受到当时的理论模型、生物原型和技术条件的限制，脑模型研究在20世纪70年代后期至80年代初期落入低潮。 Hopfield在1982年和1984年发表两篇重要论文，提出用硬件模拟神经网络以后，连接主义才又重新抬头。 1986年，Rumelhart等人提出多层网络中的反向传播(BP)算法。 3.行为主义学派 认为人工智能源于控制论。 控制论把神经系统的工作原理与信息理论、控制理论、逻辑以及计算机联系起来。 早期的研究工作重点是模拟人在控制过程中的智能行为和作用，如对自寻优、自适应、自校正、自镇定、自组织和自学习等控制论系统的研究，并进行“控制论动物”的研制。 行为主义是20世纪末才以人工智能新学派的面孔出现的，引起许多人的兴趣。 这一学派的代表作