{"type":"ScholarlyArticle","title":"Effect-Abstraction Based Relaxation for Linear Numeric Planning","authors":[{"name":"Dongxu Li","slug":"dongxu-li","given":"Dongxu","family":"Li","affiliation":"The Australian National University"},{"name":"Enrico Scala","slug":"enrico-scala","given":"Enrico","family":"Scala","affiliation":"Fondazione Bruno Kessler ( Italy"},{"name":"Patrik Haslum","slug":"patrik-haslum","given":"Patrik","family":"Haslum","affiliation":"The Australian National University; CSIRO Data61"},{"name":"Sergiy Bogomolov","slug":"sergiy-bogomolov","given":"Sergiy","family":"Bogomolov","affiliation":"The Australian National University"}],"abstract":"This paper studies an effect-abstraction based relaxation\r\n  for reasoning about linear numeric planning problems. The effect-abstraction\r\n  decomposes non-constant linear numeric effects into actions with conditional\r\n  effects over additive constant numeric effects. With little effort, on this\r\n  compiled version, it is possible to use known subgoaling based relaxations\r\n  and relative heuristics. The combination of these two steps leads to a novel\r\n  relaxation based heuristic. Theoretically, the relaxation is proved tighter\r\n  than previous interval based relaxation and leading to safe-pruning\r\n  heuristics. Empirically, a heuristic developed on this relaxation leads to\r\n  substantial improvements for a class of  problems that are currently out of\r\n  the reach of state-of-the-art numeric planners.","doi":"10.24963/ijcai.2018/665","url":"https://ijcai.org/proceedings/2018/665","pdf":"https://ijcai.org/proceedings/2018/0665.pdf","markdown":"https://ijcai.org/proceedings/2018/665.md","bibtex":"https://ijcai.org/proceedings/2018/bibtex/665","volume":{"slug":"2018","title":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2018","url":"https://ijcai.org/proceedings/2018/","year":2018,"location":"Stockholm","dates":"13-19 July 2018","editors":"Jérôme Lang","isbn":"978-0-9992411-2-7","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2018"},"section":"Planning and Scheduling","track":"Main track","number":665,"pages":{"first":4787,"last":4793},"keywords":["Planning and Scheduling: Temporal and Hybrid planning","Heuristic Search and Game Playing: Heuristic Search","Planning and Scheduling: Planning and Scheduling"],"videos":[],"references":[{"position":1,"raw":"[Aldinger et al., 2015] Johannes Aldinger, Robert Mattmüller, and Moritz Göbelbecker. Complexity of interval relaxed numeric planning. In Proc. of KI 2015: Advances in Artificial Intelligence, pages 19-31, 2015.","title":"Complexity of interval relaxed numeric planning","authors":"Aldinger","year":"2015","venue":"Proc. of KI 2015: Advances in Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Coles and Coles, 2011] Amanda Jane Coles and Andrew Coles. LPRPG-P: Relaxed plan heuristics for planning with preferences. In ICAPS, 2011.","title":"LPRPG-P: Relaxed plan heuristics for planning with preferences","authors":"Amanda, Jane Coles, Andrew Coles","year":"2011","venue":"ICAPS","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Coles et al., 2010] Amanda Jane Coles, Andrew Coles, Maria Fox, and Derek Long. Forward-chaining partial- order planning. In ICAPS, pages 42-49, 2010.","title":"Forward-chaining partialorder planning","authors":"Amanda Jane Coles, Andrew Coles, Maria Fox, Derek Long","year":"2010","venue":"ICAPS","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Coles et al., 2012] Amanda Jane Coles, Andrew I Coles, Maria Fox, and Derek Long. Colin: Planning with con- tinuous linear numeric change. Journal of Artificial Intel- ligence Research, 44:1-96, 2012.","title":"Colin: Planning with continuous linear numeric change","authors":"Amanda Jane Coles, Andrew I Coles, Maria Fox, Derek Long","year":"2012","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Fox and Long, 2003] Maria Fox and Derek Long. PDDL2.1: An extension to pddl for expressing tem- poral planning domains. Journal of Artificial Intelligence Research, 20:61-124, 2003.","title":"PDDL2.1: An extension to pddl for expressing temporal planning domains","authors":"Maria Fox, Derek Long","year":"2003","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Francès and Geffner, 2015] Guillem Francès and Hector Geffner. Modeling and computation in planning: Better heuristics from more expressive languages. In Proc. of the Conference on Automated Planning and Scheduling, (ICAPS 2015), pages 70-78, 2015.","title":"Guillem Francès and Hector Geffner. Modeling and computation in planning: Better heuristics from more expressive languages","authors":"Geffner Francès","year":"2015","venue":"Proc. of the Conference on Automated Planning and Scheduling","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Gordon, 1998] Russell A Gordon. The use of tagged par- titions in elementary real analysis. The American mathe- matical monthly, 105(2):107-117, 1998.","title":"The use of tagged partitions in elementary real analysis","authors":"Gordon Russell","year":"1998","venue":"The American mathematical monthly","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Helmert et al., 2007] Malte Helmert, Patrik Haslum, Jörg Hoffmann, et al. Flexible abstraction heuristics for opti- mal sequential planning. In ICAPS, pages 176-183, 2007.","title":"Flexible abstraction heuristics for optimal sequential planning","authors":"Malte Helmert, Patrik Haslum, Jörg Hoffmann","year":"2007","venue":"ICAPS","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Helmert, 2002] Malte Helmert. Decidability and undecid- ability results for planning with numerical state variables. In Proc,. of International Conference on Artificial Intelli- gence Planning and Scheduling (AIPS 2002), pages 44- 53, 2002.","title":"Decidability and undecidability results for planning with numerical state variables","authors":"Malte Helmert, Helmert","year":"2002","venue":"Proc,. of International Conference on Artificial Intelligence Planning and Scheduling (AIPS 2002)","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Hoffmann, 2003] Jörg Hoffmann. The Metric-FF planning system: Translating \"ignoring delete lists\" to numeric state variables. Journal of Artificial Intelligence Research (JAIR), 20:291-341, 2003.","title":"The Metric-FF planning system: Translating \"ignoring delete lists\" to numeric state variables","authors":"Jörg Hoffmann","year":"2003","venue":"Journal of Artificial Intelligence Research (JAIR)","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Illanes and McIlraith, 2017] León Illanes and Sheila A McIlraith. Numeric planning via abstraction and policy guided search. In Proceedings of International Joint Con- ference on Artificial Intelligence, pages 4338-4345, 2017.","title":"Numeric planning via abstraction and policy guided search","authors":"Mcilraith Illanes, León Illanes, Sheila A Mcilraith","year":"2017","venue":"Proceedings of International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/2017/606"},{"position":12,"raw":"[Kiam and Schulte, 2017] Jane Jean Kiam and Axel Schulte. Multilateral quality mission planning for solar-powered long-endurance UAV. In Aerospace Conference, 2017 IEEE, pages 1-10. IEEE, 2017.","title":"Multilateral quality mission planning for solar-powered long-endurance UAV","authors":"Schulte Kiam, Jane, Jean Kiam, Axel Schulte","year":"2017","venue":"Aerospace Conference","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Piacentini et al., 2018] Chiara Piacentini, Margarita P. Cas- tro, Andre A. Cire, and J. Christopher Beck. Linear and integer programming-based heuristics for cost-optimal nu- meric planning. In to appear in proceedings of AAAI-18, 2018.","title":"Linear and integer programming-based heuristics for cost-optimal numeric planning","authors":"Chiara Piacentini, Margarita P Castro, Andre A Cire, J Christopher Beck","year":"2018","venue":"proceedings of AAAI-18","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Piotrowski et al., 2016] Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, and Fabio Merco- rio. Heuristic planning for hybrid systems. In Proceed- ings of the Thirtieth AAAI Conference on Artificial Intel- ligence, February 12-17, 2016, Phoenix, Arizona, USA., pages 4254-4255, 2016.","title":"Heuristic planning for hybrid systems","authors":"Mateusz Wiktor, Maria Piotrowski, Derek Fox, Daniele Long, Fabio Magazzeni, Mercorio","year":"2016","venue":"Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Röger et al., 2014] Gabriele Röger, Florian Pommerening, and Malte Helmert. Optimal planning in the presence of conditional effects: Extending LM-cut with context split- ting. In Proceedings of the Twenty-first European Confer- ence on Artificial Intelligence, pages 765-770. IOS Press, 2014.","title":"Optimal planning in the presence of conditional effects: Extending LM-cut with context splitting","authors":"Gabriele Röger, Florian Pommerening, Malte Helmert","year":"2014","venue":"Proceedings of the Twenty-first European Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Scala et al., 2016a] Enrico Scala, Patrik Haslum, and Sylvie Thiébaux. Heuristics for numeric planning via subgoal- ing. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pages 3228-3234, 2016.","title":"Heuristics for numeric planning via subgoaling","authors":"Scala","year":"2016","venue":"Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016","doi":null,"url":null,"internal_url":"/proceedings/2016/457"},{"position":17,"raw":"[Scala et al., 2016b] Enrico Scala, Patrik Haslum, Sylvie Thiébaux, and Miquel Ramírez. Interval-based relaxation for general numeric planning. In ECAI 2016 -22nd Euro- pean Conference on Artificial Intelligence, pages 655-663, 2016.","title":"Interval-based relaxation for general numeric planning","authors":"Scala","year":"2016","venue":"ECAI 2016 -22nd European Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Vallati et al., 2016] Mauro Vallati, Daniele Magazzeni, Bart De Schutter, Lukás Chrpa, and Thomas Leo McCluskey. Efficient macroscopic urban traffic models for reducing congestion: A PDDL+ planning approach. In AAAI, pages 3188-3194, 2016.","title":"Efficient macroscopic urban traffic models for reducing congestion: A PDDL+ planning approach","authors":"Mauro Vallati, Daniele Magazzeni, Bart De Schutter, Lukás Chrpa, Thomas Leo Mccluskey","year":"2016","venue":"AAAI","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}