6.在逆向系统中，事实表达式限定为是文字的合取，并且进行了普通的Skolem化简，变量受全称量词约束。 A. 错误 B. 正确 ...

10.设有置换集S，首先根据S构造U1、U2两个表达式，其中U1由置换集S中的所有被置换的变量组成，U2由与U1中的变量所对应的置换项组成。当U1、U2可以合一时，它们的mgu就是该置换集的＿。 A. 合一复合 B. 一致置换 C. 一致解图 D. 合一者 ...

4.基于规则的逆向演绎系统的子句形式：＿。 A. 子句的合取式（合取范式） B. 子句的析取式（析取范式） C. 文字的析取式 D. 文字的合取式 ...

1.基于归结法的问题提取回答的过程：＿。 A. 先用归结法证明结论成立，并画出归结树 B. 找出结论的否定所对应的子句s在归结树中的位置，用重言式s ~s代替s，并参予归结树中所有的置换，得到修改证明树 C. 在原来归结树中空子句所在位置得到一个...

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

1.归结方法的特点是简单，易于程序实现。 A. 错误 B. 正确 ...

5.在九宫格棋盘上，两位选手轮流在棋盘上摆各自的棋子（每次一枚），谁先取得三子一线的结果就取胜。设程序方MAX的棋子用（×）表示，对手MIN的棋子用（○）表示，MAX先走。静态估计函数f（p）规定如下：若p对任何一方来说都不是获胜的格局，则f（p）＝（所有...

2.递归过程BACKTRACK1（DATALIST）比递归过程BACKTRACK（DATA）增加的回溯点是：＿。 A. 有环路出现，过程返回FAIL，必须回溯。 B. 状态不合法，则过程返回FAIL，必须回溯。 C. 当搜索深度大于给定值BOUND时，则过程返回FAIL，必须回溯。 D...

8.在A*算法结束之前，OPEN表中任何满足f(n)<f*(s)的节点n，一定被扩展。 A. 错误 B. 正确 ...

2.若h(n)满足单调限制条件，则A*扩展了节点n之后，就已经找到了到达节点n的最佳路径。 A. 错误 B. 正确 ...