正确答案: ABCD

消去“蕴含”连结词 减少“非”连结词的辖域 对变量标准化 消去存在量词

题目：求取子句集的步骤包括以下步骤,（）、化成前束范式、将母式化成合取范式、消去全称量词、消去合取连结词、更改变量名。

查看原题 查看所有试题

学习资料的答案和解析：

[单选题]已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这是知识表示法叫（）

[单选题]产生式系统的推理不包括（）

[单选题]在主观Bayes方法中，证据E支持结论H时，有（）。

LS>1