北语16秋《人工智能导论》作业4
北语16秋《人工智能导论》作业4一、单选题：
1.在公式（v）（Q（v，u）∧~（（R（v）∨P（v））∧S（u，v）））中，Q（v，u）是一个主合取元，是另一个主合取元。 (满分:4)
A. （R（v）∨P（v））∧S（u，v）
B. S（u，v）
C. （R（v）∨P（v））
D. R（v）
2.基于规则的逆向演绎系统的子句形式：＿。 (满分:4)
A. 子句的合取式（合取范式）
B. 子句的析取式（析取范式）
C. 文字的析取式
D. 文字的合取式
3.基于规则的正向演绎系统的目标公式为＿。 (满分:4)
A. 文字析取形
B. 任意形式
C. 子句的合取式
D. 文字合取形
4.基于规则的正向演绎系统的子句形式：＿。 (满分:4)
A. 子句的合取式（合取范式）
B. 子句的析取式（析取范式）
C. 文字的析取式
D. 文字的合取式
5.将结论的否定所对应的子句s在归结树中的位置，用重言式s ~s代替s，并参予归结树中所有的置换，所得到的树称为＿。 (满分:4)
A. 归结树
B. 证明树
C. 修改证明树
D. 置换
6.设有置换集S，首先根据S构造U1、U2两个表达式，其中U1由置换集S中的所有被置换的变量组成，U2由与U1中的变量所对应的置换项组成。当U1、U2可以合一时，它们的mgu就是该置换集的＿。 (满分:4)
A. 合一复合
B. 一致置换
C. 一致解图
D. 合一者
7.基于规则的正向演绎系统的初始综合数据库是＿。 (满分:4)
A. 事实表达式的与或树
B. 目标公式的与或树
C. 与或树
D. 证明树
8.基于规则的正向演绎系统的的子集形式：＿。 (满分:4)
A. 子句的合取式（合取范式）
B. 子句的析取式（析取范式）
C. 文字的析取式
D. 文字的合取式
9.基于规则的逆向演绎系统的初始综合数据库是＿。 (满分:4)
A. 事实表达式的与或树
B. 目标公式的与或树
C. 与或树
D. 证明树
10.基于规则的逆向演绎系统的子集形式：＿。 (满分:4)
A. 子句的合取式（合取范式）
B. 子句的析取式（析取范式）
C. 文字的析取式
D. 文字的合取式
二、多选题：
1.无论是正向系统还是逆向系统，其目标都是从众多的解图中，找一个一致解图。 (满分:4)
A. 错误
B. 正确
2.在LISP语言中，所有的函数都以前缀的形式用表表示。也就是说，表的第一个元素是函数名，其他元素是该函数的参量。 (满分:4)
A. 错误
B. 正确
3.基于规则的逆向演绎系统是从目标出发，逆向使用规则对目标表达式的与或图进行变换，直到找到一个含有事实节点的一致解图为止。 (满分:4)
A. 错误
B. 正确
三、判断题：
4.置换集一致的充分必要条件是该置换集存在合一复合。 (满分:4)
A. 错误
B. 正确
5.规则公式不以蕴涵形给出，是表示该问题领域的专门知识。 (满分:4)
A. 错误
B. 正确
6.EQ、EQL和EQUAL是三个判断相等的谓词函数，其区别是判断相等的"标准"不一样。 (满分:4)
A. 错误
B. 正确
7.PROLOG属于逻辑程序设计语言，其理论基础是一阶谓词逻辑。 (满分:4)
A. 错误
B. 正确
8.将归结过程用树的形式表示出来，称为归结树。归结树又可以称为证明树。 (满分:4)
A. 错误
B. 正确
9.基于规则的逆向演绎系统的规则形式为L→W或L1∨L2→W（L为单文字，W为任意形式） (满分:4)
A. 错误
B. 正确
10.PROLOG系统的基本求解策略是：从上到下，从左到右，深度优先。 (满分:4)
A. 错误
B. 正确
11.人工智能是一门综合技术，所处理的问题非常广泛，因此任何一种语言都不可能对所有的问题处理起来都很灵活、方便，至于究竟使用哪种语言，应根据问题的性质来决定。 (满分:4)
A. 错误
B. 正确
12.当一个解图中所有涉及的置换构成的置换集是一致的时，该解图称为一致解图。 (满分:4)
A. 错误
B. 正确
1.关于演绎系统的搜索策略的说法正确的是：＿。 (满分:4)
A. 在寻找完所有解图之后，再判断解图的一致性。
B. 首先找一个任意解图，再检验其一致性，看是否是一致解图。如果这个候选解图不一致，则继续搜索直到找到一个一致解图为止。
C. 在扩展局部的候选解图前，就进行一致性的检验，修剪不一致的局部候选解图，致使效率提高。
D. 建立规则连接图结构，从而提高系统的求解效率。
2.关于演绎系统的搜索策略的说法正确的是：＿。 (满分:4)
A. 在寻找完所有解图之后，再判断解图的一致性。
B. 首先找一个任意解图，再检验其一致性，看是否是一致解图。如果这个候选解图不一致，则继续搜索直到找到一个一致解图为止。
C. 在扩展局部的候选解图前，就进行一致性的检验，修剪不一致的局部候选解图，致使效率提高。
D. 建立规则连接图结构，从而提高系统的求解效率。
3.在基于规则的逆向演绎系统中，如何用与或树表示目标表达式？＿。 (满分:4)
A. 在用与或图表示目标表达式时，目标表达式中的"与""或"关系，和与或图中的"与""或"关系是相反的。
B. 目标表达式中的"∧"号在与或树中表达为"或"的关系，"∨"号在与或树中表达为"与"的关系。
C. 在用与或图表示目标表达式时，目标表达式中的"与""或"关系，和与或图中的"与""或"关系是一致的。
D. 目标表达式中的"∧"号在与或树中表达为"与"的关系，"∨"号在与或树中表达为"或"的关系。
**** Hidden Message *****
页:
[1]