多项选择题
基于规则的正向演绎系统的使用条件（）
A.事实表达式是任意形式 B.规则形式为：L→W或L1∨L2→W，其中L为单文字，W为任意形式 C.目标公式为文字析取形 D.目标公式是任意形式
多项选择题 关于极小极大搜索方法，下列说法正确的是（）
单项选择题 下面哪个不是图搜索方式的特点（）
单项选择题 设置回溯点，就是设置（）
