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

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

单项选择题 下列哪部分不是专家系统的组成部分（）