%0 Journal Article %T 利用派生谓词和偏好处理osp问题的目标效益依赖 %A 蒋志华? %A 饶东宁? %A 姜云飞? %A 翁健? %J 软件学报 %P 439-450 %D 2012 %R 10.3724/SP.J.1001.2012.03985 %X 在过度规划问题(over-subscribedplanning,简称osp)研究中,如果目标之间不是相互独立的,那么目标间的效益依赖比单个目标效益更能提高规划解的质量.但是已有的描述模型不符合标准规划描述语言(planningdomaindescriptionlanguage,简称pddl)的语法规范,不能在一般的osp规划系统上进行推广.提出了用派生谓词规则和目标偏好描述效益依赖的方法,这二者均为pddl语言的基本要素.实质上,将已有的gai模型转换为派生谓词规则和目标偏好,其中派生谓词规则显式描述目标子集的存在条件,偏好机制用来表示目标子集的效益,二者缺一不可.该转换算法既可以保持在描述依赖关系时gai模型的易用性和直观性上,又可以扩展一般的osp规划系统处理目标效益依赖的能力.从理论上可以证明该算法在转换过程中的语义不变性,在基准领域的实验结果表明其可行性和对规划解质量的改善能力.提出符合pddl语言规范的目标效益依赖关系的描述形式,克服了已有模型不通用的缺点. %K 人工智能 %K 智能规划 %K 过度规划问题 %K 目标效益依赖 %K 派生谓词规则 %K 偏好 %U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=3985&flag=1