Generating macro-operators by exploiting inner entanglements

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

In Automated Planning, learning and exploiting additional knowledge within a domain model, in order to improve plan generation speed-up and increase the scope of problems solved, has attracted much research. Reformulation techniques such as those based on macro-operators or entanglements are very promising because they are to some extent domain model and planning engine independent. This paper aims to exploit recent work on inner entanglements, relations between pairs of planning operators and predicates encapsulating exclusivity of predicate 'achievements' or 'requirements', for generating macro-operators.We discuss conditions which are necessary for generating such macro-operators and conditions that allow removing primitive operators without compromising solvability of a given (class of) problem(s). The effectiveness of our approach will be experimentally shown on a set of well-known benchmark domains using several highperforming planning engines.

LanguageEnglish
Title of host publicationProceedings of the 10th Symposium on Abstraction, Reformulation, and Approximation, SARA 2013
Pages42-49
Number of pages8
Publication statusPublished - 2013
Event10th Symposium on Abstraction, Reformulation, and Approximation - Leavenworth, United States
Duration: 11 Jul 201312 Jul 2013
https://www.aaai.org/ocs/index.php/SARA/SARA13 (Link to Symposium Details )

Conference

Conference10th Symposium on Abstraction, Reformulation, and Approximation
Abbreviated titleSARA 2013
CountryUnited States
CityLeavenworth
Period11/07/1312/07/13
Internet address

Fingerprint

Macros
Planning
Engines

Cite this

Chrpa, L., Vallati, M., McCluskey, T. L., & Kitchin, D. (2013). Generating macro-operators by exploiting inner entanglements. In Proceedings of the 10th Symposium on Abstraction, Reformulation, and Approximation, SARA 2013 (pp. 42-49)
Chrpa, Luḱǎs ; Vallati, Mauro ; McCluskey, Thomas Leo ; Kitchin, Diane. / Generating macro-operators by exploiting inner entanglements. Proceedings of the 10th Symposium on Abstraction, Reformulation, and Approximation, SARA 2013. 2013. pp. 42-49
@inproceedings{9860a889ded64f009db4cfa8d27d02cb,
title = "Generating macro-operators by exploiting inner entanglements",
abstract = "In Automated Planning, learning and exploiting additional knowledge within a domain model, in order to improve plan generation speed-up and increase the scope of problems solved, has attracted much research. Reformulation techniques such as those based on macro-operators or entanglements are very promising because they are to some extent domain model and planning engine independent. This paper aims to exploit recent work on inner entanglements, relations between pairs of planning operators and predicates encapsulating exclusivity of predicate 'achievements' or 'requirements', for generating macro-operators.We discuss conditions which are necessary for generating such macro-operators and conditions that allow removing primitive operators without compromising solvability of a given (class of) problem(s). The effectiveness of our approach will be experimentally shown on a set of well-known benchmark domains using several highperforming planning engines.",
author = "Luḱǎs Chrpa and Mauro Vallati and McCluskey, {Thomas Leo} and Diane Kitchin",
year = "2013",
language = "English",
isbn = "9781577356301",
pages = "42--49",
booktitle = "Proceedings of the 10th Symposium on Abstraction, Reformulation, and Approximation, SARA 2013",

}

Chrpa, L, Vallati, M, McCluskey, TL & Kitchin, D 2013, Generating macro-operators by exploiting inner entanglements. in Proceedings of the 10th Symposium on Abstraction, Reformulation, and Approximation, SARA 2013. pp. 42-49, 10th Symposium on Abstraction, Reformulation, and Approximation, Leavenworth, United States, 11/07/13.

Generating macro-operators by exploiting inner entanglements. / Chrpa, Luḱǎs; Vallati, Mauro; McCluskey, Thomas Leo; Kitchin, Diane.

Proceedings of the 10th Symposium on Abstraction, Reformulation, and Approximation, SARA 2013. 2013. p. 42-49.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Generating macro-operators by exploiting inner entanglements

AU - Chrpa, Luḱǎs

AU - Vallati, Mauro

AU - McCluskey, Thomas Leo

AU - Kitchin, Diane

PY - 2013

Y1 - 2013

N2 - In Automated Planning, learning and exploiting additional knowledge within a domain model, in order to improve plan generation speed-up and increase the scope of problems solved, has attracted much research. Reformulation techniques such as those based on macro-operators or entanglements are very promising because they are to some extent domain model and planning engine independent. This paper aims to exploit recent work on inner entanglements, relations between pairs of planning operators and predicates encapsulating exclusivity of predicate 'achievements' or 'requirements', for generating macro-operators.We discuss conditions which are necessary for generating such macro-operators and conditions that allow removing primitive operators without compromising solvability of a given (class of) problem(s). The effectiveness of our approach will be experimentally shown on a set of well-known benchmark domains using several highperforming planning engines.

AB - In Automated Planning, learning and exploiting additional knowledge within a domain model, in order to improve plan generation speed-up and increase the scope of problems solved, has attracted much research. Reformulation techniques such as those based on macro-operators or entanglements are very promising because they are to some extent domain model and planning engine independent. This paper aims to exploit recent work on inner entanglements, relations between pairs of planning operators and predicates encapsulating exclusivity of predicate 'achievements' or 'requirements', for generating macro-operators.We discuss conditions which are necessary for generating such macro-operators and conditions that allow removing primitive operators without compromising solvability of a given (class of) problem(s). The effectiveness of our approach will be experimentally shown on a set of well-known benchmark domains using several highperforming planning engines.

UR - http://www.scopus.com/inward/record.url?scp=84893310330&partnerID=8YFLogxK

M3 - Conference contribution

SN - 9781577356301

SP - 42

EP - 49

BT - Proceedings of the 10th Symposium on Abstraction, Reformulation, and Approximation, SARA 2013

ER -

Chrpa L, Vallati M, McCluskey TL, Kitchin D. Generating macro-operators by exploiting inner entanglements. In Proceedings of the 10th Symposium on Abstraction, Reformulation, and Approximation, SARA 2013. 2013. p. 42-49