框架是用于描述具有固定的静态对象的通用数据结构，但是也可以描述某些简单的动态对象。

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

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

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

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

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

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