求取子句集的步骤包括以下步骤,（）、化成前束范式、将母式化成

【名词&注释】

标准化(standardization)、合取范式(conjunctive normal form)、问题归约法(problem reduction approach)

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

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

查看答案&解析 查看所有试题

学习资料：

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

A. A.状态空间法B.问题归约法C.谓词逻辑法D.语义网络法

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

A. A.正向推理B.逆向推理C.双向推理D.简单推理

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

A. LS=0
B. LS<1
C. LS=1
D. LS>1

本文链接：https://www.51bdks.net/show/yg56lk.html