试题详情
多项选择题基于规则的逆向演绎系统对事实、规则和目标的化简过程（）

A、用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词的约束。

B、用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。

C、对规则的处理同（*）式。

D、用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。（*）

  • 关注下方微信公众号，在线模考后查看

热门试题