On Total-Order HTN Plan Verification with Method Preconditions – An Extension of the CYK Parsing Algorithm

Kód výsledku v IS VaVaI

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

Výsledek na webu

<a href="https://doi.org/10.1609/aaai.v37i10.26420" target="_blank" >https://doi.org/10.1609/aaai.v37i10.26420</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1609/aaai.v37i10.26420" target="_blank" >10.1609/aaai.v37i10.26420</a>

Jazyk výsledku

angličtina

Název v původním jazyce

On Total-Order HTN Plan Verification with Method Preconditions – An Extension of the CYK Parsing Algorithm

Popis výsledku v původním jazyce

n this paper, we consider the plan verification problem for totally ordered (TO) HTN planning. The problem is proved to be solvable in polynomial time by recognizing its connection to the membership decision problem for context-free grammars. The current state-of-the-art TO plan verifier solves the problem by a blind search approach in order to deal with some state constraints and henceforth results in several overheads. However, many existing TOHTN planning benchmarks do not have these constraints. Hence, we ignore them in the paper and develop a TOHTN plan verification approach which avoids those overheads in the state-of-the-art TO verifier via extending the CYK algorithm.

Název v anglickém jazyce

On Total-Order HTN Plan Verification with Method Preconditions – An Extension of the CYK Parsing Algorithm

Popis výsledku anglicky

n this paper, we consider the plan verification problem for totally ordered (TO) HTN planning. The problem is proved to be solvable in polynomial time by recognizing its connection to the membership decision problem for context-free grammars. The current state-of-the-art TO plan verifier solves the problem by a blind search approach in order to deal with some state constraints and henceforth results in several overheads. However, many existing TOHTN planning benchmarks do not have these constraints. Hence, we ignore them in the paper and develop a TOHTN plan verification approach which avoids those overheads in the state-of-the-art TO verifier via extending the CYK algorithm.

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 37th AAAI Conference on Artificial Intelligence

ISBN

978-1-57735-880-0

ISSN

—

e-ISSN

—

Počet stran výsledku

8

Strana od-do

12041-12048

Název nakladatele

AAAI Press

Místo vydání

Washington DC, USA

Místo konání akce

Washington DC USA

Datum konání akce

7. 2. 2023

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

WRD - Celosvětová akce

Kód UT WoS článku

—