Correcting Hierarchical Plans by Action Deletion

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F21%3A10439476" target="_blank" >RIV/00216208:11320/21:10439476 - isvavai.cz</a>

Výsledek na webu

<a href="https://proceedings.kr.org/2021/10/kr2021-0010-bartak-et-al.pdf" target="_blank" >https://proceedings.kr.org/2021/10/kr2021-0010-bartak-et-al.pdf</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.24963/kr.2021/10" target="_blank" >10.24963/kr.2021/10</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Correcting Hierarchical Plans by Action Deletion

Popis výsledku v původním jazyce

Hierarchical task network (HTN) planning is a model-based approach to planning. The HTN domain model consists of tasks and methods to decompose them into subtasks until obtaining primitive tasks (actions). There are recent methods for verifying if a given action sequence is a valid HTN plan. However, if the plan is invalid, all existing verification methods only say so without explaining why the plan is invalid. In the paper, we propose a method that corrects a given action sequence to form a valid HTN plan by deleting the minimal number of actions. This plan correction explains what is wrong with a given action sequence concerning the HTN domain model.

Název v anglickém jazyce

Correcting Hierarchical Plans by Action Deletion

Popis výsledku anglicky

Hierarchical task network (HTN) planning is a model-based approach to planning. The HTN domain model consists of tasks and methods to decompose them into subtasks until obtaining primitive tasks (actions). There are recent methods for verifying if a given action sequence is a valid HTN plan. However, if the plan is invalid, all existing verification methods only say so without explaining why the plan is invalid. In the paper, we propose a method that corrects a given action sequence to form a valid HTN plan by deleting the minimal number of actions. This plan correction explains what is wrong with a given action sequence concerning the HTN domain model.

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/GC21-13882J" target="_blank" >GC21-13882J: Hierarchické plánování: od verifikace plánů k rozpoznávání plánů</a><br>

Návaznosti

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

Rok uplatnění

2021

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 18th International Conference on Principles of Knowledge Representation and Reasoning

ISBN

978-1-956792-99-7

ISSN

2334-1033

e-ISSN

—

Počet stran výsledku

11

Strana od-do

99-109

Název nakladatele

IJCAI Organization

Místo vydání

USA

Místo konání akce

online event

Datum konání akce

3. 11. 2021

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

WRD - Celosvětová akce

Kód UT WoS článku

—