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

作　　者：吴飞[1] 

机构地区：[1]浙江大学计算机学院

出　　处：《群众》2018年第23期55-56,共2页

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

关 键 词：人工智能 人才支撑 产业发展 科技 行为学派 50年代 定理证明 专家系统 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]