Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

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