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

题目内容（请给出正确答案）

基于规则的正向演绎系统的子句形式:_。

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

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

C、文字的析取式

D、文字的合取式

参考答案

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

查看答案

考题基于规则的逆向演绎系统的初始综合数据库是_。 A、事实表达式的与或树B、目标公式的与或树C、与或树D、证明树

查看答案

考题归结演绎推理中的删除策略是通过删除某些无用的子句来缩小归结的范围。

查看答案

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

查看答案

考题 12、以下关于Horn子句的几种形式说法中，错误的是A．规则子句用来表示推理规则：←b1∧b2∧b3∧…∧bnB．无头子句用来表示待证目标集合： ←b1∧b2∧b3∧…∧bnC．无体子句用来表示事实：a1←D．以上全部错误

查看答案

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

查看答案

考题以下关于Horn子句的几种形式说法中，错误的是A．规则子句用来表示推理规则：←b1∧b2∧b3∧…∧bnB．无头子句用来表示待证目标集合： ←b1∧b2∧b3∧…∧bnC．无体子句用来表示事实：a1←D．以上全部错误

查看答案

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

查看答案

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

查看答案

热门标签