2009年新年的前几天，我在老家发现了这张二十四年以前照的老照片。这张照片记录了1985年在张家界举行的中国逻辑程序设计学术会议， 主办单位是在长沙的国防科技大学计算机系， 会议日期为1985年10月29日到11月2日，为期五天。照片后面还附上一张照片上的人员名单，从中我们可以很方便地找到照片上对应的人， 可见会议组织者之细心。

       二十多年前，正是智能机热的年代， 逻辑程序设计语言（Prolog)在当时被看作是计算机科学界最热门的技术之一。这个学术会议汇集了当时中国计算机界许多喜欢逻辑和智能研究的学生和学者。 虽然今非昔比，现在中国继续从事逻辑程序设计研究的人已经是寥寥无几了， 但我个人仍然感谢当时中国那些从事逻辑程序设计和智能机研究的人。正是由于那一段特定时期的计算机科学界的逻辑热， 给我个人带来了很多学习和研究现代逻辑及其在计算机科学上的逻辑应用的机会，为我后来在海外进一步提高计算机理论水平打下了一个坚实的基础。

    值得高兴的是， 照片上的许多年轻人现在已是中国计算机界的栋梁之才， 一些人还成为我的多年的好朋友。

转载本文请联系原作者获取授权，同时请注明本文来自黄智生科学网博客。
链接地址：https://blog.sciencenet.cn/blog-211188-213531.html

上一篇：一本语义知识管理新书
下一篇：语义网与本体技术纵横谈： 语义与网络