单项选择题
运用消解推理规则的前提是（）
A.被作用的两个公式都是合取范式
B.被作用的两个子句中存在互补对
C.任意两个公式都可以运用消解推理
D.必须符合假言推理合并重言式空子句（矛盾）或链式（三段论）之一
点击查看答案&解析
相关考题
-
单项选择题
宽度优先搜索方法能够保证在搜索树中找到一条通向目标节点的（）途径。
A.可行
B.最短
C.最长
D.解答 -
单项选择题
如果重排OPEN表是依据f（x）=g（x）+h（x）进行的，则称该过程为（）
A.A算法
B.A*算法
C.有序搜索
D.启发式搜索 -
单项选择题
启发式搜索中通常OPEN表上的节点按照它们f函数值的（）顺序排列。
A.最小
B.平均值
C.递增
D.递减
