多项选择题
基于归结的问题求解方法的优点是（）
A.无需专门的机理来实现算子的各种计算 B.计算都是由定理证明程序中的演绎方法来处理 C.求解过程简单 D.有用的启发信息不容易引入求解过程，且所需要的推理常识也都要以专门的公理形式给出各种关系的描述
多项选择题 合式公式常用的性质有（）
多项选择题 基于规则的正向演绎系统的使用条件（）
多项选择题 关于极小极大搜索方法，下列说法正确的是（）
