7月22日，正在智能所做交流访问的德克萨斯理工大学张元林博士应邀来到该所创新论坛，为广大科技人员做了题为“混合知识的表达和推理”的专题学术报告。

　　张元林博士毕业于新加坡国立大学计算机系并获博士学位，2004年起在德克萨斯理工大学计算机系任助理教授。他的主要研究工作发表在国际顶尖的人工智能杂志上。张元林博士在本场报告中主要介绍了基于约束的程序设计（Constraint Programming）和非单调逻辑程序设计（Answer Set Programming）的基本概念和应用前景。他通过生动详实的实例阐述了这两类问题的实用价值，并介绍了他本人为CP设计的高效约束传播(constraint propogation）算法，以及设计的能够同时允许约束知识和常识性知识表达和推理的新语言和系统。报告引起了现场收听人员的浓厚兴趣，也带给科技人员在研究思路和方法上的有益启发。