网友您好， 请在下方输入框内输入要搜索的题目：
题目内容
（请给出正确答案）
基于规则的演绎系统将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
参考答案
更多 “基于规则的演绎系统将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。” 相关考题
考题
基于规则的逆向演绎系统对事实、规则和目标的化简过程（）A、用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词的约束。B、用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。C、对规则的处理同（*）式。D、用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。（*）
考题
填空题设P是谓词公式，对于P的任何论域，存在P为真的情况，则称P为（）。
热门标签
最新试卷