判断题

对于一阶谓词逻辑，若子句集是不可满足的，则必存在一个从该子句集到空子句的归结演绎。

答案：正确

你可能感兴趣的试题

对于一阶谓词逻辑，如果没有归结出空子句，则说明原谓词公式是不可满足的。

答案：错误

单项选择题

在启发式图搜索策略中，下面描述正确的是（）。

A.open表用于存放已扩展过的节点。
B.open表用于存放所有已生成的节点。
C.closed表表用于存放所有已生成而未扩展的节点。
D.closed表用于存放已扩展过的节点。