作者：吴飞人工智能人才支撑产业发展科技行为学派50年代定理证明专家系统
摘要：从上世纪50年代“人工智能(Artificial Intelligence)”术语的诞生开始,计算机就沿着代替人完成部分工作或取代人这一轨迹不断发展,例如用机器定理证明程序来部分取代解题者,用疾病就诊专家系统来取代医生等。在模拟刻画人类智能的过程中,形成了符号学派、连接学派、行为学派等主要手段和方法。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《群众》（CN：32-1041/D）是一本有较高学术价值的大型半月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《群众》在改革开放不断深化，社会主义市场经济体制逐步确立的新形势下，我们决心继承和发扬周刊的光荣传统，坚定不移地宣传马克思主义理论，紧紧围绕省委的工作中心当好喉舌，坚持理论联系实际的优良作风，始终不渝地依靠群众、服务群众，与时俱进，努力办好杂志，再创新的辉煌。
