基于规则的逆向演绎系统对事实、规则和目标的化简过程（）A、用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词的约束。B、用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。C、对规则的处理同（*）式。D、用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。（*）
基于规则的逆向演绎系统对事实、规则和目标的化简过程（）
- A、用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词的约束。
- B、用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。
- C、对规则的处理同（*）式。
- D、用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。（*）
相关考题：
求取子句集的步骤包括以下步骤:消去“蕴含”连结词、减少“非”连结词的辖域、对变量标准化、消去存在量词、化成前束范式、将母式化成合取范式、消去全称量词、消去合取连结词。() 此题为判断题(对，错)。
在公式中yxp(x,y)),存在量词是在全称量词的辖域内,我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义,它把每个y值映射到存在的那个x。这种函数叫做() A.依赖函数B.Skolem函数C.决定函数D.多元函数
求取子句集的步骤包括以下步骤,（）、化成前束范式、将母式化成合取范式、消去全称量词、消去合取连结词、更改变量名。A、消去“蕴含”连结词B、减少“非”连结词的辖域C、对变量标准化D、消去存在量词
在公式中yxP（x，y），存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（）A、依赖函数B、Skolem函数C、决定函数D、多元函数
单选题在公式中yxP（x，y），存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（）A依赖函数BSkolem函数C决定函数D多元函数
多选题求取子句集的步骤包括以下步骤：消去“蕴含”连结词、减少“非”连结词的辖域、对变量标准化、消去存在量词、化成前束范式、（）。A将母式化成合取范式B消去全称量词C消去合取连结词D更改变量名
单选题关于数量词，下列说法不正确的是（）A数量词的主要语法功能是修饰名词B数量词修饰名词一般不带“的”C数量词是体词，所以不能作谓语D临时量词原来是名词，所以可以受形容词或名词修饰