[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   

 

  Abstract:  

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

 
 
热门棋牌游戏代理加盟推荐 快速时时计划网 打鱼1000炮 云南时时简介 爱彩票软件下载 重庆时时黑马人工计划 河北时时一定牛推荐号 江苏新时时 乐享彩票合法吗 3肖6码免费公开手机版 加州赛车pk计划 pc28最稳杀组 套利赚钱 棋牌彩票网址大全 下载app广东11选 神圣计划官方下载 威尼斯飞艇下载