消解原理是将两个子句中一对互补的文字消掉，形成新的子句。

问题归约知识表示方法的特点是针对主目标逐层去找出关键子目标。

判断题问题归约知识表示方法的特点是针对主目标逐层去找出关键子目标。

在机器学习方法中有一种学习方法叫归纳学习。

判断题在机器学习方法中有一种学习方法叫归纳学习。

正向规则演绎推理中，事实的与或形图的根节点在下方。

判断题正向规则演绎推理中，事实的与或形图的根节点在下方。