为科技和产业发展提供人工智能人才支撑

从上世纪50年代“人工智能(Artificial Intelligence)”术语的诞生开始,计算机就沿着代替人完成部分工作或取代人这一轨迹不断发展,例如用机器定理证明程序来部分取代解题者,用疾病就诊专家系统来取代医生等。在模拟刻画人类智能的过程中,形成了符号学派、连接学派、行为学派等主要手段和方法。