判断题
基于规则的演绎系统将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
错误(↓↓↓ 点击‘点击查看答案’看答案解析 ↓↓↓)
多项选择题 关于演绎系统的搜索策略的说法正确的是（）
多项选择题 基于归结的问题求解方法的优点是（）
多项选择题 合式公式常用的性质有（）
