[07-09] Augmenting Stream Constraint Programming with Eventuality Conditions

文章來源:  |  發布時間:2019-07-04  |  【打印】 【關閉


  Title:  Augmenting Stream Constraint Programming with Eventuality Conditions 


  Speaker: Prof. Lee, Jimmy Ho Man, the Chinese University of Hong Kong  


  Venue:  Room 337, Building 5, Institute of Software, Chinese Academy of Sciences   


  Time: 10:00 am, July 9th, Tuesday, 2019   



  Stream constraint programming is a recent addition to the family of constraint programming frameworks, where variable domains are sets of infinite streams over finite alphabets.  Previous works showed promising results for its applicability to real-world planning and control problems.  In this paper, motivated by the modelling of planning applications, we improve the expressiveness of the framework by introducing 1) the "until" constraint, a new construct that is adapted from Linear Temporal Logic and 2) the @-operator on streams, a syntactic sugar for which we provide a more efficient solving algorithm over simple desugaring.  For both constructs, we propose corresponding novel solving algorithms and prove their correctness.  We present competitive experimental results on the Missionaries and Cannibals logic puzzle and a standard path planning application on the grid, by comparing with Apt and Brand's method for verifying eventuality conditions using a CP approach.  The talk will be augmented with a number of modeling examples to illustrate the ideas as well as the expressiveness of the stream constraint programming approach.


  Brief Biography: 

  Jimmy Lee received both his BMath (Hons) and MMath degrees at the University of Waterloo, and completed his doctoral studies at the University of Victoria.  Upon graduation, he joined The Chinese University of Hong Kong (CUHK), where he is now Assistant Dean (Education) in the Faculty of Engineering and Professor in the Department of Computer Science and Engineering.  His research focuses on the theory and practice of constraint satisfaction and optimization with applications in

  scheduling, resource allocation, and combinatorial problems.  During 2017-18, Jimmy joined hand with Peter Stuckey to develop and launch a series of MOOCs on Coursera in both Chinese and English on modeling and solving discrete optimization problems using the Fantasy-based Learning approach, and received good feedbacks from the learners' community.  Jimmy is a two-time recipient (2004 and 2015) of the CUHK Vice-Chancellor’s Exemplary Teaching Award and was bestowed in 2017 the CUHK University Education Award, the highest honour in education at CUHK.


  Jimmy is an Associate Editor for the Journal of Artificial Intelligence Research and on the editorial boards of the Journal of Artificial Intelligence Research, the Artificial Intelligence Review, and Research and Practice in Technology Enhanced Learning. He was on the editorial board of the CONSTRAINTS journal and of the Journal of Discrete Algorithms. He was a founding editor of the Constraint Programming News, an elected member of the Executive Committee of the Association for Constraint Programming during 2006-09, and the Secretary of the Association from 2006 to 2012. He is a Program Vice-Chair of the Sub-Conference on Learning Science and Computer-Assisted Collaborative Learning of GCCCE 2019, a Senior PC member of 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), and a PC member of the 25th International Conference on Principles and Practice of Constraint Programming (CP 2019).

热门棋牌游戏代理加盟推荐 蓝洞棋牌官方下载 韩国快乐8 王者捕鱼游戏下载游戏 上海快三遗漏号 炒股软件如何查看日线,月线,年线等 新疆11选5推荐 高频彩票停售 彩票投注软件制作 赛比安怎样赚钱 派电子宁夏11选5 体彩6+1走势图带连线 极速11选5计划群 湖南快乐十分任5遗漏 浙江排列五走势图 印度孟买30即时指数 福彩幸运农场玩法