相关考题
-
单项选择题
下列关于自然演绎推理的说法，错误的是（）
A.表达定理证明过程自然，易理解
B.拥有丰富的推理规则，推理过程灵活
C.便于嵌入领域启发式知识
D.不易产生组合爆炸，得到的中间结论一般递增缓慢 -
单项选择题
只要有一个子句不可满足，则子句集就不可满足。子句集中子句之间是（）关系。
A.合取
B.析取
C.相反
D.否定 -
单项选择题
需要使用冲突消解策略的是下列哪种情况（）
A.恰好匹配成功
B.不能匹配成功
C.多种匹配成功
D.以上皆不是
