多项选择题
基于规则的逆向演绎系统对事实、规则和目标的化简过程（）
A.用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词的约束。 B.用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。 C.对规则的处理同（*）式。 D.用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。（*）
多项选择题 基于规则的逆向演绎系统的使用条件（）
多项选择题 产生式系统的特点可以概括为（）
多项选择题 高效能的人工智能系统需要问题领域的知识，通常可把这些知识细分为以下几种基本类别（）
