论文部分内容阅读
为压缩一致性规划的状态空间，并加快一致性规划的求解速度，将常量引入到一致性规划中，定义一致性规划中的常量，形成新的知识表示“多值一致性规划任务”，定义多值一致性规划动作模型，提出一致性规划常量合成方法，给出一致性规划常量合成算法．该方法利用常量的特性在所有初始世界状态和所有实例动作中猜测、验证常量．理论分析和实验结果表明该算法能合成正确的一致性规划常量，生成多值一致性规划任务．为说明一致性规划常量的应用效果，把生成的多值一致性规划任务与规划解重用启发式结合求一致性规划解，并与规划系统CFF进行对比实验．实