8.??当多次使用同一规则时，需要对规则中的变量进行换名，使得规则在不同的使用处，其变量名是不相同的。 A. 错误 B. 正确 ...

3.??EQ、EQL和EQUAL是三个判断相等的谓词函数，其区别是判断相等的"标准"不一样。 A. 错误 B. 正确 ...

8.??基于规则的正向演绎系统的目标公式为＿。 A. 文字析取形 B. 任意形式 C. 子句的合取式 D. 文字合取形 ...

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

12.??任何一个合适公式，都可以等价地转化为一个前束范式。 A. 错误 B. 正确 ...

7.??归结方法将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。 A. 错误 B. 正确 ...

2.??β剪枝是指若任一极大值层节点的α值大于或等于它任一先辈极小值层节点的β值，即α（后继层）≥β（先辈层），则可以中止该极大值层中这个MAX节点以下的搜索过程。这个MAX节点的最终倒推值就确定为这个α值。 A. 错误 B. 正确 ...

7.??对于子句C1∨L1和C2∨L2，其中L1、L2是单文字。如果L1与～L2可合一，且s是其合一者，则(C1∨C2)s是其＿式。这一过程称作＿。 A. 置换 置换 B. 合一 合一 C. 归结 归结 D. 递归 递归 ...

2.??在搜索解图的过程中，若解图的耗散值记为k（n，N），则若n是N的一个元素，则k（n，N）＝ 。 A. n B. N C. N-n D. 0 ...

12.??在回溯策略中，可以通过引入一些与问题有关的信息来加快搜索到解的速度，如皇后问题。 A. 错误 B. 正确 ...