单项选择题

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