论文部分内容阅读
动作的派生前提和动作删除效果的“连锁反应”是处理派生规划问题中的难点问题，基于激活集的方法是一种简单、有效的方法，但是激活集的计算时间往往过多，文中提出一种新的方法来计算激活集．LPG-td规划系统所提出的激活集是与状态有关的并且需要在规则图上反复计算，而文中提出的激活集是与状态无关的，通过规则分裂来对规则集进行“基化”，使得寻找激活集的时间逐渐地由指数级降为线性级．实现了一个新的能够处理派生规划问题的规划系统LPG^SIAS，通过对基准问题的求解，表明LPG^SIAS比LPG-td在大部分情况下更高效．