基于问题结构的启发式策略在析取时态问题求解中的应用

作     者：刘越畅 姜云飞 钱红 Liu Yuechang;Jiang Yunfei;Qian Hong

作者机构：中山大学软件研究所广州510275 

基　　金：国家自然科学基金项目(60773201) 

出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)

年 卷 期：2008年第45卷第11期

页      码：1840-1849页

摘      要：智能规划和调度中的许多时态(或时序)问题可以表达为析取时态问题(DTP).目前,多数析取时态问题求解器将析取时态问题看作约束可满足问题(CSP)或可满足问题(SAT),并使用标准的CSP(或SAT)技术来求解DTP.虽然这些技术在求解DTP时已经可以达到较好的效率,然而,文献中极少研究者关注利用DTP本身特殊的结构中隐含的信息来帮助DTP求解.尝试从DTP的拓扑结构中提取出一种启发式策略.这种启发式策略试图从DTP的结构中提取出定性和定量的标准(TVS)来选择优先赋给当前变量的值,同时基于这种定量值选择标准设计了一个动态变量选择策略(TVO).这种技术基于定义的一种DTP的图模型——析取时态网络(DTN).实验结果显示TVS和TVO策略均可以有效减小搜索中节点访问次数;同时它与已有的RSV值选择策略效果相当,而TVO优于最少剩余值(MRV)方法(节省一个数量级以上的访问节点数);此外,配合其他CSP启发技术,可以得到一个高效的DTP求解算法DTN-DTP.

主 题 词：时态推理 析取时态问题 约束可满足问题 值选择 变量排序 智能规划和调度 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 081104[081104] 08[工学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203348139...