不间断、紧张而高压的工程性交付会让工程师逐步沉溺于交付性思维，而逐步放弃原本的创新性和前瞻性思考。今天讨论移动云开发，想到了一个更为形象的比喻：“磨刀不误砍柴工”，如果让资深人员总是砍柴而不磨刀，资深人员也会觉得没意思，失去兴趣。因此，2019年新成立的苏研创新中心除了要承担创新性工作之外，也肩负起重新唤醒一线工程师心中的那份创新梦想和情怀的职责。于是我们就把领导交办的请新募蔡博士演讲的工作变成了博士论坛。蔡博士的专业方向是智能规划、知识图谱以及相关应用。

蔡博士用了两个小时左右的时间，把人工智能领域的一个分支技术智能规划讲的清清楚楚，让没有基础的同志也听懂了。智能规划和反应式实时规划有不少区别，其中比较重要的一点是，智能规划可以调度更为复杂的任务，而不仅仅是看到什么做什么。智能规划的重要课题是知识表达和推理。智能规划的知识主要一个标准是PDDL（Planning Definition Domain Language），蔡博士给出了几个应用案例，很有意思。当然，实用的智能规划系统，肯定需要很多知识，除非可以自动生成知识，否则应用还是有难度的，一下子就想起来以前搞过一阵子的Model Checking…

整个大教室晚上一共坐了一百多人，还不算看直播的，不过这次直播的安排有些仓促，没有使用中移网大，下回改进。感谢支持首次论坛的小李、小邵、兰芳等同志！