人工智能（姚敏班）思考题及非官方答案.docVIP

本资料由贺剑峰、李泽健制作，发布遵循GPL开源协议，诸位可以修改后再次发布共享。限于水平限制，资料中不如人意之处和错误肯定不少，敬请诸位不吝吐槽指正。 第一章 1 人工智能的发展有哪几个阶段组成？简述每个阶段的重要成果与代表性人物。 孕育期（1956年以前），主要成就是创立数理逻辑、自动机理论、控制论、信息论和系统论，发明了通用电子数字计算机。这些成就为人工智能的诞生准备了充足的思想、理论和物质技术条件。代表性人物，西班牙神学家和逻辑学卢乐、法国物理学家数学家帕斯卡、德国数学家哲学家莱布尼兹、英国数学家布尔、英国数学家巴贝奇、英国数学家图灵、美国数学家莫克利和其研究生埃克特等等。 形成期（1956年和60年代），主要成就是人工智能正式诞生，并很快在定理证明、问题求解、博弈、模式识别等领域取得重大突破。代表性人物是美国的科学家纽厄尔、肖、西蒙、塞缪尔、乔姆斯基、勒洛特、赛尔夫利奇、麦卡锡（人工智能之父）。 发展期（60年代以后），主要成就是人工智能研究向纵深发展，在更多的研究领域取得了重大成就，并开始走向实际应用，在学科上也开始形成自己的理论体系。代表性人物有美国科学家费根鲍姆（专家系统之父）、Quillian（语义网络）等等。 2 研究人工智能的方法有哪几类？每类的特点是什么？ 研究人工智能的方法有：符号智能、计算智能、行为智能。 符号智能以知识为基础，通过推理进行问题求解，也即所谓的传统人工智能。 计算智能以数据为基础，通过训练建立联系进行问题求解。神经计算、演化计算、模糊计算等都可以包括在计算智能中。（ 软计算 L A Zadeh） 行为智能是以控制论方法进行AI研究，认为智能取决于感知和行为，提出智能行为的“感知-动作”模式，智能未必需要知识、知识表示与知识推理，智能行为可以通过现实世界与周围环境的交互作用而表现出来。这又称为行为主义方法。 第二章 1 常用知识表示方法有哪些？各有什么特点？ 常用知识表示方法：一阶谓词逻辑、产生式系统、语义网络、框架系统。 一阶谓词逻辑有谓词公式、连接符（与、或、非、蕴含）和量词（全程、存在）的表示元素。 一阶谓词逻辑的优点是，表示元素具有良好定义的语义，便于自然地表示概念，准确而灵活，其要有很好地表示充分性、基于一阶逻辑的归结定理证明能适用于各种应用系统。 一阶谓词逻辑的缺点是，不能应用启发式知识控制推理，无法描述结构复杂的事物，知识库较大时推理效率低下。 产生式系统是由规则库、综合数据库和控制子系统构成。 规则库是由产生式规则组成的。产生式的格式： IF 事实 THEN 事实 IF 事实 THEN 行为 综合数据库是记录问题求解的初始状态、中间结果。 控制子系统负责执行识别到行动的推理循环，识别是前提条件，行动是结果。控制子系统还会在每一循环选择激活的规则以及执行其拟定的动作。 控制子系统适用于表示各种启发式知识以指示事务间的经验性关联。其缺点是缺乏结构化手段，产生式系统无法有效地描述结构复杂的事物。 语义网络的形式化描述是 SN={N,C}。其中N是一个带标识的结点的有限集合，N={n1,n2,……,nm}，结点ni一般可用一个属性表或框架来表示。C是结点之间边或弧的集合，用来表示结点之间关系。 框架系统具备基于过去经验而形成概念的能力，也有指出所需要的新事物的能力。 简单的框架由框架名、槽和约束条件三部分组成。 框架名标识特定框架，槽是指框架上可供存放信息的一个位子，类似一个键值对。槽名用以标识槽的作用，槽的值指明该槽当前的值，是可变的。槽的值可以使数值、字符串、布尔值、某种条件满足时将会自动执行的一个动过或过程、或者对另一个框架的调用。 约束是一连串约束条件，表示为槽之间的关系。一般情况下约束需要另外的子框架来说明这些条件。 语义网络和框架系统都属于结构化表示方法，因而提高了系统的概念效率。这是他们的优点。 其缺点是，在刻画真值理论方面过于自由化，容易引起二义性甚至严重的错误。 2 事务表和黑板法是两种面向动作的问题求解组织方式，阐述各自的特点。 事务表是应由系统执行的事务列表，也称为任务表，是面向动作的问题求解组织方式。其允许各推理模块借由事务表相互通信，以协调诸模块在问题求解中的合作关系。事务表的特点是：其具有大系统模块化设计的优点；将复杂问题分解为子问题，每个子问题对应事务中的一个任务；事务表汇集问题求解的各种信息；相对独立的模块能在推理过程中合作求解问题。 黑板法也是一种面向动作的问题组织方式。系统由一组称为知识源（KS）的独立推理模块和黑板组成。 黑板的特点： 黑板是产生式的直接扩展，KS相当于大粒度的产生式规则，触发模式相当于规则左部，KS体相应于规则右部，黑板相当于综合数据库。黑板法通过KS把解决问题的知识聚集在一起，实现问题求解的结构化组织，克服产生式