基于规则的正向演绎系统的事实表达式是文字合取形式。（)

A.事实表达式的与或树

B.目标公式的与或树

C.与或树

D.证明树

A.正向与反向两种求解技术，来得到一种图解的推理方法

B.规则正向演绎推理来求出目标表达式，是得到文字的析取式

C.规则反向演绎推理来求事实表达式，是得到文字的合取式

D.正向与反向两种求解技术，来得到一种文字的范式

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

A.文字析取形

B.任意形式

C.子句的合取式

D.文字合取形

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

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

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

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

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

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

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

C.文字的析取式

D.文字的合取式