单项选择题

A.模式识别
B.机器证明
C.符号运算
D.机器博弈