Revisiting inner entanglements in classical planning

Lukáš Chrpa, Mauro Vallati

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

Abstract

In Automated Planning, learning and exploiting structural patterns of plans, domain models and/or problem models, 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, mainly because they are planner-independent. This paper aims to extend and revisit the recent work on inner entanglements, relations between pairs of planning operators and predicates encapsulating exclusivity of predicate 'achievements' or 'requirements', in order to bring new theoretical results (PSPACE-completeness of deciding inner entanglements), present a new way of encoding of inner entanglements and empirical comparison between different kinds of inner entanglements.

LanguageEnglish
Title of host publicationTwelfth Scandinavian Conference on Artificial Intelligence. SCAI 2013
Pages75-84
Number of pages10
Volume257
DOIs
Publication statusPublished - 2013

Publication series

NameFrontiers in Artificial Intelligence and Applications
Volume257
ISSN (Print)09226389

Fingerprint

Planning
Macros

Cite this

Chrpa, L., & Vallati, M. (2013). Revisiting inner entanglements in classical planning. In Twelfth Scandinavian Conference on Artificial Intelligence. SCAI 2013 (Vol. 257, pp. 75-84). (Frontiers in Artificial Intelligence and Applications; Vol. 257). https://doi.org/10.3233/978-1-61499-330-8-75
Chrpa, Lukáš ; Vallati, Mauro. / Revisiting inner entanglements in classical planning. Twelfth Scandinavian Conference on Artificial Intelligence. SCAI 2013. Vol. 257 2013. pp. 75-84 (Frontiers in Artificial Intelligence and Applications).
@inproceedings{0a8e36e1ee55400893d6ff03f71a4119,
title = "Revisiting inner entanglements in classical planning",
abstract = "In Automated Planning, learning and exploiting structural patterns of plans, domain models and/or problem models, 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, mainly because they are planner-independent. This paper aims to extend and revisit the recent work on inner entanglements, relations between pairs of planning operators and predicates encapsulating exclusivity of predicate 'achievements' or 'requirements', in order to bring new theoretical results (PSPACE-completeness of deciding inner entanglements), present a new way of encoding of inner entanglements and empirical comparison between different kinds of inner entanglements.",
keywords = "Classical Planning, Inner Entanglements, Problem Reformulation",
author = "Luk{\'a}š Chrpa and Mauro Vallati",
year = "2013",
doi = "10.3233/978-1-61499-330-8-75",
language = "English",
isbn = "9781614993292",
volume = "257",
series = "Frontiers in Artificial Intelligence and Applications",
pages = "75--84",
booktitle = "Twelfth Scandinavian Conference on Artificial Intelligence. SCAI 2013",

}

Chrpa, L & Vallati, M 2013, Revisiting inner entanglements in classical planning. in Twelfth Scandinavian Conference on Artificial Intelligence. SCAI 2013. vol. 257, Frontiers in Artificial Intelligence and Applications, vol. 257, pp. 75-84. https://doi.org/10.3233/978-1-61499-330-8-75

Revisiting inner entanglements in classical planning. / Chrpa, Lukáš; Vallati, Mauro.

Twelfth Scandinavian Conference on Artificial Intelligence. SCAI 2013. Vol. 257 2013. p. 75-84 (Frontiers in Artificial Intelligence and Applications; Vol. 257).

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

TY - GEN

T1 - Revisiting inner entanglements in classical planning

AU - Chrpa, Lukáš

AU - Vallati, Mauro

PY - 2013

Y1 - 2013

N2 - In Automated Planning, learning and exploiting structural patterns of plans, domain models and/or problem models, 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, mainly because they are planner-independent. This paper aims to extend and revisit the recent work on inner entanglements, relations between pairs of planning operators and predicates encapsulating exclusivity of predicate 'achievements' or 'requirements', in order to bring new theoretical results (PSPACE-completeness of deciding inner entanglements), present a new way of encoding of inner entanglements and empirical comparison between different kinds of inner entanglements.

AB - In Automated Planning, learning and exploiting structural patterns of plans, domain models and/or problem models, 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, mainly because they are planner-independent. This paper aims to extend and revisit the recent work on inner entanglements, relations between pairs of planning operators and predicates encapsulating exclusivity of predicate 'achievements' or 'requirements', in order to bring new theoretical results (PSPACE-completeness of deciding inner entanglements), present a new way of encoding of inner entanglements and empirical comparison between different kinds of inner entanglements.

KW - Classical Planning

KW - Inner Entanglements

KW - Problem Reformulation

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

U2 - 10.3233/978-1-61499-330-8-75

DO - 10.3233/978-1-61499-330-8-75

M3 - Conference contribution

SN - 9781614993292

VL - 257

T3 - Frontiers in Artificial Intelligence and Applications

SP - 75

EP - 84

BT - Twelfth Scandinavian Conference on Artificial Intelligence. SCAI 2013

ER -

Chrpa L, Vallati M. Revisiting inner entanglements in classical planning. In Twelfth Scandinavian Conference on Artificial Intelligence. SCAI 2013. Vol. 257. 2013. p. 75-84. (Frontiers in Artificial Intelligence and Applications). https://doi.org/10.3233/978-1-61499-330-8-75