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: | |
Depositing User: | Lukas Chrpa |
Date Deposited: | 22 Jul 2015 13:28 |
Last Modified: | 28 Aug 2021 17:58 |
URI: | http://eprints.hud.ac.uk/id/eprint/25260 |
Downloads
Downloads per month over past year
Repository Staff Only: item control page
![]() |
View Item |