On Domain-Independent Heuristics for Planning with Qualitative Preferences

This paper describes a method for planning with rich qualitative, temporally extended preferences (QTEPs) using lookahead heuristics inspired by those employed in state-of-the-art classical planners. Key to our approach is a transformation of the planning domain into an equivalent but simplified planning domain. First, compound preference formulae are transformed into simpler, equivalent preference formulae. Second, temporally extended preferences are replaced by equivalent, atemporal preferences. These two simplifications enable us to propose a number of simple heuristic strategies for planning with QTEPs. We propose an algorithm that uses these heuristics and that furthermore is provably k-optimal, i.e. it finds all optimal plans of length no greater than a parameter k. We compare our planner against the PPLAN planner, which does not use lookahead heuristics. Preliminary results show a significant improvement in performance, often by orders of magnitude.

[1]  Yixin Chen,et al.  Constraint Partitioning for Solving Planning Problems with Trajectory Constraints and Goal Preferences , 2007, IJCAI.

[2]  Enrico Pontelli,et al.  Planning with preferences using logic programming , 2004, Theory and Practice of Logic Programming.

[3]  Jorge A. Baier,et al.  A Heuristic Search Approach to Planning with Temporally Extended Preferences , 2007, IJCAI.

[4]  Fahiem Bacchus,et al.  Planning for temporally extended goals , 1996, Annals of Mathematics and Artificial Intelligence.

[5]  Gerhard Brewka,et al.  Planning with Prioritized Goals , 2006, KR.

[6]  Blai Bonet,et al.  Planning as heuristic search , 2001, Artif. Intell..

[7]  Bernhard Nebel,et al.  The FF Planning System: Fast Plan Generation Through Heuristic Search , 2011, J. Artif. Intell. Res..

[8]  Ronen I. Brafman,et al.  Planning with Goal Preferences and Constraints , 2005, ICAPS.

[9]  Derek Long,et al.  Plan Constraints and Preferences in PDDL3 , 2006 .

[10]  S. Edelkamp,et al.  Large-Scale Optimal PDDL 3 Planning with MIPS-XXL , 2006 .

[11]  S. Edelkamp Optimal Symbolic PDDL 3 Planning with MIPS-BDD , 2006 .

[12]  Jorge A. Baier,et al.  Planning with First-Order Temporally Extended Goals using Heuristic Search , 2006, AAAI.

[13]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[14]  Hans Tompits,et al.  Domain-Specific Preferences for Causal Reasoning and Planning , 2004, ICAPS.

[15]  Sheila A. McIlraith,et al.  Planning with Qualitative Temporal Preferences , 2006, KR.

[16]  Edwin P. D. Pednault,et al.  ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus , 1989, KR.

[17]  Jörg Hoffmann,et al.  The Metric-FF Planning System: Translating ''Ignoring Delete Lists'' to Numeric State Variables , 2003, J. Artif. Intell. Res..

[18]  Enrico Pontelli,et al.  Planning with Preferences Using Logic Programming , 2004, LPNMR.

[19]  Malte Helmert,et al.  The Fast Downward Planning System , 2006, J. Artif. Intell. Res..