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