2017年6月1日上午,美国纽约城市大学教授Neng-Fa Zhou 教授在伟德bv国际体育伟德BETVlCTOR1946做了题目为“The Picat Language and System ”的学术报告。
Neng-Fa Zhou是美国纽约城市大学布鲁克林学院计算机与信息科学的教授,于日本九州大学获得硕士、博士学位,曾在日本九州工业大学任副教授。Neng-Fa Zhou教授研究编程语言系统长达25年,在编程语言,约束求解,图,机器学习系统方面编写了40余篇论文,主要发表在TPLP, ACM TOPLAS, JLP, JFLP, SPE和一些大型会议上。其中,逻辑程序编译,约束求解和图方面的文章获得不错的引用。Neng-Fa Zhou教授还是B-Prolog system 和 Picat system主要设计者和实现者,其在学术界和工业界都有广泛的应用,特别是Picat system在逻辑编程界以及其他领域引起了极大的关注。在CSP,ASP和MiniZinc比赛中获得不错成绩,合作出版了名为“Constraint Solving and Planning with Picat”书。
本次讲座Neng-Fa Zhou教授介绍了Picat,是一种基于逻辑的多范式编程的新型语言,将逻辑编程,函数式编程,动态规划与表,脚本相结合。Picat由于自身特点,在符号计算方面比F#和Python等更有优势。接下来展示了MiniZinc竞赛的一些实验效果,介绍了Paicat下的组合搜索,如动态规划、15-Puzzle等,其求解优势很明显。之后介绍了一些参考文献,分享了名为“Constraint Solving and Planning with Picat”的书。
报告最后,Neng-Fa Zhou教授与现场师生进行了探讨交流,就Picat、约束、SAT等问题进行了充分的讨论,为现场师生进行相关方向的研究提供了较好和较新的思路。在互动中,员工加深了对Picat的了解和认识。最后整个讲座在热烈的掌声当中结束,参加此次报告的同学们均表示收获颇丰。