利用派生谓词和偏好处理osp问题的目标效益依赖

在过度规划问题(over-subscribedplanning,简称osp)研究中,如果目标之间不是相互独立的,那么目标间的效益依赖比单个目标效益更能提高规划解的质量.但是已有的描述模型不符合标准规划描述语言(planningdomaindescriptionlanguage,简称pddl)的语法规范,不能在一般的osp规划系统上进行推广.提出了用派生谓词规则和目标偏好描述效益依赖的方法,这二者均为pddl语言的基本要素.实质上,将已有的gai模型转换为派生谓词规则和目标偏好,其中派生谓词规则显式描述目标子集的存在条件,偏好机制用来表示目标子集的效益,二者缺一不可.该转换算法既可以保持在描述依赖关系时gai模型的易用性和直观性上,又可以扩展一般的osp规划系统处理目标效益依赖的能力.从理论上可以证明该算法在转换过程中的语义不变性,在基准领域的实验结果表明其可行性和对规划解质量的改善能力.提出符合pddl语言规范的目标效益依赖关系的描述形式,克服了已有模型不通用的缺点.