Attribute Grammars with Set Attributes and Global Constraints as a Unifying Framework for Planning Domain Models
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F17%3A10372022" target="_blank" >RIV/00216208:11320/17:10372022 - isvavai.cz</a>
Výsledek na webu
<a href="https://dl.acm.org/citation.cfm?doid=3131851.3131858" target="_blank" >https://dl.acm.org/citation.cfm?doid=3131851.3131858</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1145/3131851.3131858" target="_blank" >10.1145/3131851.3131858</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Attribute Grammars with Set Attributes and Global Constraints as a Unifying Framework for Planning Domain Models
Popis výsledku v původním jazyce
The paper presents attribute grammars as a unifying framework for modeling planning domains and problems. The motivation is to exploit techniques from formal languages in domain model verification, plan and goal recognition, domain model acquisition, as well as in planning. Grammar rules are used for action selection while specific set attributes are used to collect events (preconditions and effects of actions) that are ordered using a global timeline constraint. We show how classical STRIPS, hierarchical task networks, and procedural domain models are transformed to attribute grammars.
Název v anglickém jazyce
Attribute Grammars with Set Attributes and Global Constraints as a Unifying Framework for Planning Domain Models
Popis výsledku anglicky
The paper presents attribute grammars as a unifying framework for modeling planning domains and problems. The motivation is to exploit techniques from formal languages in domain model verification, plan and goal recognition, domain model acquisition, as well as in planning. Grammar rules are used for action selection while specific set attributes are used to collect events (preconditions and effects of actions) that are ordered using a global timeline constraint. We show how classical STRIPS, hierarchical task networks, and procedural domain models are transformed to attribute grammars.
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/GA15-19877S" target="_blank" >GA15-19877S: Automatické modelování znalostí a plánů pro autonomní roboty</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2017
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
PPDP '17 Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming
ISBN
978-1-4503-5291-8
ISSN
—
e-ISSN
neuvedeno
Počet stran výsledku
10
Strana od-do
39-48
Název nakladatele
ACM
Místo vydání
New York
Místo konání akce
Namur, Belgium
Datum konání akce
9. 10. 2017
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—