MGU是
A. 最一般合一
B. 最一般替换
C. 最一般谓词
D. 基替换
15.要想让机器具有智能,必须让机器具有知识。因此,在人工智能中有一个研究领域,主要研究计算机如何自动获取知识和技能,实现自我完善,这门研究分支学科叫( )。
A. 专家系统
B. 机器学习
C. 神经网络
D. 模式识别
当前归结式是( )时,则定理得证。
A. 永真式
B. 包孕式(subsumed)
C. 空子句
12.要想让机器具有智能,必须让机器具有知识。因此,在人工智能中有一个研究领域,主要研究计算机如何自动获取知识和技能,实现自我完善,这门研究分支学科叫( )。
A. 专家系统
B. 机器学习
C. 神经网络
D. 模式识别