张钹

1956年因建设新专业需要，转读自动控制，两年后作为国家第一批自动控制专业的优秀毕业生留校任教。当时国际上刚刚兴起的机器人是自动化领域中的新事物，也是人工智能从最初的理论研究走向实际应用的产物。在学术研究上的主要贡献是提出问题分层求解的商空间理论，通过代数的方法，系统地解决了不同层次求解空间的问题表达、复杂性分析、不同层次空间之间信息、算子及推理机制等的相互转换关系。在上述理论基础上,他进一步提出了统计启发式搜索算法，基于拓扑的空间规划方法以及基于关系矩阵的时间规划算法等，极大降低了计算复杂性，具有重要的应用价值。其专著《问题求解理论及应用》全面总结了他在人工智能理论研究中的成果，其英文版于1992年由Elsevier Science Publishers B.V.(Nortn-Holland)出版，中文版获国家教委颁发的高校出版社优秀学术专著特等奖。