基于规则的正向演绎系统的子句形式:_。A、子句的合取式(合取范式)B、子句的析取式(析取范式)C、文字的析取式D、文字的合取式

第1题：

12、以下关于Horn子句的几种形式说法中，错误的是

A．规则子句用来表示推理规则：←b1∧b2∧b3∧…∧bn

B．无头子句用来表示待证目标集合： ←b1∧b2∧b3∧…∧bn

C．无体子句用来表示事实：a1←

D．以上全部错误

第2题：

以下关于Horn子句的几种形式说法中，错误的是

A．规则子句用来表示推理规则：←b1∧b2∧b3∧…∧bn

B．无头子句用来表示待证目标集合： ←b1∧b2∧b3∧…∧bn

C．无体子句用来表示事实：a1←

D．以上全部错误

第3题：

12、对于一阶谓词逻辑，若子句集是不可满足的，则必存在一个从该子句集到空子句的归结演绎。

第4题：

5、对于一阶谓词逻辑，若子句集是不可满足的，则必存在一个从该子句集到空子句的归结演绎。

第5题：

归结演绎推理中的限制策略是通过对参加归结的子句进行种种限制，尽可能减小归结的盲目性， 使其尽快的归结出亲本子句。