A. 自动定理证明

B. 智能信息检索

C. 智能财务系统

D. 博弈

E. 机器视觉

F. 机器思维

G. 自然语言处理

H. 深度学习

I. 机器人

J. 人工生命

K. 模式识别