基于规则的逆向演绎系统是从目标出发，逆向使用规则对目标表达式的与或图进行变换，直到找到一个

基于规则的逆向演绎系统的规则形式为L→W或L1∨L2→W(L为单文字，W为任意形式。()

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

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

C.对规则的处理同(*)式。

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

A.子句的合取式(合取范式)

B.子句的析取式(析取范式)

C.文字的析取式

D.文字的合取式

A.在用与或图表示目标表达式时，目标表达式中的"与""或"关系，和与或图中的"与""或"关系是相反的。

B.目标表达式中的"∧"号在与或树中表达为"或"的关系，"∨"号在与或树中表达为"与"的关系。

C.在用与或图表示目标表达式时，目标表达式中的"与""或"关系，和与或图中的"与""或"关系是一致的。

D.目标表达式中的"∧"号在与或树中表达为"与"的关系，"∨"号在与或树中表达为"或"的关系。

正向演绎系统是从事实表达式出发，通过正向匹配应用规则进行推理，直到推出目标表达式。()

A.正向推理

B.逆向推理

C.逻辑推理

D.匹配推理

A.爬山法

B.逆向工作法

C.手段-目的分析法

D.尝试错误法

A.爬山法

B.逆向工作法

C.手段一目的分析法

D.尝试错误法