薪火相传，构建生态——记约束求解基础与应用训练营

导读：如今，「深度学习」已然成为了人工智能的代名词。然而，在人工智能「三起三落」的进程中，神经网络等联结主义技术一开始并不被看好。上世纪 90 年代初，符号主义学派占据了人工智能领域的半壁江山，人工智能研究者在物理符号系统假设和基于知识的启发式求解方法的指导下，研发出了一系列专家系统、数学规划应用。

01

艰难起步：一小拨儿人的坚守

彼时，华人学者在约束求解等符号主义方法的研究领域也开始崭露头角。例如，迁移学习、联邦学习领域的「宗师」杨强教授早年间就曾从事逻辑推理和规划方面的研究，其开发的开源规划软件「ABTWEAK」在工业界得到广泛应用，该成果被 AAAI 1990 收录。此外， 来自北京大学、清华大学、吉林大学、华中科技大学等国内高校的学者也在这一领域做出了一系列贡献。

然而，随着日本「第五代计算机」研发计划的失败，符号主义流派「由盛转衰」。到了 2011 年，如今的中科院软件所研究员蔡少伟去参加「可满足性判定的理论与应用国际会议」SAT 2011 时，他在会议上几乎找不到除自己之外的第二张中国面孔。一时间，约束求解领域的研究者陷入了「孤军奋战」的艰难处境。我国该领域的研究者开始了漫长的坚守！

实际上，这种现象不仅仅存在于中国的计算机学术界。运筹学大师叶荫宇教授的弟子、杉树科技创始人葛冬冬博士曾粗略估计：在世界范围内，精通求解器研发的人不超过二位数！相较于深度学习顶会的盛况空前，目前约束求解会议的规模则可谓「袖珍」。例如，每年 SAT 会议的参会