派生谓词是描述动作非直接效果的主要方式．但是由人类专家设计的派生谓词规则（即领域理论）不能保证总是正确或者完备的，因此有时很难解......

在过度规划问题（over-subscribed planning，简称OSP）研究中，如果目标之间不是相互独立的，那么目标间的效益依赖比单个目标效益更能提高......