网友您好， 请在下方输入框内输入要搜索的题目：
题目内容
（请给出正确答案）
多选题
基于规则的逆向演绎系统对事实、规则和目标的化简过程（）
A
用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词的约束。
B
用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。
C
对规则的处理同（*）式。
D
用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。（*）
参考答案
参考解析
解析：
暂无解析
更多 “多选题基于规则的逆向演绎系统对事实、规则和目标的化简过程（）A用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词的约束。B用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。C对规则的处理同（*）式。D用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。（*）” 相关考题
考题
在基于规则分类器的中，依据规则质量的某种度量对规则排序，保证每一个测试记录都是由覆盖它的“最好的”规格来分类，这种方案称为（）A、基于类的排序方案B、基于规则的排序方案C、基于度量的排序方案D、基于规格的排序方案。
考题
判断题基于规则的逆向演绎系统是从目标出发，逆向使用规则对目标表达式的与或图进行变换，直到找到一个含有事实节点的一致解图为止。A
对B
错
热门标签
最新试卷