多项选择题
A.无需专门的机理来实现算子的各种计算 B.计算都是由定理证明程序中的演绎方法来处理 C.求解过程简单 D.有用的启发信息不容易引入求解过程，且所需要的推理常识也都要以专门的公理形式给出各种关系的描述
合式公式常用的性质有（）A.摩根定律B.分配律C.结合律D.蕴涵式转化
多项选择题合式公式常用的性质有（）
A.摩根定律 B.分配律 C.结合律 D.蕴涵式转化
基于规则的正向演绎系统的使用条件（）A.事实表达式是任意形式B.规则形式为：L→W或L1∨L2→W，其中L为单...
多项选择题基于规则的正向演绎系统的使用条件（）
A.事实表达式是任意形式 B.规则形式为：L→W或L1∨L2→W，其中L为单文字，W为任意形式 C.目标公式为文字析取形 D.目标公式是任意形式
关于极小极大搜索方法，下列说法正确的是（）A.当轮到我方走棋时，首先按照一定的搜索深度生成出给定深度d以内的所...
多项选择题关于极小极大搜索方法，下列说法正确的是（）
A.当轮到我方走棋时，首先按照一定的搜索深度生成出给定深度d以内的所有状态，计算所有叶节点的评价函数值。 B.然后从d-1层节点开始逆向计算。 C.对于我方要走的极大节点取其子节点中的最大值为该节点的值 D.对于对方要走的极小节点取其子节点中的最小值为该节点的值。 E.一直到计算出根节点的值为止，获得根节点取值的那一分枝，即为所选择的最佳走步。
