CAJ | 학술논문

为压缩一致性规划的状态空间,并加快一致性规划的求解速度,将常量引入到一致性规划中,定义一致性规划中的常量,形成新的知识表示“多值一致性规划任务”,定义多值一致性规划动作模型,提出一致性规划常量合成方法,给出一致性规划常量合成算法.该方法利用常量的特性在所有初始世界状态和所有实例动作中猜测、验证常量,理论分析和实验结果表明该算法能合成正确的一致性规划常量,生成多值一致性规划任务.为说明一致性规划常量的应用效果,把生成的多值一致性规划任务与规划解重用启发式结合求一致性规划解,并与规划系统CFF进行对比实验.实验结果表明求解质量和效率较高.
위압축일치성규화적상태공간,병가쾌일치성규화적구해속도,장상량인입도일치성규화중,정의일치성규화중적상량,형성신적지식표시“다치일치성규화임무”,정의다치일치성규화동작모형,제출일치성규화상량합성방법,급출일치성규화상량합성산법.해방법이용상량적특성재소유초시세계상태화소유실례동작중시측、험증상량,이론분석화실험결과표명해산법능합성정학적일치성규화상량,생성다치일치성규화임무.위설명일치성규화상량적응용효과,파생성적다치일치성규화임무여규화해중용계발식결합구일치성규화해,병여규화계통CFF진행대비실험.실험결과표명구해질량화효솔교고.