判断题 不确定性推理是建立在经典逻辑基础上的一种推理，它是对不确定性知识的运用和处理。

判断题 命题逻辑无法把它所描述的客观事物的结构及逻辑特征反映出来，也不能把不同事物间的共同特征表述出来。

判断题 鲁宾逊归结原理中空子句是不可满足的，若一个子句集包含空子句集，则这个子句集一定是不可满足的。