科研之友
微信
新浪微博
Facebook
分享链接
摘要
规划问题是一类复杂的问题.由于规划问题中各个目标之间往往存在着实现上的顺序关系,发掘这种顺序关系并加以利用是提高规划算法效率的一种途径.由于判定目标间的顺序关系同样是PSPACE完全的,因而为利用目标间的顺序关系首先需要有效地提取目标间的顺序关系.给出了一种利用状态不变式来提取目标间顺序关系的GOWN(goalorderingwithinvariants)方法,并在比较目标间的顺序关系时,通过抽象和合一的手段,有效地控制了问题的增长规模,提高了处理效率.
- 出版日期2006
- 单位中国科学院数学与系统科学研究院; 中国科学院计算技术研究所; 中国科学院大学
