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

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

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