[互联网]第三讲第1章人工智能应用领域与学科发展2013年3月12.ppt

人 工 智 能Artificial Intelligence第三次课概论（3） 董春游(Chunyou Dong) PhD,Professor Email:chunyoudong@126.com 第二次课主要内容 1.2 AI的产生与发展 第一阶段:孕育期（1956年以前） 第二阶段:形成期（1956----1970年） 第三阶段:知识应用期（1970---- 80年代） 第四阶段:从学派分离走向综合（20世纪80年代末到本世纪初） 第五阶段：智能科学技术学科兴起(目前) AI研究的不同学派 1.符号主义学派（逻辑主义、心理学派） 主要观点：AI起源于数理逻辑，人类认知的基元是符号，认知过 程是符号表示上的一种运算 代表性成果：纽厄尔和西蒙等人研制的称为逻辑理论机的数学定理 证明程序LT 代表人物： 纽厄尔、肖、西蒙和尼尔逊(Nilsson)等 2.连接主义学派（仿生学派或心理学派） 主要观点：AI起源于仿生学，特别是人脑模型，人类认知的基元 是神经元，认知过程是神经元的连接活动过程 代表性成果：由麦克洛奇和皮兹创立的脑模型，即MP模型 代表人物：麦克洛奇和皮兹 3.行为主义学派（进化主义、控制论学派） 主要观点：AI起源于控制论，智能取决于感知和行为，取决于对 外界复杂环境的适应，而不是推理。 代表性成果：Brooks教授研制的机器虫 代表人物： Brooks教授 1.2人工智能的产生与发展 1.3 AI的主要研究内容 1 机器思维 4 计算智能 1.推理 1.神经计算 2.有哪些信誉好的足球投注网站 2.进化计算 3.规划 3.模糊计算 2 机器感知 5 机器学习 1.计算机视觉 1.符号学习 2.模式识别 2.神经学习 3.自然语言处理 3.知识发现和数据挖掘 3 机器行为（行为主义） 6 智能系统 1.智能控制 1.决策支持系统 2.智能检索 2.专家系统 3.智能机器人 2. 自动定理证明 自动定理证明就是机器定理证明，这也是人工智能的一个重要的研究领域，也是最早的研究领域之一。 定理证明是最典型的逻辑推理问题之一，它在发展人工智能方法上起过重大作用。自动定理证明的方法主要有四类： (1)自然演绎法。它的基本思想是依据推理规则，从前提和公理中可以推出许多定理，如果待证的定理恰在其中，则定理得证。 (2)判定法。即对一类问题找出统一的计算机上可实现的算法解。在这方面一个著名的成果是我国数学家吴文俊教授1977年提出的初等几何定理证明方法。 (3)定理证明器。它研究一切可判定问题的证明方法。 (4)计算机辅助证明。它是以计算机为辅助工具，利用机器的高速度和大容量，帮助人完成手工证明中难以完成的大量计算、推理和穷举。 3.自动程序设计 自动程序设计就是让计算机设计程序。具体来讲，就是人只要给出关于某程序要求的非常高级的描述，计算机就会自动生成一个能完成这个要求目标的具体程序。 所以，这相当于给机器配置了一个“超级编译系统”，它能够对高级描述进行处理，通过规划过程，