On modeling planning problems in tabled logic programming

Result code in 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>
Result on the web
<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>

Result language
angličtina
Original language name
On modeling planning problems in tabled logic programming
Original language description
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
Czech name
—
Czech description
—

Project
<a href="/en/project/GA15-19877S" target="_blank" >GA15-19877S: Automated Knowledge and Plan Modeling for Autonomous Robots</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year
2015
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
PPDP '15 Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming
ISBN
978-1-4503-3516-4
ISSN
—
e-ISSN
—
Number of pages
12
Pages from-to
31-42
Publisher name
Association for Computing Machinery
Place of publication
New York, USA
Event location
Siena, Italy
Event date
Jul 14, 2015
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)