Adaptive Planner Scheduling with Graph Neural Networks

Automated planning is one of the foundational areas of AI. Since a single planner unlikely works well for all tasks and domains, portfolio-based techniques become increasingly popular recently. In particular, deep learning emerges as a promising methodology for online planner selection. Owing to the recent development of structural graph representations of planning tasks, we propose a graph neural network (GNN) approach to selecting candidate planners. GNNs are advantageous over a straightforward alternative, the convolutional neural networks, in that they are invariant to node permutations and that they incorporate node labels for better inference. Additionally, for cost-optimal planning, we propose a two-stage adaptive scheduling method to further improve the likelihood that a given task is solved in time. The scheduler may switch at halftime to a different planner, conditioned on the observed performance of the first one. Experimental results validate the effectiveness of the proposed method against strong baselines, both deep learning and non-deep learning based.

[1]  S. Edelkamp Planning with Pattern Databases , 2014 .

[2]  David Chapman,et al.  Planning for Conjunctive Goals , 1987, Artif. Intell..

[3]  Paolo Traverso,et al.  Automated planning - theory and practice , 2004 .

[4]  Richard S. Zemel,et al.  Gated Graph Sequence Neural Networks , 2015, ICLR.

[5]  Jendrik Seipp,et al.  Automatic Configuration of Sequential Planning Portfolios , 2015, AAAI.

[6]  Nils J. Nilsson,et al.  A Formal Basis for the Heuristic Determination of Minimum Cost Paths , 1968, IEEE Trans. Syst. Sci. Cybern..

[7]  Xavier Bresson,et al.  Convolutional Neural Networks on Graphs with Fast Localized Spectral Filtering , 2016, NIPS.

[8]  Malte Helmert,et al.  Efficient Stubborn Sets: Generalized Algorithms and Selection Strategies , 2014, ICAPS.

[9]  Lukasz Kaiser,et al.  Attention is All you Need , 2017, NIPS.

[10]  Michael Katz Mercury Planner : Pushing the Limits of Partial Delete Relaxation , 2014 .

[11]  Carmel Domshlak,et al.  Landmarks, Critical Paths and Abstractions: What's the Difference Anyway? , 2009, ICAPS.

[12]  Kevin Leyton-Brown,et al.  Improved Features for Runtime Prediction of Domain-Independent Planners , 2014, ICAPS.

[13]  Lexing Xie,et al.  Action Schema Networks: Generalised Policies with Deep Learning , 2017, AAAI.

[14]  Michael Katz,et al.  Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks , 2019, ICAPS.

[15]  Shirin Sohrabi,et al.  Deep Learning for Cost-Optimal Planning: Task-Dependent Planner Selection , 2019, AAAI.

[16]  Joan Bruna,et al.  Spectral Networks and Locally Connected Networks on Graphs , 2013, ICLR.

[17]  Yoshua Bengio,et al.  Neural Machine Translation by Jointly Learning to Align and Translate , 2014, ICLR.

[18]  Fernando Fernández,et al.  The IBaCoP Planning System: Instance-Based Configured Portfolios , 2016, J. Artif. Intell. Res..

[19]  Michael Katz,et al.  Symmetry-Based Task Reduction for Relaxed Reachability Analysis , 2018, ICAPS.

[21]  Tom Bylander,et al.  The Computational Complexity of Propositional STRIPS Planning , 1994, Artif. Intell..

[22]  Max Welling,et al.  Semi-Supervised Classification with Graph Convolutional Networks , 2016, ICLR.

[23]  Stefan Edelkamp,et al.  Efficient symbolic search for cost-optimal planning , 2017, Artif. Intell..

[24]  Carmel Domshlak,et al.  Enhanced Symmetry Breaking in Cost-Optimal Planning as Forward Search , 2012, ICAPS.

[25]  Pietro Liò,et al.  Graph Attention Networks , 2017, ICLR.

[26]  Jeffrey S. Rosenschein,et al.  Exploiting Problem Symmetries in State-Based Planners , 2011, AAAI.

[27]  Patrik Haslum,et al.  Merge-and-Shrink Abstraction , 2014, J. ACM.

[28]  Geoffrey E. Hinton,et al.  ImageNet classification with deep convolutional neural networks , 2012, Commun. ACM.

[29]  Malte Helmert,et al.  Heuristics and Symmetries in Classical Planning , 2015, AAAI.

[30]  A. Azzouz 2011 , 2020, City.

[31]  Mauro Vallati,et al.  A Guide to Portfolio-Based Planning , 2012, MIWAI.

[32]  Samuel S. Schoenholz,et al.  Neural Message Passing for Quantum Chemistry , 2017, ICML.

[33]  Jendrik Seipp,et al.  Learning Portfolios of Automatically Tuned Planners , 2012, ICAPS.

[34]  Jimmy Ba,et al.  Adam: A Method for Stochastic Optimization , 2014, ICLR.

[35]  Stefan Edelkamp,et al.  BDDs Strike Back (in AI Planning) , 2015, AAAI.

[36]  Jure Leskovec,et al.  Inductive Representation Learning on Large Graphs , 2017, NIPS.

[37]  Tsuyoshi Murata,et al.  {m , 1934, ACML.

[38]  Patrik Haslum,et al.  New Admissible Heuristics for Domain-Independent Planning , 2005, AAAI.

[39]  Fernando Fernández,et al.  Learning Predictive Models to Configure Planning Portfolios , 2013 .

[40]  Jörg Hoffmann,et al.  Beating LM-Cut with hmax (Sometimes): Fork-Decoupled State Space Search , 2015, ICAPS.

[41]  Dana S. Nau,et al.  On the Complexity of Blocks-World Planning , 1992, Artif. Intell..

[42]  Shirin Sohrabi,et al.  Delfi: Online Planner Selection for Cost-Optimal Planning , 2018 .

[43]  Adele E. Howe,et al.  Exploiting Competitive Planner Performance , 1999, ECP.

[44]  Silvan Sievers,et al.  Structural Symmetries of the Lifted Representation of Classical Planning Tasks , 2017 .