北语17秋《人工智能导论》作业4答案答案
17秋《人工智能导论》作业4
试卷总分:100 得分:0
一、 单选题 (共 10 道试题,共 40 分)
1. 在公式（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 分
2. 基于规则的正向演绎系统的的子集形式：＿。
A. 子句的合取式（合取范式）
B. 子句的析取式（析取范式）
C. 文字的析取式
D. 文字的合取式
正确答案:----
正确选项:----
正确答案:----
正确选项:----
满分：4 分
3. 基于规则的正向演绎系统的初始综合数据库是＿。
A. 事实表达式的与或树
B. 目标公式的与或树
C. 与或树
D. 证明树
正确选项:----
专业答案:----
满分：4 分
4. 基于规则的逆向演绎系统的子句形式：＿。
A. 子句的合取式（合取范式）
B. 子句的析取式（析取范式）
C. 文字的析取式
D. 文字的合取式
满分：4 分
5. 基于规则的正向演绎系统的子句形式：＿。
A. 子句的合取式（合取范式）
B. 子句的析取式（析取范式）
C. 文字的析取式
D. 文字的合取式
满分：4 分
6. 基于规则的逆向演绎系统的初始综合数据库是＿。
A. 事实表达式的与或树
B. 目标公式的与或树
C. 与或树
D. 证明树
满分：4 分
7. 基于规则的逆向演绎系统的子集形式：＿。
A. 子句的合取式（合取范式）
B. 子句的析取式（析取范式）
C. 文字的析取式
D. 文字的合取式
满分：4 分
8. 基于规则的正向演绎系统的目标公式为＿。
A. 文字析取形
B. 任意形式
C. 子句的合取式
D. 文字合取形
专业答案:----
满分：4 分
9. 将结论的否定所对应的子句s在归结树中的位置，用重言式s ~s代替s，并参予归结树中所有的置换，所得到的树称为＿。
A. 归结树
B. 证明树
C. 修改证明树
D. 置换
专业答案:----
满分：4 分
10. 设有置换集S，首先根据S构造U1、U2两个表达式，其中U1由置换集S中的所有被置换的变量组成，U2由与U1中的变量所对应的置换项组成。当U1、U2可以合一时，它们的mgu就是该置换集的＿。
A. 合一复合
B. 一致置换
C. 一致解图
D. 合一者
正确答案:----
满分：4 分
北语17秋《人工智能导论》作业4答案标准满分答案
二、 判断题 (共 12 道试题,共 48 分)
1. 基于规则的逆向演绎系统的规则形式为L→W或L1∨L2→W（L为单文字，W为任意形式）
A. 错误
B. 正确
满分：4 分
2. 规则公式不以蕴涵形给出，是表示该问题领域的专门知识。
A. 错误
B. 正确
满分：4 分
3. EQ、EQL和EQUAL是三个判断相等的谓词函数，其区别是判断相等的"标准"不一样。
A. 错误
B. 正确
满分：4 分
4. 对基于规则的正向演绎系统，目标表达式中的"∧"号在与或树中表达为"与"的关系，"∨"号在与或树中表达为"或"的关系。
正确选项:----
A. 错误
B. 正确
满分：4 分
5. 人工智能是一门综合技术，所处理的问题非常广泛，因此任何一种语言都不可能对所有的问题处理起来都很灵活、方便，至于究竟使用哪种语言，应根据问题的性质来决定。
A. 错误
B. 正确
满分：4 分
6. 在逆向系统中，事实表达式限定为是文字的合取，并且进行了普通的Skolem化简，变量受全称量词约束。
A. 错误
B. 正确
满分：4 分
7. PROLOG中的表与LISP中的表，在概念上是一致的，且表示形式也完全相同。
A. 错误
B. 正确
满分：4 分
8. 当多次使用同一规则时，需要对规则中的变量进行换名，使得规则在不同的使用处，其变量名是不相同的。
A. 错误
B. 正确
满分：4 分
9. PROLOG属于逻辑程序设计语言，其理论基础是一阶谓词逻辑。
A. 错误
B. 正确
满分：4 分
10. 基于规则的演绎系统将类似于P→Q这样的蕴涵关系作为规则使用，直接用于推理，故这类方法又称为直接法。
A. 错误
B. 正确
满分：4 分
11. 置换集一致的充分必要条件是该置换集存在合一复合。
A. 错误
B. 正确
满分：4 分
