Herzig, Andreas and Perrussel, Laurent
and Xiao, Zhanhao
On hierarchical task networks.
(2016)
In: 15th European Conference On Logics In Artificial Intelligence (JELIA 2016), 9 November 2016 - 11 November 2016 (Larnaca, Cyprus).
|
(Document in English)
PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 171kB |
Official URL: https://doi.org/10.1007/978-3-319-48758-8_38
Abstract
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.
Item Type: | Conference or Workshop Item (Paper) |
---|---|
Additional Information: | Thanks to Springer editor. This papers appears in Volume 10021 of Lecture Notes in Computer Science ISSN : 0302-9743 ISBN: 978-3-319-48757-1 The original PDF is available at: https://link.springer.com/chapter/10.1007/978-3-319-48758-8_38 |
HAL Id: | hal-01692705 |
Audience (conference): | International conference proceedings |
Uncontrolled Keywords: | |
Institution: | French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE) Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE) Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE) Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE) Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE) Other partners > University of Western Sydney - UWS (AUSTRALIA) |
Laboratory name: | |
Statistics: | download |
Deposited On: | 15 Jan 2018 13:09 |
Repository Staff Only: item control page