基于模型检测的领域约束规划.pdfVIP

1000-9825/2004/15(11)1629 ©2004 Journal of Software 软 件 学 报 Vol.15, No.11 ∗ 基于模型检测的领域约束规划 吴康恒, 姜云飞+ ( 中山大学 软件研究所,广东 广州 510275) Planning with Domain Constraints Based on Model-Checking WU Kang-Heng, JIANG Yun-Fei+ (Institute of Software, Sun Yat-Sen University, Guangzhou 510275, China) + Corresponding author: Phn: +86-20ext 300, E-mail: lncsri05@, Received 2003-08-18; Accepted 2004-01-07 Wu KH, Jiang YF. Planning with domain constraints based on model-checking. Journal of Sof tware, 2004, 15(11):1629~1640. /1000-9825/15/1629.htm Abstract: The MIPS (model checking integrated planning system) has shown distinguished performance in the second and the third international planning competitions. In this paper, a declarative approach to adding domain knowledge in MIPS is presented. And DCIPS (domain constraints integrated planning system) has been developed according to this method. DCIP S allows different types of domain control knowledge such as objective, procedural or temporal knowledge to be represented and exploited in parallel, thus combining the ideas of ‘planning = actions + states’ into domain control knowledge. An advantage of this approach is that the domain control knowledge can be modularly formalized and added to the planning problem as desired. DCIPS is experimentally verified on the three examples in the transportation domain from AIPS 2002 planning competition where it leads to significant speed-ups. Key words: intelligence planning; domain-dependent planning; model checking; domain constraint; transportation domain 摘 要: 基于模型检测的智能规划是当今通用的智能规划研究的热点,其求解效率比较高.但是, 目前基于模型 检测的智能规划系统没有考虑到利用领域知识来提高描述能力和求解效率.为此,研究了增加领域约束的基于 模型检测的智能规划方法,并据此建立了基于模型检测的