Validation of Hierarchical Plans via Parsing of Attribute Grammars

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F18%3A10391961" target="_blank" >RIV/00216208:11320/18:10391961 - isvavai.cz</a>

Výsledek na webu

<a href="https://aaai.org/ocs/index.php/WS/AAAIW18/paper/view/17004/15631" target="_blank" >https://aaai.org/ocs/index.php/WS/AAAIW18/paper/view/17004/15631</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Validation of Hierarchical Plans via Parsing of Attribute Grammars

Popis výsledku v původním jazyce

An important problem of automated planning is validating if a plan complies with the planning domain model. Such validation is straightforward for classical sequential planning but until recently there was no such validation approach for Hierarchical Task Networks (HTN) planning. In this paper we propose a novel technique for validating HTN plans that is based on representing the HTN model as an attribute grammar and using a special parsing algorithm to verify if the plan can be generated by the grammar.

Název v anglickém jazyce

Validation of Hierarchical Plans via Parsing of Attribute Grammars

Popis výsledku anglicky

An important problem of automated planning is validating if a plan complies with the planning domain model. Such validation is straightforward for classical sequential planning but until recently there was no such validation approach for Hierarchical Task Networks (HTN) planning. In this paper we propose a novel technique for validating HTN plans that is based on representing the HTN model as an attribute grammar and using a special parsing algorithm to verify if the plan can be generated by the grammar.

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/GA15-19877S" target="_blank" >GA15-19877S: Automatické modelování znalostí a plánů pro autonomní roboty</a><br>

Návaznosti

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

Rok uplatnění

2018

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

AAAI Workshops Workshops at the Thirty-Second AAAI Conference on Artificial Intelligence

ISBN

978-1-57735-801-5

ISSN

—

e-ISSN

neuvedeno

Počet stran výsledku

8

Strana od-do

593-600

Název nakladatele

AAAI Press

Místo vydání

Palo Alto

Místo konání akce

New Orleans

Datum konání akce

2. 2. 2018

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

WRD - Celosvětová akce

Kód UT WoS článku

—