判断题 ‌归结反演过程中归结不出空子句就认为结论不成立。

判断题 ‌自然演推理就是将事实运用推理规则最终得出结论的过程。

判断题 负极大值评估法中父节点的值是各个子节点的负数的极小值。