TY  - CONF
ID  - publications29055
UR  - https://publications.ut-capitole.fr/id/eprint/29055/
A1  - Herzig, Andreas
A1  - Perrussel, Laurent
A1  - Xiao, Zhanhao
Y1  - 2016///
N2  - In planning based on hierarchical task networks (HTN), plans are generated by refining high-level actions (‘compound tasks’) into lower-level actions, until primitive actions are obtained that can be sent to execution. While a primitive action is defined by its precondition and effects, a high-level action is defined by zero, one or several methods: sets of (high-level or primitive) actions decomposing it together with a constraint. We give a semantics of HTNs in terms of dynamic logic with program inclusion. We propose postulates guaranteeing soundness and completeness of action refinement. We also show that hybrid planning can be analysed in the same dynamic logic framework.
PB  - Springer
KW  - Hierarchical task networks - HTN
TI  - On hierarchical task networks
SP  - 551
AV  - public
EP  - 557
T2  - 15th European Conference On Logics In Artificial Intelligence (JELIA 2016)
ER  -