On modeling planning problems in tabled logic programming

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F15%3A10319150" target="_blank" >RIV/00216208:11320/15:10319150 - isvavai.cz</a>

Výsledek na webu

<a href="https://users.dimi.uniud.it/~agostino.dovier/PAPERS/ppdp15_draft.pdf" target="_blank" >https://users.dimi.uniud.it/~agostino.dovier/PAPERS/ppdp15_draft.pdf</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1145/2790449.2790521" target="_blank" >10.1145/2790449.2790521</a>

Jazyk výsledku

angličtina

Název v původním jazyce

On modeling planning problems in tabled logic programming

Popis výsledku v původním jazyce

Current research in planning focuses mainly on so called domain independent models using the Plan- ning Domain Description Language (PDDL) as the domain modeling language. This declarative modeling approach embraces the idea of a physics-only model describing how actions change the world. However, PDDL omits information about why and when the actions should be applied to reach the goal, which signicantly decreases the practical applicability of PDDL. There exist approaches such as Hierarchical Task Networks (HTN) and control rules that add this type of information to the model with the pay-o of increased eciency but also with the downside of increased complexity and code sizes. In this paper we propose a modeling framework for planning problems based on tabled logic program- ming that exploits a planner module in the Picat language. This modeling framework supports structured description of world states as well as inclusion of control knowledge and heuristics in the action model. By us

Název v anglickém jazyce

On modeling planning problems in tabled logic programming

Popis výsledku anglicky

Current research in planning focuses mainly on so called domain independent models using the Plan- ning Domain Description Language (PDDL) as the domain modeling language. This declarative modeling approach embraces the idea of a physics-only model describing how actions change the world. However, PDDL omits information about why and when the actions should be applied to reach the goal, which signicantly decreases the practical applicability of PDDL. There exist approaches such as Hierarchical Task Networks (HTN) and control rules that add this type of information to the model with the pay-o of increased eciency but also with the downside of increased complexity and code sizes. In this paper we propose a modeling framework for planning problems based on tabled logic program- ming that exploits a planner module in the Picat language. This modeling framework supports structured description of world states as well as inclusion of control knowledge and heuristics in the action model. By us

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

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

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2015

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

PPDP '15 Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming

ISBN

978-1-4503-3516-4

ISSN

—

e-ISSN

—

Počet stran výsledku

12

Strana od-do

31-42

Název nakladatele

Association for Computing Machinery

Místo vydání

New York, USA

Místo konání akce

Siena, Italy

Datum konání akce

14. 7. 2015

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

WRD - Celosvětová akce

Kód UT WoS článku

—