Using Earley Parser for Verification of Totally Ordered Hierarchical Plans

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F24%3A10484092" target="_blank" >RIV/00216208:11320/24:10484092 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.32473/flairs.37.1.135306" target="_blank" >https://doi.org/10.32473/flairs.37.1.135306</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.32473/flairs.37.1.135306" target="_blank" >10.32473/flairs.37.1.135306</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Using Earley Parser for Verification of Totally Ordered Hierarchical Plans

Popis výsledku v původním jazyce

Hierarchical planning extends classical planning by capturing the hierarchical structure of tasks via decomposition of tasks to subtasks. Hierarchical plan verification is the problem of determining whether a given plan is valid according to that structure. As decomposition trees in totally ordered hierarchical planning domains resemble parsing trees of context-free grammars, one may exploit the techniques for context-free grammars also for hierarchical plans. In this paper, we study how the Earley parser, proposed for checking whether a given word belongs to a language defined by context-free grammar, can be extended to verification of totally ordered hierarchical plans.

Název v anglickém jazyce

Using Earley Parser for Verification of Totally Ordered Hierarchical Plans

Popis výsledku anglicky

Hierarchical planning extends classical planning by capturing the hierarchical structure of tasks via decomposition of tasks to subtasks. Hierarchical plan verification is the problem of determining whether a given plan is valid according to that structure. As decomposition trees in totally ordered hierarchical planning domains resemble parsing trees of context-free grammars, one may exploit the techniques for context-free grammars also for hierarchical plans. In this paper, we study how the Earley parser, proposed for checking whether a given word belongs to a language defined by context-free grammar, can be extended to verification of totally ordered hierarchical plans.

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

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2024

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

The International FLAIRS Conference Proceedings

ISBN

—

ISSN

2334-0762

e-ISSN

—

Počet stran výsledku

6

Strana od-do

—

Název nakladatele

LibraryPress@UF

Místo vydání

USA

Místo konání akce

Miramar Beach, Florida, USA

Datum konání akce

19. 5. 2024

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

WRD - Celosvětová akce

Kód UT WoS článku

—