从初始节点S0开始，搜索其一个子节点，如果该子节点不是目标节点且可以扩展，则扩展并搜索该子节点，以此类推搜索，直到某个子节点既不是目标节点，又不能继续扩展时，才选择其兄弟节点进行搜索。这种搜索策略属于（）优先搜索。

搜索的类型按是否使用启发式信息，包括（）等。A.随机搜索B.盲目搜索C.启发式搜索

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

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

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

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

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