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

17春《人工智能导论》作业4 试卷总分:100 得分:100

一、 单选题 (共 10 道试题,共 40 分)

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

满分：4 分 满分答案:C

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）

满分：4 分 满分答案:A

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

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

5. 基于规则的逆向演绎系统的子集形式：＿。 A. 子句的合取式（合取范式） B. 子句的析取式（析取范式）

C. 文字的析取式 D. 文字的合取式 满分：4 分 满分答案:B

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

满分：4 分 满分答案:B

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

满分：4 分 满分答案:A

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

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

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

满分：4 分 满分答案:A

二、 判断题 (共 12 道试题,共 48 分)

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

满分：4 分 满分答案:B

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

满分：4 分 满分答案:B

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

满分：4 分 满分答案:B

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

满分：4 分 满分答案:B

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

满分：4 分