你可能喜欢
判断题
多项选择题
A.在寻找完所有解图之后,再判断解图的一致性。
B.首先找一个任意解图,再检验其一致性,看是否是一致解图。如果这个候选解图不一致,则继续搜索直到找到一个一致解图为止。
C.在扩展局部的候选解图前,就进行一致性的检验,修剪不一致的局部候选解图,致使效率提高。
D.建立规则连接图结构,从而提高系统的求解效率。
多项选择题
A.无需专门的机理来实现算子的各种计算
B.计算都是由定理证明程序中的演绎方法来处理
C.求解过程简单
D.有用的启发信息不容易引入求解过程,且所需要的推理常识也都要以专门的公理形式给出各种关系的描述