论文部分内容阅读
根据动作组件诱发关系的存在和抵制计算的必要性，提出一个计算松弛规划解的新方法——延迟部分推理．该方法在考虑动作删除效果的假定下，构造不包含任何互斥关系的组件规划图，通过定义“松弛诱发”关系预测后续规划过程中可能出现的组件诱发现象，在松弛规划解提取阶段判断动作组件间的“松弛诱发”关系并选择抵制动作避免可能发生的消极作用．基于延迟部分推理方法定义了新的启发式函数和剪枝策略，设计了规划系统FFc并在多个国际通用的测试域上进行实验．结果表明，FFc较之Fast-Forward在求解效率和求解质量方面都有显著的提高