和经典智能规划问题不同,在本项目主要研究的智能规划问题中,规划环境是动态可变的,初始状态和动作的结果是不确定的。项目组在智能规划问题建模和复杂性刻划、知识表示和推理方法以及规划问题的求解等方面开展了大量的研究工作,开发了JLU-RLAO、JLU-QLAO、SATPlan-LM、LMTD多个智能规划求解器,在2011年举办的第七届国际智能规划竞赛中取得了较好的成绩,在国内外期刊发表学术论文39篇,其中在AAAI、SAT等权威国际会议发表论文5篇,SCI期刊20篇。我们取得的成果有望在人工智能、信息安全等领域得到应用。
英文主题词intelligent planning; automated reasoning; constraint satisfaction.