[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).

热门棋牌游戏代理加盟推荐 甘肃11选5投注技巧 重庆欢乐生肖彩票开奖结果 SG飞艇下载 球探网即时比分007 足球指数比分网 24481香港赛马会 搜狐北京pk直播 为什么幸运飞艇这么坑 冰球打架视频 重庆时时蚂蚁团队 四川时时是真的吗 澳洲幸运开奖查询 江苏时时开奖视频直播 新时时走势图怎么不全 七乐彩定胆 谁有极速时时计划软件下载