下载APP
【单选题】
在基于规则的正向演绎系统中,把事实表示为()
A.
IF-THEN规则
B.
子句形
C.
非蕴涵形式的与或形
D.
与或形
题目标签:
基于规则
演绎系统
实表示
举报
如何制作自己的在线小题库
参考答案:
参考解析:
刷刷题刷刷变学霸
举一反三
【单选题】基于规则的正向演绎系统的的子集形式()
A.
子句的合取式(合取范式)
B.
子句的析取式(析取范式)
C.
文字的析取式
D.
文字的合取式
查看完整题目与答案
【填空题】基于规则的演绎系统主要有()、()和()
查看完整题目与答案
【简答题】基于规则的演绎系统主要有()、()和()
查看完整题目与答案
【单选题】命题演算的公理系统L与命题演算的自然演绎系统C相比:
A.
L系统的定理集更大
B.
C系统的定理集更大
C.
二者的定理集相同
D.
二者的定理集互不相干
查看完整题目与答案
【简答题】简述基于规则的正向演绎系统的使用条件。
查看完整题目与答案
【多选题】基于规则的逆向演绎系统的使用条件()
A.
事实表达式是文字合取形式
B.
事实表达式是任意形式
C.
规则形式为:W→L或W→L1∧L2其中L为单文字,W为任意形式。
D.
目标公式是任意形式
查看完整题目与答案
【单选题】基于规则的逆向演绎系统的子句形式:_。
A.
子句的合取式(合取范式)
B.
子句的析取式(析取范式)
C.
文字的析取式
D.
文字的合取式
查看完整题目与答案
【单选题】基于规则的正向演绎系统的子句形式()
A.
子句的合取式(合取范式)
B.
子句的析取式(析取范式)
C.
文字的析取式
D.
文字的合取式
查看完整题目与答案
【单选题】基于规则的正向演绎系统的子句形式:_。
A.
子句的合取式(合取范式)
B.
子句的析取式(析取范式)
C.
文字的析取式
D.
文字的合取式
查看完整题目与答案
【简答题】命题演算的公理系统L与命题演算的自然演绎系统C相比:
查看完整题目与答案