B: h(n)=0 C: h(n)=W(n) D: h(n)=P(n) 标准答题:
(单选题)7: 将结论的否定所对应的子句s在归结树中的位置，用重言式s ~s代替s，并参予归结树中所有的置换，所得到的树称为＿。 A: 归结树 B: 证明树 C: 修改证明树 D: 置换 标准答题:
(单选题)8: 若存在一个置换s使得表达式集{Ei}中每个元素经置换后的例有：E1s＝E2s＝E3s＝…，则称表达式集{Ei}是可＿的，这个置换s称作{Ei}的＿者。 A: 置换 置换 B: 合一 合一 C: 归结 归结 D: 递归 递归 标准答题:
(单选题)9: 一组＿相当于系统的知识库，它采用\前件> THEN <后件>\的形式，来表达求解问题所需要的知识。 A: 数据库
B: 产生式规则集 C: 控制系统 D: 综合数据库 标准答题:
(单选题)10: 对于五城市旅行商问题，求从A出发经B、C、D、E再回到A的最短路径。如果用s表示当前状态，L(s)表示已经走过的城市数，Goto(x)表示走向城市x，则其规则可以表示为：1，IF L(s)=5 THEN Goto(A)；2，IF L(s)<5 THEN Goto(B)；3，IF L(s)<5 THEN Goto(C)；4，IF L(s)<5 THEN Goto(D)；5，IF L(s)<5 THEN Goto(E)。若(A)为初始状态，则目标状态为＿。 A: (AA)
B: (A××××A) C: (A××A) D: (A××××) 标准答题:
(判断题)11: 正向演绎系统是从事实表达式出发，通过正向匹配应用规则进行推理，直到推出目标表达式。 A: 错误 B: 正确
标准答题:
(判断题)12: 简单的BACKTRACK过程设置四个以上回溯点，可用于求解N－皇后这类性质的问题。 A: 错误 B: 正确 标准答题:
(判断题)13: 将归结过程用树的形式表示出来，称为归结树。归结树又可以称为证明树。 A: 错误 B: 正确 标准答题:
(判断题)14: 在出现相同的f值时，A算法并没有规定首先扩展哪个节点，可以任意选择其中的一个节点首先扩展。 A: 错误 B: 正确 标准答题:
(判断题)15: 一条路径的耗散值等于连接这条路径各节点间所有弧线耗散值的总和。 A: 错误 B: 正确 标准答题:
(判断题)16: A*选作扩展的任一节点n，有f(n)≤f*(s)。 A: 错误 B: 正确 标准答题:
(判断题)17: 当一个规则的前件被综合数据库中的数据满足时，该规则称为被触发规则。 A: 错误 B: 正确 标准答题:
(判断题)18: 基于规则的正向演绎系统的事实表达式是文字合取形式。 A: 错误 B: 正确 标准答题:
(判断题)19: 从可触发规则中选择一个规则来执行，被执行的规则称为被触发规则。 A: 错误 B: 正确 标准答题:
(判断题)20: 普通图的搜索表现为从初始节点到目标节点的解路径，而在与或图中表现为一个解图。 A: 错误 B: 正确 标准答题:
(判断题)21: 由于规则之间是相互独立的，因此一般来说，问题的求解与规则的排列顺序无关。 A: 错误 B: 正确 标准答题:
(判断题)22: 一般人工智能系统所用到的知识分为三种类型：陈述知识、过程知识和控制知识。 A: 错误 B: 正确 标准答题:
(多选题)23: 在基于规则的逆向演绎系统中，如何用与或树表示目标表达式？＿。
A: 在用与或图表示目标表达式时，目标表达式中的\与\或\关系，和与或图中的\与\或\关系是相反的。
B: 目标表达式中的\∧\号在与或树中表达为\或\的关系，\∨\号在与或树中表达为\与\的关系。
C: 在用与或图表示目标表达式时，目标表达式中的\与\或\关系，和与或图中的\与\或\关系是一致的。
D: 目标表达式中的\∧\号在与或树中表达为\与\的关系，\∨\号在与或树中表达为\或\的关系。
标准答题:
(多选题)24: 可交换的产生式系统具有如下的特征：＿。 A: 问题的求解与规则的使用次序无关。
B: 就是从已知数据出发，一步步应用规则，一直到推出结论。
C: 规则的使用次序只可能影响到求解的效率，不影响是否能得到问题的解。 D: 可以分解为几个子问题，当子问题得以求解时，则原始问题被求解。 标准答题:
(多选题)25: 基于规则的逆向演绎系统对事实、规则和目标的化简过程：＿。
A: 用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词的约束。 B: 用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。 C: 对规则的处理同（*）式。
D: 用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。（*） 标准答题: