单项选择题 语义网络表达知识时，有向弧AKO链、ISA链是用来表达节点知识的（）。

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

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