What to Do if a Plan Does Not Comply with an HTN Model?

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F25%3A10507118" target="_blank" >RIV/00216208:11320/25:10507118 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.3233/FAIA251407" target="_blank" >https://doi.org/10.3233/FAIA251407</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.3233/FAIA251407" target="_blank" >10.3233/FAIA251407</a>

Jazyk výsledku

angličtina

Název v původním jazyce

What to Do if a Plan Does Not Comply with an HTN Model?

Popis výsledku v původním jazyce

Plan verification deals with the problem of checking whether a given sequence of actions is a valid plan according to a planning domain model. If the action sequence is not a valid plan, the next question is where the problem is. This question can be addressed by plan correction - modifying the plan to get a valid plan. The paper presents the first system to correct totally ordered hierarchical plans by action deletion and action insertion. Supporting action insertion, which is the major novelty here, significantly extends the applicability of plan correction to areas such as plan recognition and even planning itself. The new system is also faster than the existing plan correction system when only action deletion is allowed.

Název v anglickém jazyce

What to Do if a Plan Does Not Comply with an HTN Model?

Popis výsledku anglicky

Plan verification deals with the problem of checking whether a given sequence of actions is a valid plan according to a planning domain model. If the action sequence is not a valid plan, the next question is where the problem is. This question can be addressed by plan correction - modifying the plan to get a valid plan. The paper presents the first system to correct totally ordered hierarchical plans by action deletion and action insertion. Supporting action insertion, which is the major novelty here, significantly extends the applicability of plan correction to areas such as plan recognition and even planning itself. The new system is also faster than the existing plan correction system when only action deletion is allowed.

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

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

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

Rok uplatnění

2025

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

ECAI 2025

ISBN

978-1-64368-631-8

ISSN

0922-6389

e-ISSN

1879-8314

Počet stran výsledku

8

Strana od-do

4953-4960

Název nakladatele

IOS Press

Místo vydání

Neuveden

Místo konání akce

Bologna, Italy

Datum konání akce

25. 10. 2025

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

EUR - Evropská akce

Kód UT WoS článku

—