判断题
错误(↓↓↓ 点击‘点击查看答案’看答案解析 ↓↓↓)
关于演绎系统的搜索策略的说法正确的是（）A.在寻找完所有解图之后，再判断解图的一致性。B.首先找一个任意解图，...
多项选择题关于演绎系统的搜索策略的说法正确的是（）
A.在寻找完所有解图之后，再判断解图的一致性。 B.首先找一个任意解图，再检验其一致性，看是否是一致解图。如果这个候选解图不一致，则继续搜索直到找到一个一致解图为止。 C.在扩展局部的候选解图前，就进行一致性的检验，修剪不一致的局部候选解图，致使效率提高。 D.建立规则连接图结构，从而提高系统的求解效率。
基于归结的问题求解方法的优点是（）A.无需专门的机理来实现算子的各种计算B.计算都是由定理证明程序中的演绎方法...
多项选择题基于归结的问题求解方法的优点是（）
A.无需专门的机理来实现算子的各种计算 B.计算都是由定理证明程序中的演绎方法来处理 C.求解过程简单 D.有用的启发信息不容易引入求解过程，且所需要的推理常识也都要以专门的公理形式给出各种关系的描述
合式公式常用的性质有（）A.摩根定律B.分配律C.结合律D.蕴涵式转化
多项选择题合式公式常用的性质有（）
A.摩根定律 B.分配律 C.结合律 D.蕴涵式转化
