2.基于规则的正向演绎系统对事实、规则和目标的化简过程：＿。
A. 用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。（*）
B. 对规则的处理同（*）式。
C. 用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词约束。
D. 用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。
(责任编辑：admin)要这答案加QQ：800020900 或加微信：vq800020900 获取
