题目内容

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

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

查看答案

搜索结果不匹配？点我反馈

更多问题

(A→B)∧A => B是

A. 附加律
B. 拒收律
C. 假言推理
D. US

MGU是

A. 最一般合一
B. 最一般替换
C. 最一般谓词
D. 基替换

15.要想让机器具有智能，必须让机器具有知识。因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（）。

A. 专家系统
B. 机器学习
C. 神经网络
D. 模式识别

当前归结式是（）时，则定理得证。

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