北语16秋《人工智能导论》作业4.pdfVIP

北语 16 秋《人工智能导论》作 业 4 一、单选题（共 10 道试题，共 40 分。） V 1. 在公式（v）（Q （v，u）∧~ （（R （v）∨P （v））∧S （u，v）））中，Q （v，u）是一个主合 取元，是另一个主合取元。 . （R （v）∨P （v））∧S （u，v） . S （u，v） . （R （v）∨P （v）） . R （v） 标准答案： 2. 基于规则的逆向演绎系统的子句形式：＿。 . 子句的合取式（合取范式） . 子句的析取式（析取范式） . 文字的析取式 . 文字的合取式 标准答案： 3. 基于规则的正向演绎系统的目标公式为＿。 . 文字析取形 . 任意形式 . 子句的合取式 . 文字合取形 标准答案： 4. 基于规则的正向演绎系统的子句形式：＿。 . 子句的合取式（合取范式） . 子句的析取式（析取范式） . 文字的析取式 . 文字的合取式 标准答案： 5. 将结论的否定所对应的子句 s在归结树中的 位置，用重言式 s ~s 代替 s，并参予归结树中所 有的置换，所得到的树称为＿。 . 归结树 . 证明树 . 修改证明树 . 置换 标准答案： 6. 设有置换集 S，首先根据 S 构造 U1、U2 两个 表达式，其中 U1 由置换集 S 中的所有被置换的 变量组成，U2 由与U1 中的变量所对应的置换项 组成。当 U1、U2 可以合一时，它们的 mgu 就是 该置换集的＿。 . 合一复合 . 一致置换 . 一致解图 . 合一者 标准答案： 7. 基于规则的正向演绎系统的初始综合数据 库是＿。 . 事实表达式的与或树 . 目标公式的与或树 . 与或树 . 证明树 标准答案： 8. 基于规则的正向演绎系统的的子集形式： ＿。 . 子句的合取式（合取范式） . 子句的析取式（析取范式） . 文字的析取式 . 文字的合取式 标准答案： 9. 基于规则的逆向演绎系统的初始综合数据 库是＿。 . 事实表达式的与或树 . 目标公式的与或树 . 与或树 . 证明树 标准答案： 10. 基于规则的逆向演绎系统的子集形式：＿。 . 子句的合取式（合取范式） . 子句的析取式（析取范式） . 文字的析取式 . 文字的合取式 标准答案： 二、判断题（共 12 道试题，共 48 分。） V 1. 无论是正向系统还是逆向系统，其目标都 是从众多的解图中，找一个一致解图。 . 错误 . 正确 标准答案： 2. 在 LISP 语言中，所有的函数都以前缀的形 式用表表示。也就是说，表的第一个元素是函数 名，其他元素是该函数的参量。 . 错误 . 正确 标准答案： 3. 基于规则的逆向演绎系统是从目标出发，逆 向使用规则对目标表达式的与或图进行变换，直 到找到一个含有事实节点的一致解图为止。 . 错误 . 正确 标准答案： 4. 置换集一致的充分必要条件是该置换集存 在合一复合。 . 错误 . 正确 标准答案： 5. 规则公式不以蕴涵形给出，是表示该问题领 域的专门知识。 . 错误 . 正确 标准答案： 6. Q、QL 和 QUL 是三个判断相等的谓词函数， 其区别是判断相等的其区别是判断相等的 标准标准 不一样。 . 错误 . 正确 标准答案： 7. PROLOG 属于逻辑程序设计语言，其理论基础 是一阶谓词逻辑。 . 错误 . 正确 标准答案： 8. 将归结过程用树的形式表示出来，称为归结 树。归结树又可以称为证明树。 . 错误 . 正确 标准答案： 9. 基于规则的逆向演绎系统的规则形式为 L→ W 或 L1∨L2→W （L 为单文字，W 为任意形式） . 错误 . 正确 标准答案： 10. PROLOG 系统的基本求解策略是：从上到下， 从左到右，深度优先。 . 错误 . 正确 标准答案： 11. 人工智能是一门综合技术，所处理的问题 非常广泛，因此任何一种语言都不可能对所有的 问题处理起来都很灵活、方便，至于究竟使用