CAJ | 학술논문

在规划图框架下,定义了动作图,并进一步扩展为时态动作图,使之能体现处理具有时间资源约束的时态规划问题中的时态信息.在此基础上,提出一种对时态信息进行表示与管理并且能够进行时态约束推理的时态一致性赋值方法,利用约束可满足问题(CSP)技术对时序约束进行表示和处理,包括过滤、约减及时态信息的一致性检验,使时态推理技术能更好地应用于时态规划的求解过程中.最后,给出一个基于时态规划图的遗传规划算法GP-td,通过对国际智能规划大赛提供的Satellite规划领域问题进行实验.结果表明:该方法能够有效地提高大规模时态规划问题的求解效率和求解成功率.
재규화도광가하,정의료동작도,병진일보확전위시태동작도,사지능체현처리구유시간자원약속적시태규화문제중적시태신식.재차기출상,제출일충대시태신식진행표시여관리병차능구진행시태약속추리적시태일치성부치방법,이용약속가만족문제(CSP)기술대시서약속진행표시화처리,포괄과려、약감급시태신식적일치성검험,사시태추리기술능경호지응용우시태규화적구해과정중.최후,급출일개기우시태규화도적유전규화산법GP-td,통과대국제지능규화대새제공적Satellite규화영역문제진행실험.결과표명:해방법능구유효지제고대규모시태규화문제적구해효솔화구해성공솔.