多项选择题

A.智能机器人
B.模式识别
C.专家系统
D.物形分析
E.定理自动证明