Domain Modeling for Planning as Logic Programming

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F16%3A10332066" target="_blank" >RIV/00216208:11320/16:10332066 - isvavai.cz</a>
Výsledek na webu
<a href="http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS16/paper/view/12942/12533" target="_blank" >http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS16/paper/view/12942/12533</a>
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Domain Modeling for Planning as Logic Programming
Popis výsledku v původním jazyce
Planning as programming is an approach to automated planning, where the planning domain model is expressed as a program in some (declarative) program- ming language. Then the modeler can exploit all features of that language to encode control knowledge im- portant for efficient planning. In this paper we study these features in the logic programming language Picat and its planner module. In particular, we use two planning benchmarks, Nomystery and Childsnack, to compare factored and structured representations of states extended by encodings of control knowledge.
Název v anglickém jazyce
Domain Modeling for Planning as Logic Programming
Popis výsledku anglicky
Planning as programming is an approach to automated planning, where the planning domain model is expressed as a program in some (declarative) program- ming language. Then the modeler can exploit all features of that language to encode control knowledge im- portant for efficient planning. In this paper we study these features in the logic programming language Picat and its planner module. In particular, we use two planning benchmarks, Nomystery and Childsnack, to compare factored and structured representations of states extended by encodings of control knowledge.

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)

Rok uplatnění
2016
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 Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016
ISBN
978-1-57735-756-8
ISSN
2334-0754
e-ISSN
—
Počet stran výsledku
6
Strana od-do
8-13
Název nakladatele
AAAI Press
Místo vydání
Menlo Park, CA, USA
Místo konání akce
Key Largo, Florida
Datum konání akce
16. 5. 2016
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)