第三讲第1章人工智能应用领域与学科发展年3月1233.ppt

人 工 智 能Artificial Intelligence第三次课概论（3） 董春游(Chunyou Dong) PhD,Professor Email: 第一页，共三十四页。 第二次课主要内容 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.智能机器人 第三页，共三十四页。 1.4 AI应用领域 1. 难题求解 这里的难题，主要指那些没有算法解，或虽有算法解但在现有机器上无法实施或无法完成的困难问题。 例如：路径规划、运输调度、电力调度、地质分析、测量数据解释、天气预报、市场预测、股市分析、疾病诊断、故障诊断、军事指挥（模拟）、机器人行动规划、机器博弈等等。 第四页，共三十四页。 2. 自动定理证明 自动定理证明就是机器定理证明，这也是人工智能的一个重要的研究领域，也是最早的研究领域之一。 定理证明是最典型的逻辑推理问题之一，它在发展人工智能方法上起过重大作用。自动定理证明的方法主要有四类： (1)自然演绎法。它的基本思想是依据推理规则，从前提和公理中可以推出许多定理，如果待证的定理恰在其中，则定理得证。 (2)判定法。即对一类问题找出统一的计算机上可实现的算法解。在这方面一个著名的成果是我国数学家吴文俊教授1977年提出的初等几何定理证明方法。 (3)定理证明器。它研究一切可判定问题的证明方法。 (4)计算机辅