CAJ | 학술논문

在过渡规划问题(over-subscribed planning,简称 OSP)研究中,如果目标之间不是相互独立的,那么目标坚定效益依赖比单个目标效益更能提高规划解的质量.但是,已有的描述模型不符合标准规划描述语言(planning domain descrion language,简称PDDL)的语法规范,不能在一般的OSP规划系统上进行推广,提出了用派生谓词规则和目标偏好描述效益依赖的方法,这二者均为ＰDDL语言的基本要素.实质上,将已有的GAI模型转化为派生谓词规则和目标偏好,其中派生谓词规则显式描述目标子集的存在条件,偏好机制用来表示目标子集的效益,二者缺一不可.该转换算法既可以保持在描述依赖关系时GAI模型的易用性和直观性上,又可以扩展一般的OSP规划系统处理目标效益依赖的能力.从理论上可以证明该算法在转化过程中的语义不变性,子啊基准领域的实验结果表明其可行性和规划解质量的改善能力.提出符合PDDL语言规范的目标效益依赖关系的描述形式,克服了已有模型不通用的缺点.
재과도규화문제(over-subscribed planning,간칭 OSP)연구중,여과목표지간불시상호독립적,나요목표견정효익의뢰비단개목표효익경능제고규화해적질량.단시,이유적묘술모형불부합표준규화묘술어언(planning domain descrion language,간칭PDDL)적어법규범,불능재일반적OSP규화계통상진행추엄,제출료용파생위사규칙화목표편호묘술효익의뢰적방법,저이자균위ＰDDL어언적기본요소.실질상,장이유적GAI모형전화위파생위사규칙화목표편호,기중파생위사규칙현식묘술목표자집적존재조건,편호궤제용래표시목표자집적효익,이자결일불가.해전환산법기가이보지재묘술의뢰관계시GAI모형적역용성화직관성상,우가이확전일반적OSP규화계통처리목표효익의뢰적능력.종이론상가이증명해산법재전화과정중적어의불변성,자아기준영역적실험결과표명기가행성화규화해질량적개선능력.제출부합PDDL어언규범적목표효익의뢰관계적묘술형식,극복료이유모형불통용적결점.