单项选择题

A.专家系统
B.模式识别
C.机器翻译
D.机器证明