判断题
归结方法将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
正确(↓↓↓ 点击‘点击查看答案’看答案解析 ↓↓↓)
判断题 扩展节点可使定义的隐含图生成为显式表示的状态空间图。
判断题 任何一个合适公式，都可以等价地转化为一个前束范式。
判断题 一般来说，置换是可交换的，即两个置换合成的结果与置换使用的次序无关。
