北京语言大学13春《人工智能导论》作业4

13春《人工智能导论》作业4
试卷总分：100
单选题
判断题
多选题
一、单选题（共 10 道试题，共 40 分。）
V
1. 基于规则的逆向演绎系统的初始综合数据库是＿。
A. 事实表达式的与或树
B. 目标公式的与或树
C. 与或树
D. 证明树
满分：4 分
2. 基于规则的逆向演绎系统的子集形式：＿。
A. 子句的合取式（合取范式）
B. 子句的析取式（析取范式）
C. 文字的析取式
D. 文字的合取式
满分：4 分
3. 基于规则的正向演绎系统的初始综合数据库是＿。
A. 事实表达式的与或树
B. 目标公式的与或树
C. 与或树
D. 证明树
满分：4 分
4. 设有置换集S，首先根据S构造U1、U2两个表达式，其中U1由置换集S中的所有被置换的变量组成，U2由与U1中的变量所对应的置换项组成。当U1、U2可以合一时，它们的mgu就是该置换集的＿。
A. 合一复合
B. 一致置换
C. 一致解图
D. 合一者
满分：4 分
5. 基于规则的逆向演绎系统的子句形式：＿。
A. 子句的合取式（合取范式）
B. 子句的析取式（析取范式）
C. 文字的析取式
D. 文字的合取式
此题选: D 满分：4 分
6. 基于规则的正向演绎系统的子句形式：＿。
A. 子句的合取式（合取范式）
B. 子句的析取式（析取范式）
C. 文字的析取式
D. 文字的合取式
满分：4 分
7. 基于规则的正向演绎系统的的子集形式：＿。
A. 子句的合取式（合取范式）
B. 子句的析取式（析取范式）
C. 文字的析取式
D. 文字的合取式
满分：4 分
8. 将结论的否定所对应的子句s在归结树中的位置，用重言式s ~s代替s，并参予归结树中所有的置换，所得到的树称为＿。
A. 归结树
B. 证明树
C. 修改证明树
D. 置换
满分：4 分
9. 基于规则的正向演绎系统的目标公式为＿。
A. 文字析取形
B. 任意形式
C. 子句的合取式
D. 文字合取形
满分：4 分
10. 在公式（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 分
13春《人工智能导论》作业4
试卷总分：100
单选题
判断题
多选题
二、判断题（共 12 道试题，共 48 分。）
V
1. 将归结过程用树的形式表示出来，称为归结树。归结树又可以称为证明树。
A. 错误
B. 正确
满分：4 分
2. 基于规则的逆向演绎系统的规则形式为L→W或L1∨L2→W（L为单文字，W为任意形式）
A. 错误
B. 正确
满分：4 分
3. 无论是正向系统还是逆向系统，其目标都是从众多的解图中，找一个一致解图。
A. 错误
B. 正确
满分：4 分
4. EQ、EQL和EQUAL是三个判断相等的谓词函数，其区别是判断相等的"标准"不一样。
A. 错误
B. 正确
满分：4 分
5. LISP语言被称之为表处理语言，它的基本数据结构就是表。
A. 错误
B. 正确
满分：4 分
6. 在LISP语言中，所有的函数都以前缀的形式用表表示。也就是说，表的第一个元素是函数名，其他元素是该函数的参量。
A. 错误
B. 正确
满分：4 分
7. 当多次使用同一规则时，需要对规则中的变量进行换名，使得规则在不同的使用处，其变量名是不相同的。
A. 错误
B. 正确
满分：4 分
8. 当一个解图中所有涉及的置换构成的置换集是一致的时，该解图称为一致解图。
A. 错误
B. 正确
满分：4 分
9. LISP程序设计，实际上就是定义函数。在基本函数和已经定义的函数的基础上，定义更多的函数，实现所需要的功能。
A. 错误
B. 正确
满分：4 分
10. LISP语言是一种函数型语言，一切功能由函数实现，一个LISP程序就是一些函数的集合。
A. 错误
B. 正确
满分：4 分
11. 一般人工智能系统所用到的知识分为三种类型：陈述知识、过程知识和控制知识。
A. 错误
B. 正确
满分：4 分
12. 正向演绎系统是从事实表达式出发，通过正向匹配应用规则进行推理，直到推出目标表达式。
A. 错误
B. 正确
满分：4 分
13春《人工智能导论》作业4
试卷总分：100
单选题
判断题
多选题
三、多选题（共 3 道试题，共 12 分。）
V
1. 表述有关问题的知识分为两类：＿。
A. 规则
B. 事实
C. 陈述知识
D. 控制知识
满分：4 分
2. 在LISP语言中，总是试图对任何S-表达式进行求值。在求值的过程中，有这样几个基本约定：＿。
A. 如果S-表达式是一个数字，则它的值就是数字本身。
B. 如果S-表达式是一个文字原子，则它的值是在此之前，通过赋值函数赋给该原子的值。
C. 如果S－表达式是一个表，则该表被认为是一个函数。
D. 符号""是阻止求值符号，如果一个S－表达式前面有符号""，则其值就是该S－表达式本身。
满分：4 分
3. 基于规则的正向演绎系统的使用条件：＿。
A. 事实表达式是任意形式
B.
C. 规则形式为：L→W或L1∨L2→W，其中L为单文字，W为任意形式。
D. 目标公式为文字析取形。
E. 目标公式是任意形式。
满分：4 分