review2-知识表达.docVIP

第二章 知识表达 复习题 一、选择题 1、已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这是知识表示法叫（ B ） A) 状态空间法 B) 问题归约法 C) 谓词逻辑法 D) 语义网络法 2、语义网络表达知识时，有向弧AKO 链、ISA 链是用来表达节点知识的（C ）。 A) 无悖性 B) 可扩充性 C) 继承性 3、命题是可以判断真假的 ( D )。 A)祈使句　 B)疑问句　 C)感叹句　 D)陈述句 4、仅个体变元被量化的谓词称为 ( A )。 A) 一阶谓词　 B) 原子公式　 C) 二阶谓词　 D) 全称量词 5、下列不在人工智能系统的知识包含的4个要素中 (D)。 A) 事实　 B) 规则　 C) 控制和元知识　 D) 关系 二、填空题 1、目前所用的知识表示形式有__一阶谓词_、_产生式_、_框架_、_语义网络_等。 2、在框架和语义网络两种知识表示方法中，?? 框架 ??适合于表示结构性强的知识，而????????语义网络 ?则适合表示一些复杂的关系和联系的知识。??面向对象??不仅仅是一种知识表示方法，也是一种流行的软件设计和开发技术。 3、产生式系统是由_规则库_、__综合数据库__和__控制系统_三部分组成的. 4、产生式系统的推理可以分为__正向推理__和__反向推理__两种基本方式。 5、知识表示的性能应从以下二个方面评价：__较强的表达能力__和__足够的精细度_；后者又分二个方面__推理正确性__和 __效率__。 6、某产生式系统中的一条规则：A（x）?B（x），则前件是 ，后件是 。 三、简答题 例1. 采用一阶谓词表示法表示如下知识： 自然数都是大于零的整数 所有整数不是偶数就是奇数 偶数除以2是整数 解： 步骤1. 谓词定义： 自然数：N(x), 大于零：GZ(x)?, 整数：I(x)。 偶数：E(x), ??奇数：O(x), ?除以2：S(x)。 步骤 例2．设在房间c处有一机器人，在a及b处各有一张桌子，a桌上有一个盒子，为了让机器人把盒子从a处拿到b处的桌子上，然后再回到c处，需要制定相应的行动规则，用一阶谓词逻辑来描述机器人的行动过程 解： 步骤1. 定义谓词： TABLE(x)：x是桌子， EMPTY(y)：y手中是空的， AT(y, z)：y在z附近， HOLDS(y, w)：y拿着w， ON(w, x)：w在 x的上面。 步骤2. 定义域： x的个体域是{a,b}， y的个体域是{robot}， z的个体域是{a,b,c}， w的个体域是{box}。 步骤3. 状态 初始状态 目标状态 AT(robot, c) AT(robot, c) EMPTY(robot) EMPTY(robot) ON(box, a) ON(box, b) TABLE(a) TABLE(a) TABLE(b) TABLE(b) 步骤4. 操作 GOTO(x, y)：从x处走到y处。 PICK-UP(x)：在x处拿起盒子。 SET-DOWN(x)：在x处放下盒子。 步骤. 例 3. 用谓词逻辑表示下列知识： 武汉是一个美丽的城市，但她不是一个沿海城市。 第一步：定义谓词如下： BCity(x)：x是一个美丽的城市。 HCity(x)：x是一个沿海城市。 第二步 将这些个体代入谓词中，得到：BCity(wuhan), HCity(wuhan) 。 第三步 根据语义，用逻辑连接符将它们连接起来，就得到了表示上述知识的谓词公式：BCity(wuhan)∧～HCity(wuhan) 。 例 4. 用谓词逻辑表示下列知识： 如果马云是男孩，张敏是女孩，则马云比张红长得高。 解：按照知识表示步骤，用谓词公式表示上述知识。 第一步：定义谓词如下： Boy(x)：x是男孩， Girl(x)：x是女孩。 High(x，y)：x比y长得高。 第二步：将这些个体代入谓词中，得到： Boy(maY), Girl(zhangM), High(maY,zhangM) 第三步：根据语义，用逻辑连接符将它们连接起来，就得到了表示上述知识的谓词公式： (Boy(maY)∧Girl(zhangM))→High(maY,zhangM) 例5. 用谓词逻辑形式化下列描述?：“不存在最大的整数”?。 解：定义谓词G(x)：x为整数?， 定义D(x,y)：x大于y?。 形式化为： 或者 。 6 . 什么是产生式？产生式规则的语义是什么？ 解：