@inproceedings{hofmannMacroOperatorSynthesis2020,
  title = {Macro Operator Synthesis for {{ADL}} Domains},
  booktitle = {Proceedings of the 24th {{European Conference}} on {{Artificial Intelligence}} ({{ECAI}})},
  author = {Hofmann, Till and Niemueller, Tim and Lakemeyer, Gerhard},
  year = {2020},
  abstract = {A macro operator is a planning operator that is generated from a
    sequence of actions. Macros have mostly been used for macro
    planning, where the planner considers the macro as a single action and
    expands it into the original sequence during execution, but they can
    also be applied to other problems, such as maintaining a plan library.
    There are several approaches to macro operator generation, which differ
    in restrictions on the original actions and in the way they represent
    macros.  However, all existing approaches are either restricted to
    STRIPS domains, only work on grounded actions, or they do not synthesize
    macros but consider the original sequence instead. We study the
    synthesis of macro operators for ADL domains. We describe how to compute
    the parameterized preconditions and effects of a macro operator such that
    they are equivalent to the preconditions and effects of the respective
    action sequence and prove the correctness of the synthesized macro
    operators based on a Situation Calculus semantics for ADL. We use the
    synthesis method for ADL macro planning and evaluate it on a number of domains
    from the IPC. As a second application, we describe how macro operator synthesis
    can be useful for maintaining a plan library by computing the precondition and
    effects of the parameterized library plans.
  },
  url = {http://ecai2020.eu/papers/1491_paper.pdf},
  url_Presentation = {https://www.underline.io/events/24/sessions/194/lecture/2010-macro-operator-synthesis-for-adl-domains}
}

{"_id":"W8rZzQnkw67MEXvBZ","bibbaseid":"hofmann-niemueller-lakemeyer-macrooperatorsynthesisforadldomains-2020","author_short":["Hofmann, T.","Niemueller, T.","Lakemeyer, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Macro Operator Synthesis for ADL Domains","booktitle":"Proceedings of the 24th European Conference on Artificial Intelligence (ECAI)","author":[{"propositions":[],"lastnames":["Hofmann"],"firstnames":["Till"],"suffixes":[]},{"propositions":[],"lastnames":["Niemueller"],"firstnames":["Tim"],"suffixes":[]},{"propositions":[],"lastnames":["Lakemeyer"],"firstnames":["Gerhard"],"suffixes":[]}],"year":"2020","abstract":"A macro operator is a planning operator that is generated from a sequence of actions. Macros have mostly been used for macro planning, where the planner considers the macro as a single action and expands it into the original sequence during execution, but they can also be applied to other problems, such as maintaining a plan library. There are several approaches to macro operator generation, which differ in restrictions on the original actions and in the way they represent macros. However, all existing approaches are either restricted to STRIPS domains, only work on grounded actions, or they do not synthesize macros but consider the original sequence instead. We study the synthesis of macro operators for ADL domains. We describe how to compute the parameterized preconditions and effects of a macro operator such that they are equivalent to the preconditions and effects of the respective action sequence and prove the correctness of the synthesized macro operators based on a Situation Calculus semantics for ADL. We use the synthesis method for ADL macro planning and evaluate it on a number of domains from the IPC. As a second application, we describe how macro operator synthesis can be useful for maintaining a plan library by computing the precondition and effects of the parameterized library plans. ","url":"http://ecai2020.eu/papers/1491_paper.pdf","url_presentation":"https://www.underline.io/events/24/sessions/194/lecture/2010-macro-operator-synthesis-for-adl-domains","bibtex":"@inproceedings{hofmannMacroOperatorSynthesis2020,\n title = {Macro Operator Synthesis for {{ADL}} Domains},\n booktitle = {Proceedings of the 24th {{European Conference}} on {{Artificial Intelligence}} ({{ECAI}})},\n author = {Hofmann, Till and Niemueller, Tim and Lakemeyer, Gerhard},\n year = {2020},\n abstract = {A macro operator is a planning operator that is generated from a\n sequence of actions. Macros have mostly been used for macro\n planning, where the planner considers the macro as a single action and\n expands it into the original sequence during execution, but they can\n also be applied to other problems, such as maintaining a plan library.\n There are several approaches to macro operator generation, which differ\n in restrictions on the original actions and in the way they represent\n macros. However, all existing approaches are either restricted to\n STRIPS domains, only work on grounded actions, or they do not synthesize\n macros but consider the original sequence instead. We study the\n synthesis of macro operators for ADL domains. We describe how to compute\n the parameterized preconditions and effects of a macro operator such that\n they are equivalent to the preconditions and effects of the respective\n action sequence and prove the correctness of the synthesized macro\n operators based on a Situation Calculus semantics for ADL. We use the\n synthesis method for ADL macro planning and evaluate it on a number of domains\n from the IPC. As a second application, we describe how macro operator synthesis\n can be useful for maintaining a plan library by computing the precondition and\n effects of the parameterized library plans.\n },\n url = {http://ecai2020.eu/papers/1491_paper.pdf},\n url_Presentation = {https://www.underline.io/events/24/sessions/194/lecture/2010-macro-operator-synthesis-for-adl-domains}\n}\n\n","author_short":["Hofmann, T.","Niemueller, T.","Lakemeyer, G."],"key":"hofmannMacroOperatorSynthesis2020","id":"hofmannMacroOperatorSynthesis2020","bibbaseid":"hofmann-niemueller-lakemeyer-macrooperatorsynthesisforadldomains-2020","role":"author","urls":{"Paper":"http://ecai2020.eu/papers/1491_paper.pdf"," presentation":"https://www.underline.io/events/24/sessions/194/lecture/2010-macro-operator-synthesis-for-adl-domains"},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"inproceedings","biburl":"https://ml.rwth-aachen.de/~till.hofmann/files/hofmann.bib","dataSources":["dqRQPSg6Hy3ZXQg7z","P2RLsqAnkwjGHmpeQ","zp5TdwDdbpGvos9cF"],"keywords":[],"search_terms":["macro","operator","synthesis","adl","domains","hofmann","niemueller","lakemeyer"],"title":"Macro Operator Synthesis for ADL Domains","year":2020,"downloads":1}