内容发布更新时间 : 2024/6/26 9:02:48星期一 下面是文章的全部内容请认真阅读。

2017秋北语17春《人工智能导论》作业4

一、单选题（共 10 道试题，共 40 分。）

1. 将结论的否定所对应的子句s在归结树中的位置，用重言式s ~s代替s，并参予归结树中所有的置换，所得到的树称为＿。 A. 归结树 B. 证明树 C. 修改证明树 D. 置换 正确答案：

2. 在公式（v）（Q（v，u）∧~（（R（v）∨P（v））∧S（u，v）））中，Q（v，u）是一个主合取元，是另一个主合取元。 A. （R（v）∨P（v））∧S（u，v） B. S（u，v）

C. （R（v）∨P（v）） D. R（v） 正确答案：

3. 基于规则的正向演绎系统的目标公式为＿。 A. 文字析取形 B. 任意形式 C. 子句的合取式 D. 文字合取形 正确答案：

4. 基于规则的逆向演绎系统的子句形式：＿。 A. 子句的合取式（合取范式） B. 子句的析取式（析取范式） C. 文字的析取式 D. 文字的合取式 正确答案：

5. 基于规则的逆向演绎系统的子集形式：＿。 A. 子句的合取式（合取范式） B. 子句的析取式（析取范式） C. 文字的析取式 D. 文字的合取式 正确答案：

6. 基于规则的逆向演绎系统的初始综合数据库是＿。 A. 事实表达式的与或树

B. 目标公式的与或树 C. 与或树 D. 证明树 正确答案：

7. 设有置换集S，首先根据S构造U1、U2两个表达式，其中U1由置换集S中的所有被置换的变量组成，U2由与U1中的变量所对应的置换项组成。当U1、U2可以合一时，它们的mgu就是该置换集的＿。 A. 合一复合 B. 一致置换 C. 一致解图 D. 合一者 正确答案：

8. 基于规则的正向演绎系统的子句形式：＿。 A. 子句的合取式（合取范式） B. 子句的析取式（析取范式） C. 文字的析取式 D. 文字的合取式 正确答案：

9. 基于规则的正向演绎系统的的子集形式：＿。 A. 子句的合取式（合取范式） B. 子句的析取式（析取范式） C. 文字的析取式 D. 文字的合取式 正确答案：

10. 基于规则的正向演绎系统的初始综合数据库是＿。 A. 事实表达式的与或树 B. 目标公式的与或树 C. 与或树 D. 证明树 正确答案：

17春《人工智能导论》作业4

二、判断题（共 12 道试题，共 48 分。）

1. 置换集一致的充分必要条件是该置换集存在合一复合。 A. 错误 B. 正确

正确答案：

2. 一般人工智能系统所用到的知识分为三种类型：陈述知识、过程知识和控制知识。 A. 错误 B. 正确 正确答案：

3. 正是由于PROLOG语言自己决定\如何做\，使得求解问题的效率比较低，严重影响了它的使用。 A. 错误 B. 正确 正确答案：

4. LISP语言的基本结构是S－表达式，其中最常用的是原子和表这两种形式。 A. 错误 B. 正确 正确答案：

5. 基于规则的逆向演绎系统是从目标出发，逆向使用规则对目标表达式的与或图进行变换，直到找到一个含有事实节点的一致解图为止。 A. 错误 B. 正确 正确答案：

6. 无论是正向系统还是逆向系统，其目标都是从众多的解图中，找一个一致解图。 A. 错误 B. 正确 正确答案：

7. 谓词逻辑，除了要对事实和规则进行处理外，与命题逻辑最大的差别是在匹配时需要进行合一，而且还要检查同一个解图中的合一置换是否是一致的。 A. 错误 B. 正确 正确答案：

8. 对基于规则的正向演绎系统，目标表达式中的\∧\号在与或树中表达为\与\的关系，\∨\号在与或树中表达为\或\的关系。 A. 错误 B. 正确 正确答案：

9. 将归结过程用树的形式表示出来，称为归结树。归结树又可以称为证明树。 A. 错误 B. 正确 正确答案：

10. 基于规则的正向演绎系统的事实表达式是文字合取形式。 A. 错误 B. 正确 正确答案：

11. 合一复合是可结合、可交换的。这是一个很好的性质，说明在用基于规则的正向演绎方法求解问题时，与使用规则的次序无关。