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

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

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