北语网院16春《人工智能导论》作业4
北语网院16春《人工智能导论》作业4题号:1题型:单选题（请在以下几个选项中选择唯一正确答案）本题分数:5
内容:基于规则的正向演绎系统的的子集形式：＿。
a、子句的合取式（合取范式）
b、子句的析取式（析取范式）
c、文字的析取式
d、文字的合取式
题号:2题型:单选题（请在以下几个选项中选择唯一正确答案）本题分数:5
内容:将结论的否定所对应的子句s在归结树中的位置，用重言式s ~s代替s，并参予归结树中所有的置换，所得到的树称为＿。
a、归结树
b、证明树
c、修改证明树
d、置换
题号:3题型:单选题（请在以下几个选项中选择唯一正确答案）本题分数:5
内容:设有置换集S，首先根据S构造U1、U2两个表达式，其中U1由置换集S中的所有被置换的变量组成，U2由与U1中的变量所对应的置换项组成。当U1、U2可以合一时，它们的mgu就是该置换集的＿。
a、合一复合
b、一致置换
c、一致解图
d、合一者
题号:4题型:单选题（请在以下几个选项中选择唯一正确答案）本题分数:5
内容:基于规则的逆向演绎系统的子句形式：＿。
a、子句的合取式（合取范式）
b、子句的析取式（析取范式）
c、文字的析取式
d、文字的合取式
题号:5题型:单选题（请在以下几个选项中选择唯一正确答案）本题分数:5
内容:基于规则的正向演绎系统的初始综合数据库是＿。
a、事实表达式的与或树
b、目标公式的与或树
c、与或树
d、证明树
题号:6题型:单选题（请在以下几个选项中选择唯一正确答案）本题分数:5
内容:基于规则的逆向演绎系统的子集形式：＿。
a、子句的合取式（合取范式）
b、子句的析取式（析取范式）
c、文字的析取式
d、文字的合取式
题号:7题型:单选题（请在以下几个选项中选择唯一正确答案）本题分数:5
内容:基于规则的正向演绎系统的子句形式：＿。
a、子句的合取式（合取范式）
b、子句的析取式（析取范式）
c、文字的析取式
d、文字的合取式
题号:8题型:单选题（请在以下几个选项中选择唯一正确答案）本题分数:5
内容:基于规则的正向演绎系统的目标公式为＿。
a、文字析取形
b、任意形式
c、子句的合取式
d、文字合取形
题号:9题型:单选题（请在以下几个选项中选择唯一正确答案）本题分数:5
内容:基于规则的逆向演绎系统的初始综合数据库是＿。
a、事实表达式的与或树
b、目标公式的与或树
c、与或树
题号:10题型:单选题（请在以下几个选项中选择唯一正确答案）本题分数:5
内容:在公式（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）
题号:11题型:是非题本题分数:5
内容:当多次使用同一规则时，需要对规则中的变量进行换名，使得规则在不同的使用处，其变量名是不相同的。
1、 错
2、 对
题号:12题型:是非题本题分数:5
内容:置换集一致的充分必要条件是该置换集存在合一复合。
1、 错
2、 对
题号:13题型:是非题本题分数:5
内容:将归结过程用树的形式表示出来，称为归结树。归结树又可以称为证明树。
1、 错
2、 对
题号:14题型:是非题本题分数:5
内容:在逆向系统中，事实表达式限定为是文字的合取，并且进行了普通的Skolem化简，变量受全称量词约束。
1、 错
2、 对
题号:15题型:是非题本题分数:5
内容:基于规则的正向演绎系统，就是不断的对与或图施以规则变换，直到找到一个解图，该解图中的所有叶节点全部都与目标公式中的文字匹配为止。
1、 错
2、 对
题号:16题型:是非题本题分数:5
内容:PROLOG系统的基本求解策略是：从上到下，从左到右，深度优先。
1、 错
2、 对
题号:17题型:是非题本题分数:5
内容:无论是正向系统还是逆向系统，其目标都是从众多的解图中，找一个一致解图。
1、 错
2、 对
题号:18题型:是非题本题分数:5
内容:PROLOG属于逻辑程序设计语言，其理论基础是一阶谓词逻辑。
1、 错
2、 对
题号:19题型:是非题本题分数:5
内容:在LISP语言中，所有的函数都以前缀的形式用表表示。也就是说，表的第一个元素是函数名，其他元素是该函数的参量。
1、 错
2、 对
题号:20题型:是非题本题分数:5
内容:基于规则的演绎系统将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
1、 错
2、 对
页:
[1]