{"type":"ScholarlyArticle","title":"Generalized Potential Heuristics for Classical Planning","authors":[{"name":"Guillem Francès","slug":"guillem-frances","given":"Guillem","family":"Francès","affiliation":"University of Basel , Basel , Switzerland"},{"name":"Augusto B. Corrêa","slug":"augusto-b-correa","given":"Augusto B.","family":"Corrêa","affiliation":"University of Basel , Basel , Switzerland"},{"name":"Cedric Geissmann","slug":"cedric-geissmann","given":"Cedric","family":"Geissmann","affiliation":"University of Basel , Basel , Switzerland"},{"name":"Florian Pommerening","slug":"florian-pommerening","given":"Florian","family":"Pommerening","affiliation":"University of Basel , Basel , Switzerland"}],"abstract":"Generalized planning aims at computing solutions that work for all instances of the same domain. In this paper, we show that several interesting planning domains possess compact generalized heuristics that can guide a greedy search in guaranteed polynomial time to the goal, and which work for any instance of the domain. These heuristics are weighted sums of state features that capture the number of objects satisfying a certain first-order logic property in any given state. These features have a meaningful interpretation and generalize naturally to the whole domain. Additionally, we present an approach based on mixed integer linear programming to compute such heuristics automatically from the observation of small training instances. We develop two variations of the approach that progressively refine the heuristic as new states are encountered. We illustrate the approach empirically on a number of standard domains, where we show that the generated heuristics will correctly generalize to all possible instances.","doi":"10.24963/ijcai.2019/771","url":"https://ijcai.org/proceedings/2019/771","pdf":"https://ijcai.org/proceedings/2019/0771.pdf","markdown":"https://ijcai.org/proceedings/2019/771.md","bibtex":"https://ijcai.org/proceedings/2019/bibtex/771","volume":{"slug":"2019","title":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2019","url":"https://ijcai.org/proceedings/2019/","year":2019,"location":"Macao","dates":"10-16 August 2019","editors":"Sarit Kraus","isbn":"978-0-9992411-4-1","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2019"},"section":"Planning and Scheduling","track":"Main track","number":771,"pages":{"first":5554,"last":5561},"keywords":["Planning and Scheduling: Planning and Scheduling","Planning and Scheduling: Planning Algorithms","Planning and Scheduling: Other approaches to planning"],"videos":[],"references":[{"position":1,"raw":"[Baader et al., 2017] Franz Baader, Ian Horrocks, Carsten Lutz, and Uli Sattler. Introduction to Description Logic. Cambridge University Press, 2017.","title":"Introduction to Description Logic","authors":"Baader","year":"2017","venue":null,"doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Bonet and Geffner, 2018] Blai Bonet and Héctor Geffner. Features, projections, and representation change for gener- alized planning. In Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018), pages 4667-4673. IJCAI, 2018.","title":"Features, projections, and representation change for generalized planning","authors":"Geffner Bonet, Blai Bonet, Héctor Geffner","year":"2018","venue":"Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018)","doi":null,"url":null,"internal_url":"/proceedings/2018/649"},{"position":3,"raw":"[Bonet et al., 2009] Blai Bonet, Héctor Palacios, and Héctor Geffner. Automatic derivation of memoryless policies and finite-state controllers using classical planners. In Alfonso Gerevini, Adele Howe, Amedeo Cesta, and Ioannis Re- fanidis, editors, Proceedings of the Nineteenth Interna- tional Conference on Automated Planning and Scheduling (ICAPS 2009), pages 34-41. AAAI Press, 2009.","title":"Automatic derivation of memoryless policies and finite-state controllers using classical planners","authors":"Blai Bonet, Héctor Palacios, Héctor Geffner","year":"2009","venue":"Proceedings of the Nineteenth International Conference on Automated Planning and Scheduling (ICAPS 2009)","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Bonet et al., 2017] Blai Bonet, Giuseppe De Giacomo, Héctor Geffner, and Sasha Rubin. Generalized planning: Non-deterministic abstractions and trajectory constraints. In Carles Sierra, editor, Proceedings of the 26th Interna- tional Joint Conference on Artificial Intelligence (IJCAI 2017), pages 873-879. IJCAI, 2017.","title":"Generalized planning: Non-deterministic abstractions and trajectory constraints","authors":"Blai Bonet, Giuseppe De Giacomo, Héctor Geffner, Sasha Rubin","year":"2017","venue":"Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017)","doi":null,"url":null,"internal_url":"/proceedings/2017/121"},{"position":5,"raw":"[Bonet et al., 2019] Blai Bonet, Guillem Francès, and Héctor Geffner. Learning features and abstract actions for com- puting generalized plans. In Proceedings of the Thirty- Third AAAI Conference on Artificial Intelligence (AAAI 2019). AAAI Press, 2019.","title":"Learning features and abstract actions for computing generalized plans","authors":"Blai Bonet, Guillem Francès, Héctor Geffner","year":"2019","venue":"Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI 2019)","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Corrêa and Pommerening, 2019] Augusto B. Corrêa and Florian Pommerening. An empirical study of perfect potential heuristics. In Nir Lipovetzky, Eva Onaindia, and David E. Smith, editors, Proceedings of the Twenty- Ninth International Conference on Automated Planning and Scheduling (ICAPS 2019). AAAI Press, 2019.","title":"An empirical study of perfect potential heuristics","authors":"Augusto B Corrêa, Florian Pommerening","year":"2019","venue":"Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling (ICAPS 2019)","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Fox et al., 2017] Maria Fox, Derek Long, and Daniele Mag- azzeni. Explainable planning. In IJCAI-17 Workshop on Explainable AI (XAI), pages 24-30, 2017.","title":"Explainable planning","authors":"Maria Fox, Derek Long, Daniele Magazzeni","year":"2017","venue":"IJCAI-17 Workshop on Explainable AI (XAI)","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Francès et al., 2019] Guillem Francès, Augusto B. Corrêa, Cedric Geissmann, and Florian Pommerening. General- ized potential heuristics for classical planning: Additional material. Technical Report CS-2019-003, University of Basel, Department of Mathematics and Computer Science, 2019.","title":"Generalized potential heuristics for classical planning: Additional material","authors":"Guillem Francès, Augusto B Corrêa, Cedric Geissmann, Florian Pommerening","year":"2019","venue":null,"doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Geffner, 2000] Héctor Geffner. Functional Strips: A more flexible language for planning and problem solving. In Jack Minker, editor, Logic-Based Artificial Intelligence, volume 597 of Kluwer International Series In Engineering And Computer Science, chapter 9, pages 187-209. Kluwer, Dordrecht, 2000.","title":"Functional Strips: A more flexible language for planning and problem solving","authors":"Héctor Geffner","year":"2000","venue":"Logic-Based Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Hu and De Giacomo, 2011] Yuxiao Hu and Giuseppe De Giacomo. Generalized planning: Synthesizing plans that work for multiple environments. In Toby Walsh, editor, Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), pages 918-923. AAAI Press, 2011.","title":"Generalized planning: Synthesizing plans that work for multiple environments","authors":"De Hu, ; Yuxiao Giacomo, Giuseppe Hu, Giacomo De","year":"2011","venue":"Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011)","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Levesque, 2005] Hector Levesque. Planning with loops. In Leslie Pack Kaelbling and Alessandro Saffiotti, editors, Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), pages 509-515. Pro- fessional Book Center, 2005.","title":"Planning with loops","authors":"Hector Levesque","year":"2005","venue":"Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005)","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Martin and Geffner, 2004] Mario Martin and Héctor Geffner. Learning generalized policies from planning examples using concept languages. Applied Intelligence, 20(1):9-19, 2004.","title":"Learning generalized policies from planning examples using concept languages","authors":"Martin, Geffner, Mario Martin, Héctor Geffner","year":"2004","venue":"Applied Intelligence","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[McDermott, 2000] Drew McDermott. The 1998 AI Plan- ning Systems competition. AI Magazine, 21(2):35-55, 2000.","title":"The 1998 AI Planning Systems competition","authors":"Drew Mcdermott, Mcdermott","year":"2000","venue":"AI Magazine","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Parmar, 2002] Aarati Parmar. A logical measure of progress for planning. In Proceedings of the Eighteenth National Conference on Artificial Intelligence (AAAI 2002), pages 498-505. AAAI Press, 2002.","title":"A logical measure of progress for planning","authors":"Aarati Parmar","year":"2002","venue":"Proceedings of the Eighteenth National Conference on Artificial Intelligence (AAAI 2002)","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Pommerening et al., 2015] Florian Pommerening, Malte Helmert, Gabriele Röger, and Jendrik Seipp. From non- negative to general operator cost partitioning. In Proceed- ings of the Twenty-Ninth AAAI Conference on Artificial In- telligence (AAAI 2015), pages 3335-3341. AAAI Press, 2015.","title":"From nonnegative to general operator cost partitioning","authors":"Florian Pommerening, Malte Helmert, Gabriele Röger, Jendrik Seipp","year":"2015","venue":"Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI 2015)","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Seipp et al., 2015] Jendrik Seipp, Florian Pommerening, and Malte Helmert. New optimization functions for po- tential heuristics. In Ronen Brafman, Carmel Domshlak, Patrik Haslum, and Shlomo Zilberstein, editors, Proceed- ings of the Twenty-Fifth International Conference on Au- tomated Planning and Scheduling (ICAPS 2015), pages 193-201. AAAI Press, 2015.","title":"New optimization functions for potential heuristics","authors":"Seipp","year":"2015","venue":"Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling (ICAPS 2015)","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Seipp et al., 2016] Jendrik Seipp, Florian Pommerening, Gabriele Röger, and Malte Helmert. Correlation complex- ity of classical planning domains. In Subbarao Kambham- pati, editor, Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), pages 3242-3250. AAAI Press, 2016.","title":"Correlation complexity of classical planning domains","authors":"Seipp","year":"2016","venue":"Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016)","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Slaney and Thiébaux, 2001] John Slaney and Sylvie Thiébaux. Blocks World revisited. Artificial Intelligence, 125(1-2):119-153, 2001.","title":"John Slaney and Sylvie Thiébaux","authors":"Thiébaux Slaney","year":"2001","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Srivastava et al., 2008] Siddharth Srivastava, Neil Immer- man, and Shlomo Zilberstein. Learning generalized plans using abstract counting. In Proceedings of the Twenty- Third AAAI Conference on Artificial Intelligence (AAAI 2008), pages 991-997. AAAI Press, 2008.","title":"Learning generalized plans using abstract counting","authors":"Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein","year":"2008","venue":"Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI 2008)","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Toyer et al., 2018] Sam Toyer, Felipe Trevizan, Sylvie Thiébaux, and Lexing Xie. Action schema networks: Gen- eralised policies with deep learning. In Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI 2018), pages 6294-6301. AAAI Press, 2018.","title":"Action schema networks: Generalised policies with deep learning","authors":"Sam Toyer, Felipe Trevizan, Sylvie Thiébaux, Lexing Xie","year":"2018","venue":"Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI 2018)","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Yoon et al., 2005] Sung Wook Yoon, Alan Fern, and Robert Givan. Learning measures of progress for planning do- mains. In Proceedings of the Twentieth National Confer- ence on Artificial Intelligence (AAAI 2005), pages 1217- 1222. AAAI Press, 2005.","title":"Learning measures of progress for planning domains","authors":"Sung Wook Yoon, Alan Fern, Robert Givan","year":"2005","venue":"Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI 2005)","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Yoon et al., 2006] Sung Wook Yoon, Alan Fern, and Robert Givan. Learning heuristic functions from relaxed plans. In Derek Long, Stephen F. Smith, Daniel Borrajo, and Lee McCluskey, editors, Proceedings of the Sixteenth Interna- tional Conference on Automated Planning and Scheduling (ICAPS 2006), pages 162-170. AAAI Press, 2006.","title":"Learning heuristic functions from relaxed plans","authors":"Sung Wook Yoon, Alan Fern, Robert Givan","year":"2006","venue":"Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006)","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Yoon et al., 2008] Sung Wook Yoon, Alan Fern, and Robert Givan. Learning control knowledge for forward search planning. Journal of Machine Learning Research, 9:683- 718, 2008.","title":"Learning control knowledge for forward search planning","authors":"Sung Wook Yoon, Alan Fern, Robert Givan","year":"2008","venue":"Journal of Machine Learning Research","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}