|
|||||
|
|
| 时态规划中基于CSP技术的时态约束方法 | |
| 引用本文： | 伍丽华,陈蔼祥,姜云飞,边芮.时态规划中基于CSP技术的时态约束方法[J].计算机学报,2012,35(8):1759-1766. |
| 作者姓名： | 伍丽华 陈蔼祥 姜云飞 边芮 |
| 作者单位： | 1. 中山大学软件所 广州510275;中山大学教学实验中心 广州 510275 2. 广东商学院数学与计算科学学院 广州 510320 3. 中山大学软件所 广州510275 4. 广东商学院公共管理学院 广州 510320 |
| 基金项目： | 国家自然科学基金，广东省自然科学基金项目，广东高校优秀青年创新人才培育项目，广州市科技和信息化局应用基础研究计划项目 |
| 摘 要： | 在规划图框架下,定义了动作图,并进一步扩展为时态动作图,使之能体现处理具有时间资源约束的时态规划问题中的时态信息.在此基础上,提出一种对时态信息进行表示与管理并且能够进行时态约束推理的时态一致性赋值方法,利用约束可满足问题(CSP)技术对时序约束进行表示和处理,包括过滤、约减及时态信息的一致性检验,使时态推理技术能更好地应用于时态规划的求解过程中.最后,给出一个基于时态规划图的遗传规划算法GP-td,通过对国际智能规划大赛提供的Satellite规划领域问题进行实验.结果表明:该方法能够有效地提高大规模时态规划问题的求解效率和求解成功率. |
| 关 键 词： | 时态动作图 时态推理 CSP技术 一致性时态赋值 遗传规划算法. |
A CSP-Based Approach for Temporal Constraints in Temporal Planning |
|
| WU Li-Hua , CHEN Ai-Xiang , JIANG Yun-Fei , BIAN Rui.A CSP-Based Approach for Temporal Constraints in Temporal Planning[J].Chinese Journal of Computers,2012,35(8):1759-1766. | |
| Authors: | WU Li-Hua CHEN Ai-Xiang JIANG Yun-Fei BIAN Rui |
| Affiliation: | 1)(Software Research Institute of Sun Yat-Sen University,Guangzhou 510275) 2)(Education & Experiment Center,Sun Yat-Sen University,Guangzhou 510275) 3)(School of Mathematics and Computational Science,Guangdong University of Business Studies,Guangzhou 510320) 4)(School of Public Management,Guangdong University of Business Studies,Guangzhou 510320) |
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |