单项选择题

A.机器翻译
B.自然语言理解
C.机器证明
D.模式识别