单项选择题
A.IF-THEN规则B.子句形C.非蕴涵形式的与或形D.与或形
运用消解推理规则的前提是（）A.被作用的两个公式都是合取范式B.被作用的两个子句中存在互补对C.任意两个公式都...
单项选择题运用消解推理规则的前提是（）
A.被作用的两个公式都是合取范式B.被作用的两个子句中存在互补对C.任意两个公式都可以运用消解推理D.必须符合假言推理合并重言式空子句（矛盾）或链式（三段论）之一
宽度优先搜索方法能够保证在搜索树中找到一条通向目标节点的（）途径。A.可行B.最短C.最长D.解答
单项选择题宽度优先搜索方法能够保证在搜索树中找到一条通向目标节点的（）途径。
A.可行B.最短C.最长D.解答
如果重排OPEN表是依据f（x）=g（x）+h（x）进行的，则称该过程为（）A.A算法B.A*算法C.有序搜索...
单项选择题如果重排OPEN表是依据f（x）=g（x）+h（x）进行的，则称该过程为（）
A.A算法B.A*算法C.有序搜索D.启发式搜索
