-精选版人工智能概述.pptVIP

(3)定理证明器。它研究一切可判定问题的证明方法。 (4)计算机辅助证明。它是以计算机为辅助工具，利用机器的高速度和大容量，帮助人完成手工证明中难以完成的大量计算、推理和穷举。 第*页 * 3.自动程序设计 自动程序设计就是让计算机设计程序。具体来讲，就是人只要给出关于某程序要求的非常高级的描述，计算机就会自动生成一个能完成这个要求目标的具体程序。所以，这相当于给机器配置了一个“超级编译系统”，它能够对高级描述进行处理，通过规划过程，生成所需的程序。但这只是自动程序设计的主要内容，它实际是程序的自动综合。自动程序设计还包括程序自动验证，即自动证明所设计程序的正确性。 第*页 * 4. 自动翻译 自动翻译即机器翻译，就是完全用计算机作为两种语言之间的翻译。机器翻译由来已久。早在电子计算机问世不久，就有人提出了机器翻译的设想。随后就开始了这方面的研究。当时人们总以为只要用一部双向词典及一些语法知识就可以实现两种语言文字间的机器互译，结果遇到了挫折。 机器翻译的实现依赖于自然语言理解研究的进展。 第*页 * 5.智能控制 智能控制就是把人工智能技术引入控制领域，建立智能控制系统。自从国际知名美籍华裔科学家傅京孙(KS.Fu)在1965年首先提出把人工智能的启发式推理规则用于学习控制系统以来，国内外众多的研究者投身于智能控制研究，并取得一些成果。 第*页 * 智能控制系统的智能可归纳为以下几方面： (1)先验智能：有关控制对象及干扰的先验知识，可以从一开始就考虑到控制系统的设计中; (2)反应性智能：在实时监控、辨识及诊断的基础上，对系统及环境变化的正确反应能力; (3)优化智能：包括对系统性能的先验性优化及反应性优化; (4)组织与协调智能：表现为对并行耦合任务或子系统之间的有效管理与协调。 第*页 * 6.智能管理 智能管理就是把人工智能技术引入管理领域，建立智能管理系统。智能管理是现代管理科学技术发展的新动向。智能管理是人工智能与管理科学、系统工程、计算机技术及通信技术等多学科、多技术互相结合、互相渗透而产生的一门新技术、新学科。它研究如何提高计算机管理系统的智能水平，以及智能管理系统的设计理论、方法与实现技术。 第*页 * 7.智能决策 智能决策就是把人工智能技术引入决策过程，建立智能决策支持系统。智能决策支持系统是在20世纪80年代初提出来的。它是决策支持系统与人工智能，特别是专家系统相结合的产物。 第*页 * 一般来说，智能部件中可以包含如下一些知识： (1)建立决策模型和评价模型的知识。 (2)如何形成候选方案的知识。 (3)建立评价标准的知识。 (4)如何修正候选方案，从而得到更好候选方案的知识。 (5)完善数据库，改进对它的操作及维护的知识。 第*页 * 8.智能通信 智能通信就是把人工智能技术引入通信领域，建立智能通信系统。智能通信就是在通信系统的各个层次和环节上实现智能化。例如在通信网的构建、网管与网控、转接、信息传输与转换等环节，都可实现智能化。这样，网络就可运行在最佳状态，使呆板的网变成活化的网，使其具有自适应、自组织、自学习、自修复等功能。 第*页 * 9. 智能仿真 智能仿真就是将人工智能技术引入仿真领域，建立智能仿真系统。我们知道，仿真是对动态模型的实验，即行为产生器在规定的实验条件下驱动模型，从而产生模型行为。 第*页 * 10.智能CAD 智能CAD（简称ICAD）就是把人工智能技术引入计算机辅助设计领域，建立智能CAD系统。事实上，AI几乎可以应用到CAD技术的各个方面。从目前发展的趋势来看，至少有下述四个方面： (1)设计自动化。 (2)智能交互。 (3)智能图形学。 (4)自动数据采集。 第*页 * 从具体技术来看，ICAD技术大致可分为如下几种方法： (1)规则生成法。 (2)约束满足方法。 (3)搜索法。 (4)知识工程