On the Verification of Totally-Ordered HTN Plans
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F21%3A10439481" target="_blank" >RIV/00216208:11320/21:10439481 - isvavai.cz</a>
Výsledek na webu
<a href="https://doi.org/10.1109/ICTAI52525.2021.00043" target="_blank" >https://doi.org/10.1109/ICTAI52525.2021.00043</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/ICTAI52525.2021.00043" target="_blank" >10.1109/ICTAI52525.2021.00043</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
On the Verification of Totally-Ordered HTN Plans
Popis výsledku v původním jazyce
Verifying HTN plans is an intractable problem with two exist- ing approaches to solve the problem. One technique is based on compilation to SAT. Another method is using parsing, and it is currently the fastest technique for verifying HTN plans. In this paper, we propose an extension of the parsing- based approach to verify totally-ordered HTN plans more ef- ficiently. This problem is known to be tractable if no state constraints are included, and we show theoretically and em- pirically that the modified parsing approach achieves bet- ter performance than the currently fastest HTN plan verifier when applied to totally-ordered HTN plans.
Název v anglickém jazyce
On the Verification of Totally-Ordered HTN Plans
Popis výsledku anglicky
Verifying HTN plans is an intractable problem with two exist- ing approaches to solve the problem. One technique is based on compilation to SAT. Another method is using parsing, and it is currently the fastest technique for verifying HTN plans. In this paper, we propose an extension of the parsing- based approach to verify totally-ordered HTN plans more ef- ficiently. This problem is known to be tractable if no state constraints are included, and we show theoretically and em- pirically that the modified parsing approach achieves bet- ter performance than the currently fastest HTN plan verifier when applied to totally-ordered HTN plans.
Klasifikace
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)
Návaznosti výsledku
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)
Ostatní
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI)
ISBN
—
ISSN
1082-3409
e-ISSN
—
Počet stran výsledku
5
Strana od-do
263-267
Název nakladatele
IEEE
Místo vydání
Neuveden.
Místo konání akce
online
Datum konání akce
1. 11. 2021
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—