反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证

【名词&注释】

预处理(pretreatment)、数据交换(data exchange)、组成部分(part)、知识库。、专家系统知识库(this system knowledge base)

[单选题]反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。

A. 永真式
B. 包孕式
C. 空子句

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

学习资料：

[单选题]语义网络的组成部分为（）

A. A、框架和弧线
B. B、状态和算符
C. C、节点和链
D. D、槽和值

[单选题]（）主要用于对所获得的规则进行价值评定，以决定所得的规则是否存入基础知识库。

A. 数据预处理
B. 数据交换
C. 数据挖掘
D. 知识评价

[多选题]专家系统知识库^{(this system knowledge base)}包含的内容有（）。

A. 所有人类知识
B. 已知的同当前问题有关的数据信息
C. 进行推理时要用到的一般知识和领域知识
D. 以上选项都不对

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