华理陈志华人工智能综述.pptVIP

符号智能基于人脑的心理模型，运用传统的程序设计方法实现人工智能，是传统人工智能或经典人工智能。 第六十二页，共九十三页。 ２ 计算智能 计算智能以数据为基础，通过数值计算进行问题求解而实现的智能。 计算智能研究的主要内容包括人工神经网络、进化计算（包括遗传算法、遗传程序算法、进化规 划、进化策略等）、模糊技术及人工生命等。 计算智能主要模拟自然智能系统，研究其数学模型和相关算法，并实现人工智能。 计算智能是当前人工智能学科中一个十分活跃的分支领域。 第六十三页，共九十三页。 §３ 基于应用领域的划分 １ 难题求解 主要是指那些没有算法解，或虽有算法解但在现有机器上无法实施或完成的困难问题。 如路径规划、运输调度、电力调度、地质分析、测量数据解释、天气预报、市场预测、股市分析、疾病诊断、故障诊断、军事指挥、机器人行动规划、机器博弈等。 第六十四页，共九十三页。 ２ 自动定理证明 就是机器定理证明。这是人工智能的一个重要的且是最早的研究方面，是最典型的逻辑推理问题之一。 自动定理证明的方法主要有四类： ①自然演绎法：即依据推理规则，从前提和公理中可以推出许多定理，如待证的定理恰在其中，则定理得到证明。 第六十五页，共九十三页。 ③定理证明器：研究一切可判定问题的证明方法。 ④计算机辅助证明：指以计算机为辅助工具，利用机器的高速度和大容量，帮助人完成手工证明中难以完成的大量计算、推