搜索的类型按是否使用启发式信息，包括（）等。

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

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

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

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

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

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