A.在寻找完所有解图之后，再判断解图的一致性。
B.首先找一个任意解图，再检验其一致性，看是否是一致解图。如果这个候选解图不一致，则继续搜索直到找到一个一致解图为止。
C.在扩展局部的候选解图前，就进行一致性的检验，修剪不一致的局部候选解图，致使效率提高。
D.建立规则连接图结构，从而提高系统的求解效率。

A.无需专门的机理来实现算子的各种计算
B.计算都是由定理证明程序中的演绎方法来处理
C.求解过程简单
D.有用的启发信息不容易引入求解过程，且所需要的推理常识也都要以专门的公理形式给出各种关系的描述

A.摩根定律
B.分配律
C.结合律
D.蕴涵式转化

A.事实表达式是任意形式
B.规则形式为：L→W或L1∨L2→W，其中L为单文字，W为任意形式
C.目标公式为文字析取形
D.目标公式是任意形式

A.当轮到我方走棋时，首先按照一定的搜索深度生成出给定深度d以内的所有状态，计算所有叶节点的评价函数值。
B.然后从d-1层节点开始逆向计算。
C.对于我方要走的极大节点取其子节点中的最大值为该节点的值
D.对于对方要走的极小节点取其子节点中的最小值为该节点的值。
E.一直到计算出根节点的值为止，获得根节点取值的那一分枝，即为所选择的最佳走步。