A Novel Parsing-based Approach for Verification of Hierarchical Plans

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F20%3A10424788" target="_blank" >RIV/00216208:11320/20:10424788 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.1109/ICTAI50040.2020.00029" target="_blank" >https://doi.org/10.1109/ICTAI50040.2020.00029</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1109/ICTAI50040.2020.00029" target="_blank" >10.1109/ICTAI50040.2020.00029</a>

Jazyk výsledku

angličtina

Název v původním jazyce

A Novel Parsing-based Approach for Verification of Hierarchical Plans

Popis výsledku v původním jazyce

Hierarchical planning is a practically important approach to automated planning based on encoding abstract plans as hierarchical task networks (HTNs) [1], [2]. The network describes how compound tasks are decomposed, via decomposition methods, to sub-tasks and eventually to actions forming a plan. Depending on the chosen HTN formalization, the decomposition methods may specify additional constraints among the sub-tasks such as partial ordering, state constraints, or causal links. The obtained sequence of actions must be executable in the classical sense, but also adhere to the constraints specified by the decomposition methods.

Název v anglickém jazyce

A Novel Parsing-based Approach for Verification of Hierarchical Plans

Popis výsledku anglicky

Hierarchical planning is a practically important approach to automated planning based on encoding abstract plans as hierarchical task networks (HTNs) [1], [2]. The network describes how compound tasks are decomposed, via decomposition methods, to sub-tasks and eventually to actions forming a plan. Depending on the chosen HTN formalization, the decomposition methods may specify additional constraints among the sub-tasks such as partial ordering, state constraints, or causal links. The obtained sequence of actions must be executable in the classical sense, but also adhere to the constraints specified by the decomposition methods.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/GA18-07252S" target="_blank" >GA18-07252S: MoRePlan: Modelování a reformulace plánovacích problémů</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2020

Kód důvěrnosti údajů

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

Název statě ve sborníku

2020 IEEE 32nd International Conference on Tools for Artificial Intelligence (ICTAI)

ISBN

978-1-72819-228-4

ISSN

2375-0197

e-ISSN

—

Počet stran výsledku

6

Strana od-do

23-28

Název nakladatele

IEEE

Místo vydání

Neuveden

Místo konání akce

Baltimore, MD, USA

Datum konání akce

9. 11. 2020

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—