单项选择题

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

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

你可能感兴趣的试题

单项选择题

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

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

单项选择题

下列哪部分不是专家系统的组成部分（）

A.用户
B.综合数据库
C.推理机
D.知识库