基于规则的正向演绎系统的子句形式:_。 A、子句的合取式(合取范式)B、子句的析取式(析取范式)C、文字的析取式D、文字的合取式
基于规则的正向演绎系统的子句形式:_。
A、子句的合取式(合取范式)
B、子句的析取式(析取范式)
C、文字的析取式
D、文字的合取式
相关考题：
12、以下关于Horn子句的几种形式说法中，错误的是A．规则子句用来表示推理规则：←b1∧b2∧b3∧…∧bnB．无头子句用来表示待证目标集合： ←b1∧b2∧b3∧…∧bnC．无体子句用来表示事实：a1←D．以上全部错误
以下关于Horn子句的几种形式说法中，错误的是A．规则子句用来表示推理规则：←b1∧b2∧b3∧…∧bnB．无头子句用来表示待证目标集合： ←b1∧b2∧b3∧…∧bnC．无体子句用来表示事实：a1←D．以上全部错误
12、对于一阶谓词逻辑，若子句集是不可满足的，则必存在一个从该子句集到空子句的归结演绎。