On the Impact of Grounding on HTN Plan Verification via Parsing

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F23%3A10467291" target="_blank" >RIV/00216208:11320/23:10467291 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.5220/0011618400003393" target="_blank" >https://doi.org/10.5220/0011618400003393</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.5220/0011618400003393" target="_blank" >10.5220/0011618400003393</a>

Jazyk výsledku

angličtina

Název v původním jazyce

On the Impact of Grounding on HTN Plan Verification via Parsing

Popis výsledku v původním jazyce

The problem of hierarchical plan verification focuses on checking whether an action sequence is a valid hierarchical plan - the action sequence is executable and a goal task can be decomposed into it. The existing parsing-based verifier works on lifted domain models. In this paper we study whether grounding of the models could improve efficiency of the verifier. We also explore additional implementation improvements to increase the speed of the verifier.

Název v anglickém jazyce

On the Impact of Grounding on HTN Plan Verification via Parsing

Popis výsledku anglicky

The problem of hierarchical plan verification focuses on checking whether an action sequence is a valid hierarchical plan - the action sequence is executable and a goal task can be decomposed into it. The existing parsing-based verifier works on lifted domain models. In this paper we study whether grounding of the models could improve efficiency of the verifier. We also explore additional implementation improvements to increase the speed of the verifier.

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<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2023

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

Proceedings of the 15th International Conference on Agents and Artificial Intelligence - (Volume 3)

ISBN

978-989-758-623-1

ISSN

2184-433X

e-ISSN

—

Počet stran výsledku

8

Strana od-do

92-99

Název nakladatele

ICAART

Místo vydání

Lisbon, Portugal

Místo konání akce

Lisbon Portugal

Datum konání akce

22. 2. 2023

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

EUR - Evropská akce

Kód UT WoS článku

—