| 基于模型检测的领域约束规划 |
| |
| 引用本文： | 吴康恒,姜云飞.基于模型检测的领域约束规划[J].软件学报,2004,15(11):1629-1640. |
| |
| 作者姓名： | 吴康恒 姜云飞 |
| |
| 作者单位： | 中山大学,软件研究所,广东,广州,510275 |
| |
| 基金项目： | Supported by the National Natural Science Foundation of China under Grant No.60173039 (国家自然科学基金); the National Research Foundation for the Doctoral Program of Higher Education of China (国家教育部博士点基金) |
| |
| 摘 要： | 基于模型检测的智能规划是当今通用的智能规划研究的热点,其求解效率比较高.但是,目前基于模型检测的智能规划系统没有考虑到利用领域知识来提高描述能力和求解效率.为此,研究了增加领域约束的基于模型检测的智能规划方法,并据此建立了基于模型检测的领域约束规划系统DCIPS(domain constraints integrated planning system).它主要考虑了领域知识在规划中的应用,将领域知识表示为领域约束添加到规划系统中.根据"规划=动作+状态",DCIPS将领域约束分为3种,即对象约束、过程约束和时序约束,采用对象约束来表达状态中对象之间的关系,采用过程约束来表达动作之间的关系,采用时序约束表达动作与状态中对象之间的关系.通过在2002年智能规划大赛AIPS 2002上关于交通运输领域的3个例子的测试,实验结果表明,利用领域约束的DCIPS可以方便地增加领域知识,更加实用化,其效率也有了相应的提高.
|
| 关 键 词： | 智能规划 领域依赖规划 模型检测 领域约束 交通运输 |
| 文章编号： | 1000-9825/15(11)1629 |
| 收稿时间： | 2003/8/18 0:00:00 |
| 修稿时间： | 1/7/2004 12:00:00 AM |
Planning with Domain Constraints Based on Model-Checking |
| |
| WU Kang-Heng and JIANG Yun-Fei.Planning with Domain Constraints Based on Model-Checking[J].Journal of Software,2004,15(11):1629-1640. |
| |
| Authors: | WU Kang-Heng and JIANG Yun-Fei |
| |
| Abstract: | |
| |
| Keywords: | intelligence planning domain-dependent planning model checking domain constraint transportation domain |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
