Handling Empty Decomposition Methods in Hierarchical Planning

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F24%3A10484021" target="_blank" >RIV/00216208:11320/24:10484021 - isvavai.cz</a>
Result on the web
<a href="https://doi.org/10.32473/flairs.37.1.135304" target="_blank" >https://doi.org/10.32473/flairs.37.1.135304</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.32473/flairs.37.1.135304" target="_blank" >10.32473/flairs.37.1.135304</a>

Result language
angličtina
Original language name
Handling Empty Decomposition Methods in Hierarchical Planning
Original language description
Hierarchical planning is a form of planning where tasks decompose into sub-tasks until primitive tasks (actions) are obtained. These decompositions might contain additional constraints, such as subtask ordering and state constraints. If a task is already fulfilled, it does not need to decompose into anything, but it may still require satisfaction of a particular state constraint (to check that the task is fulfilled). Such decomposition methods are called empty. Despite practical usefulness, many hierarchical planning models do not support empty methods fully. This paper shows that two recently introduced hierarchical planning formalisms are equivalent with respect to empty methods. We also discuss the possibility of compiling such methods away. In particular, we show how to compile them away in totally ordered domains and discuss the difficulties in partially ordered domains.
Czech name
—
Czech description
—

Type
O - Miscellaneous
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Publication year
2024
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)