一章节人工智能概述.pptVIP

2020/4/26 人工智能 31 难题求解 ? 难题 没有算法解或或虽有算法解但在现有机器上无法 实施或无法完成的问题。 ? NP Nondeterministic Polynomial, 非确定性多项 式。不能证明算法复杂度超出多项式边界，但又未找 到有效算法的问题。 NPC ： NP Complete ， NP 中一类 最困难的问题。 ? 研究意义 a. 找到解决难题的途径。 b. 由解决这些难题而发 展起来得一些技术和方法可用于人工智能其它领域。 2020/4/26 人工智能 32 基于应用领域的领域划分 ? 难题求解 ? 自动定理证明 ? 自动程序设计 ? 自动翻译 ? 智能控制 ? 智能管理 ? 智能决策 ? 智能通信 ? 智能仿真 ? 智能 CAD ? 智能 CAI 2020/4/26 人工智能 33 自动定理证明 ? 自然演绎法 依据推理规则，从前提和公理中推出许多定理，若待证明的 定理恰在其中，则定理得证。 ? 判定法 对一类问题找出统一的计算机上可实现的算法解。 ? 定理证明器 研究一切可判定问题的解法。 1965 年鲁滨逊提出的 消解原理 是这类工作的基础， ? 计算机辅助证明 以计算机为辅助工具，利用机器的高速和大容量，帮助人完 成手工证明中无法完成的大量计算、推理和穷举。 2020/4/26 人工智能 34 基于应用领域的领域划分 ? 难题求解 ? 自动定理证明 ? 自动程序设计 ? 自动翻译 ? 智能控制 ? 智能管理 ? 智能决策 ? 智能通信 ? 智能仿真 ? 智能 CAD ? 智能 CAI 2020/4/26 人工智能 35 自动程序设计 ? 自动程序设计 自动程序设计就是人只要给出关于某程序要求的 非常高级的描述，计算机就会自动生成一个能完成这 个要求目标的具体程序。 ? 自动程序设计过程 自动程序设计相当于给机器配置了一个“超级编 译系统”，它能够对高级描述进行处理，通过规划过 程，生成所需的程序。这是自动程序设计的主要内容 ，它实际是程序的自动综合。自动程序设计还包括程 序自动验证。 2020/4/26 人工智能 36 基于应用领域的领域划分 ? 难题求解 ? 自动定理证明 ? 自动程序设计 ? 自动翻译 ? 智能控制 ? 智能管理 ? 智能决策 ? 智能通信 ? 智能仿真 ? 智能 CAD ? 智能 CAI 2020/4/26 人工智能 37 自动翻译 自动翻译即是机器翻译，用计算机作为两 种语言之间的翻译。由于自然语言理解方面的 困难，所以到目前为止自动翻译问题还没有完 全解决。 2020/4/26 人工智能 38 基于应用领域的领域划分 ? 难题求解 ? 自动定理证明 ? 自动程序设计 ? 自动翻译 ? 智能控制 ? 智能管理 ? 智能决策 ? 智能通信 ? 智能仿真 ? 智能 CAD ? 智能 CAI 2020/4/26 人工智能 39 智能控制 ? 产生 1965 年，傅京孙（ KS.Fu ）提出， 1987 年正式作为一 门独立的学科。 ? 特点 ? 智能控制中的智能 先验智能；反应性智能；优化智能；组织与协调智 能。 ? 智能控制开发途径 基于专家系统的专家智能控制；基于模糊推理和计 算的模糊控制： 基于人工神经网络的神经网络控制； 综合以上三种方法的综合型智能控制。 2020/4/26 人工智能 40 基于应用领域的领域划分 ? 难题求解 ? 自动定理证明 ? 自动程序设计 ? 自动翻译 ? 智能控制 ? 智能管理 ? 智能决策 ? 智能通信 ? 智能仿真 ? 智能 CAD ? 智能 CAI 2020/4/26 人工智能 41 智能管理 智能管理是人工智能与管理科学、系统工程、计 算机技术及通信技术等多学科、多技术相结合、互相 渗透而产生的一门新技术、新学科。它研究如何提高 计算机管理系统的智能水平以及智能管理系统的设计 理论、方法与实现技术。 2020/4/26 人工智能 42 基于应用领域的领域划分 ? 难题求解 ? 自动定理证明 ? 自动程序设计 ? 自动翻译 ? 智能控制 ? 智能管理 ? 智能决策 ? 智能通信 ? 智能仿真 ? 智能 CAD ? 智能 CAI 2020/4/26 人工智能 43 智能决策 ? 智能决策支持系统 将人工智能技术引入决策过程，建立决策支持系统， 充分发挥传统决策支持系统中数值分析的优势，也充分 发挥专家系统中知识给知识处理的特长。 ? 智能决策支持系统构成 智能决策支持系统是在传统决策支持系统的基础上 加上相应的智能部件构成的。包括模型库、方法库、数 据库、知识库四部分构成。 2020/4/26 人工智能 44 基于应用领域的领域划分 ? 难题求解 ? 自动定理证明 ? 自动程序设计 ? 自动翻译 ? 智能控制 ? 智能管理 ?