填空题

【参考答案】

模式识别;定理证明;程序自动设计;专家系统;机器学习;自然语言理解