张钹

本篇文章317字，读完约1分钟

1956年，由于需要建立一个新的专业，他转向自动控制。两年后，他成为中国第一批优秀的自动控制专业毕业生。当时，世界上出现的机器人是自动化领域的新生事物，也是人工智能从最初的理论研究到实际应用的产物。学术研究的主要贡献是提出了商空理论，并用代数方法系统地解决了空的问题表达、复杂性分析和不同层次的问题。在上述理论的基础上，他进一步提出了统计启发式搜索算法、基于拓扑的空规划方法和基于关系矩阵的时间规划算法，大大降低了计算复杂度，具有重要的应用价值。他的专著《问题解决理论与应用》全面总结了他在人工智能理论研究方面的成果。其英文版于1992年由爱思唯尔科学出版社(North-Holland)出版，中文版获国家教委优秀学术专著特别奖。