On the Completeness of Replacing Primitive Actions with Macro-actions and its Generalization to Planning Operators and Macro-operators

Chrpa, Lukáš, McCluskey, T.L. and Osborne, Hugh (2015) On the Completeness of Replacing Primitive Actions with Macro-actions and its Generalization to Planning Operators and Macro-operators. AI Communications, 29 (1). pp. 163-183. ISSN 0921-7126

PDF - Accepted Version Download (407kB)

Abstract

Automated planning, which deals with the problem of generating sequences of actions, is an emerging research topic due to its potentially wide range of real-world application domains. As well as developing and improving planning engines, the acquisition of domain-specific knowledge is a promising way to improve the planning process. Domain-specific knowledge can be encoded into the modelling language that a range of planning engines can accept. This makes encoding domain-specific knowledge planner-independent, and entails reformulating the domain models and/or problem specifications. While many encouraging practical results have been derived from such reformulation methods (e.g. learning macro-actions), little attention has been paid to the theoretical properties such as completeness (keeping solvability of reformulated problems). In this paper, we focus on a special case – removing primitive actions replaced by macro-actions. We provide a theoretical study and come up with conditions under which it is safe to remove primitive actions, so completeness of reformulation is preserved. We extend this study also for planning operators (actions are instances of operators).

Item Type:	Article
Additional Information:	The final publication is available at IOS Press through http://dx.doi.org/10.3233/AIC-150679
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Schools:	School of Computing and Engineering > High-Performance Intelligent Computing > Planning, Autonomy and Representation of Knowledge School of Computing and Engineering > High-Performance Intelligent Computing > Planning, Autonomy and Representation of Knowledge School of Computing and Engineering
Related URLs:	Author Author Author
Depositing User:	Lukas Chrpa
Date Deposited:	22 Jul 2015 13:28
Last Modified:	01 Dec 2016 12:20
URI:	http://eprints.hud.ac.uk/id/eprint/25260

Downloads

Repository Staff Only: item control page

View Item