论文部分内容阅读
智能规划和调度中的许多时态（或时序）问题可以表达为析取时态问题（DTP）．目前，多数析取时态问题求解器将析取时态问题看作约束可满足问题（CSP）或可满足问题（SAT），并使用标准的CSP（或SAT）技术来求解DTP．虽然这些技术在求解DTP时已经可以达到较好的效率，然而，文献中极少研究者关注利用DTP本身特殊的结构中隐舍的信息来帮助DTP求解．尝试从DTP的拓扑结构中提取出一种启发式策略．这种启发式策略试图从DTP的结构中提取出定性和定量的标准（TVS）来选择优先赋给当前变量的值，同时基于这种定量值选择标