反演归结（消解）证明定理时，若当前归结式是（ ）时，则定理得证。
A. 永真式
B. 包孕式（subsumed）
C. 空子句
(A→B)∧A => B是
A. 附加律
B. 拒收律
C. 假言推理
D. US
MGU是
A. 最一般合一
B. 最一般替换
C. 最一般谓词
D. 基替换
15.要想让机器具有智能，必须让机器具有知识。因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（ ）。
A. 专家系统
B. 机器学习
C. 神经网络
D. 模式识别
微信支付 
支付宝支付