单项选择题
反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。
A.永真式 B.包孕式 C.空子句
单项选择题 要想让机器具有智能，必须让机器具有知识。因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（）。
单项选择题 下列哪部分不是专家系统的组成部分（）
单项选择题 产生式系统的推理不包括（）
