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
AN - SCOPUS:84894669554
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 -