（多选题）
基于规则的逆向演绎系统对事实、规则和目标的化简过程（）
A用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词的约束。
B用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。
C对规则的处理同（*）式。
D用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。（*）
正确答案
答案解析
略
相似试题
（判断题）
基于规则的逆向演绎系统是从目标出发，逆向使用规则对目标表达式的与或图进行变换，直到找到一个含有事实节点的一致解图为止。
（多选题）
基于规则的逆向演绎系统的使用条件（）
（单选题）
基于规则的逆向演绎系统的初始综合数据库是（）
（判断题）
对基于规则的正向演绎系统，目标表达式中的"∧"号在与或树中表达为"与"的关系，"∨"号在与或树中表达为"或"的关系。
（填空题）
基于规则的演绎系统主要有（）、（）和（）
（单选题）
基于规则的正向演绎系统的子句形式（）
（多选题）
基于规则的正向演绎系统的使用条件（）
（单选题）
基于规则的正向演绎系统的的子集形式（）
（判断题）
基于规则的演绎系统将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
