{"type":"ScholarlyArticle","title":"Handling non-local dead-ends in Agent Planning Programs","authors":[{"name":"Lukas Chrpa","slug":"lukas-chrpa","given":"Lukas","family":"Chrpa","affiliation":"Charles University in Prague &; Czech Technical University Prague , Czech Republic"},{"name":"Nir Lipovetzky","slug":"nir-lipovetzky","given":"Nir","family":"Lipovetzky","affiliation":"University of Melbourne Melbourne , Australia"},{"name":"Sebastian Sardina","slug":"sebastian-sardina","given":"Sebastian","family":"Sardina","affiliation":"RMIT University Melbourne , Australia"}],"abstract":"We propose an approach to reason about agent planning programs with global information. Agent planning programs can be understood as a network of planning tasks, accommodating long-term goals, non-terminating behaviors, and interactive execution. We provide a technique that relies on reasoning about ``global\" dead-ends and that can be incorporated to any planning-based approach to agent planning problems. In doing so, we also introduce the notion of online execution of such planning structures. We provide experimental evidence suggesting the technique yields significant benefits.","doi":"10.24963/ijcai.2017/135","url":"https://ijcai.org/proceedings/2017/135","pdf":"https://ijcai.org/proceedings/2017/0135.pdf","markdown":"https://ijcai.org/proceedings/2017/135.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/135","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Knowledge Representation, Reasoning, and Logic","track":"Main track","number":135,"pages":{"first":971,"last":978},"keywords":["Agent-based and Multi-agent Systems: Agent Theories and Models","Knowledge Representation, Reasoning, and Logic: Action, Change and Causality","Combinatorial & Heuristic Search: Meta-Reasoning and Meta-heuristics"],"videos":[],"references":[{"position":1,"raw":"[Bloem et al., 2012] Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli, and Yaniv Sa'ar. Synthesis of reactive(1) designs. Journal of Computer and System Sciences, 78(3):911-938, 2012.","title":"Synthesis of reactive(1) designs","authors":"Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Yaniv Sa, ' Ar","year":"2012","venue":"Journal of Computer and System Sciences","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Dal Lago et al., 2002] Ugo Dal Lago, Marco Pistore, and Paolo Traverso. Planning with a language for extended goals. In Proceedings of the National Conference on Arti- ficial Intelligence (AAAI), pages 447-454, 2002.","title":"Planning with a language for extended goals","authors":"Ugo Dal Lago, Marco Pistore, Paolo Traverso","year":"2002","venue":"Proceedings of the National Conference on Artificial Intelligence (AAAI)","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[De Giacomo et al., 2010] Giuseppe De Giacomo, Fabio Pa- trizi, and Sebastian Sardina. Agent programming via plan- ning programs. In Proceedings of the International Con- ference on Autonomous Agents and Multi-Agent Systems (AAMAS), pages 491-498, 2010.","title":"Agent programming via planning programs","authors":"Giuseppe De, Giacomo, Fabio Patrizi, Sebastian Sardina","year":"2010","venue":"Proceedings of the International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS)","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[De Giacomo et al., 2016] Giuseppe De Giacomo, Alfonso Gerevini, Fabio Patrizi, Alessandro Saetti, and Sebastian Sardina. Agent planning programs. Artificial Intelligence, 231:64-106, 2016.","title":"Agent planning programs","authors":"Giuseppe De, Giacomo, Alfonso Gerevini, Fabio Patrizi, Alessandro Saetti, Sebastian Sardina","year":"2016","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Edelkamp, 2006] Stefan Edelkamp. On the compilation of plan constraints and preferences. In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), pages 374-377, 2006.","title":"On the compilation of plan constraints and preferences","authors":"Stefan Edelkamp","year":"2006","venue":"Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS)","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Gerevini et al., 2003] Alfonso Gerevini, Alessandro Saetti, and Ivan Serina. Planning through stochastic local search and temporal action graphs. Journal of Artificial Intelli- gence Research (JAIR), 20:239 -290, 2003.","title":"Planning through stochastic local search and temporal action graphs","authors":"Alfonso Gerevini, Alessandro Saetti, Ivan Serina","year":"2003","venue":"Journal of Artificial Intelligence Research (JAIR)","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Gerevini et al., 2011] Alfonso Gerevini, Fabio Patrizi, and Alessandro Saetti. An effective approach to realizing plan- ning programs. In Proceedings of the International Con- ference on Automated Planning and Scheduling (ICAPS), pages 323-326, 2011.","title":"An effective approach to realizing planning programs","authors":"Alfonso Gerevini, Fabio Patrizi, Alessandro Saetti","year":"2011","venue":"Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS)","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Ghallab et al., 2004] Malik Ghallab, Dana S. Nau, and Paolo Traverso. Automated planning, theory and practice. Morgan Kaufmann, 2004.","title":"Automated planning, theory and practice","authors":"Malik Ghallab, Dana S Nau, Paolo Traverso","year":"2004","venue":null,"doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Ghallab et al., 2014] Malik Ghallab, Dana S. Nau, and Paolo Traverso. The actor's view of automated plan- ning and acting: A position paper. Artificial Intelligence, 208:1-17, 2014.","title":"The actor's view of automated planning and acting: A position paper","authors":"Malik Ghallab, Dana S Nau, Paolo Traverso","year":"2014","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Helmert and Domshlak, 2009] Malte Helmert and Carmel Domshlak. Landmarks, critical paths and abstractions: What's the difference anyway? In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), pages 162-129, 2009.","title":"Malte Helmert and Carmel Domshlak. Landmarks, critical paths and abstractions: What's the difference anyway","authors":"Domshlak Helmert","year":"2009","venue":"Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS)","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Lipovetzky and Geffner, 2014] Nir Lipovetzky and Héctor Geffner. Width-based algorithms for classical planning: New results. In Proceedings of the European Conference in Artificial Intelligence (ECAI), pages 88-90, 2014.","title":"Width-based algorithms for classical planning: New results","authors":"Geffner Lipovetzky, Nir Lipovetzky, Héctor Geffner","year":"2014","venue":"Proceedings of the European Conference in Artificial Intelligence (ECAI)","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Lipovetzky et al., 2016] Nir Lipovetzky, Christian J. Muise, and Hector Geffner. Traps, invariants, and dead-ends. In Proceedings of the International Conference on Auto- mated Planning and Scheduling (ICAPS), pages 211-215, 2016.","title":"Traps, invariants, and dead-ends","authors":"Nir Lipovetzky, Christian J Muise, Hector Geffner","year":"2016","venue":"Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS)","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Pnueli and Rosner, 1989] Amir Pnueli and Roni Rosner. On the synthesis of an asynchronous reactive module. In Pro- ceedings of the International Colloquium on Automata, Languages and Programming (ICALP), pages 652-671, 1989.","title":"On the synthesis of an asynchronous reactive module","authors":"Rosner ; ] Amir Pnueli, Roni Pnueli, Rosner","year":"1989","venue":"Proceedings of the International Colloquium on Automata, Languages and Programming (ICALP)","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Ramirez et al., 2015] Miquel Ramirez, Nir Lipovetzky, and Christian Muise. Lightweight Automated Planning ToolKiT. http://lapkt.org/, 2015. Accessed: 2016-11-1.","title":"Lightweight Automated Planning ToolKiT","authors":"Ramirez","year":"2015","venue":null,"doi":null,"url":"http://lapkt.org/,2015","internal_url":null},{"position":15,"raw":"[Shivashankar et al., 2012] Vikas Shivashankar, Ugur Kuter, Dana S. Nau, and Ronald Alford. A hierarchical goal- based formalism and algorithm for single-agent plan- ning. In Proceedings of the International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), pages 981-988, 2012.","title":"A hierarchical goalbased formalism and algorithm for single-agent planning","authors":"Vikas Shivashankar, Ugur Kuter, Dana S Nau, Ronald Alford","year":"2012","venue":"Proceedings of the International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS)","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Slaney and Thiébaux, 2001] John K. Slaney and Sylvie Thiébaux. Blocks world revisited. Artificial Intelligence, 125(1-2):119-153, 2001.","title":"Blocks world revisited","authors":"John K Slaney, Sylvie Thiébaux","year":"2001","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Vernhes et al., 2013] Simon Vernhes, Guillaume Infantes, and Vincent Vidal. Problem splitting using heuristic search in landmark orderings. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 2401-2407, 2013.","title":"Problem splitting using heuristic search in landmark orderings","authors":"Simon Vernhes, Guillaume Infantes, Vincent Vidal","year":"2013","venue":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)","doi":null,"url":null,"internal_url":"/proceedings/2013/353"}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}