On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F22%3A10445014" target="_blank" >RIV/00216208:11320/22:10445014 - isvavai.cz</a>
Výsledek na webu
<a href="https://doi.org/10.32473/flairs.v35i.130606" target="_blank" >https://doi.org/10.32473/flairs.v35i.130606</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.32473/flairs.v35i.130606" target="_blank" >10.32473/flairs.v35i.130606</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task
Popis výsledku v původním jazyce
Verification of hierarchical plans deals with the problem if a given action sequence is a valid hierarchical plan - the action sequence can be obtained by decomposing a particular (goal) task using given decomposition methods. The existing parsing-based verification approach greedily composes actions until it obtains the goal task. Greediness implies that this approach also generates tasks unrelated to the goal task. In this paper, we study the use of heuristics when creating new tasks. We also ask whether the prior knowledge of the goal task improves efficiency.
Název v anglickém jazyce
On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task
Popis výsledku anglicky
Verification of hierarchical plans deals with the problem if a given action sequence is a valid hierarchical plan - the action sequence can be obtained by decomposing a particular (goal) task using given decomposition methods. The existing parsing-based verification approach greedily composes actions until it obtains the goal task. Greediness implies that this approach also generates tasks unrelated to the goal task. In this paper, we study the use of heuristics when creating new tasks. We also ask whether the prior knowledge of the goal task improves efficiency.
Klasifikace
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)
Návaznosti výsledku
Projekt
<a href="/cs/project/GC21-13882J" target="_blank" >GC21-13882J: Hierarchické plánování: od verifikace plánů k rozpoznávání plánů</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2022
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2022
ISBN
—
ISSN
2334-0754
e-ISSN
—
Počet stran výsledku
6
Strana od-do
—
Název nakladatele
FLAIRS
Místo vydání
USA
Místo konání akce
Florida USA
Datum konání akce
15. 5. 2022
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—