Planning as tabled logic programming
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F15%3A10319160" target="_blank" >RIV/00216208:11320/15:10319160 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1017/S1471068415000216" target="_blank" >http://dx.doi.org/10.1017/S1471068415000216</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1017/S1471068415000216" target="_blank" >10.1017/S1471068415000216</a>
Alternative languages
Result language
angličtina
Original language name
Planning as tabled logic programming
Original language description
This paper describes Picat's planner, its implementation, and planning models for several domains used in International Planning Competition (IPC) 2014. Picat's planner is implemented by use of tabling. During search, every state encountered is tabled, and tabled states are used to effectively perform resource-bounded search. In Picat, structured data can be used to avoid enumerating all possible permutations of objects, and term sharing is used to avoid duplication of common state data. This paper presents several modeling techniques through the example models, ranging from designing state representations to facilitate data sharing and symmetry breaking, encoding actions with operations for efficient precondition checking and state updating, to incorporating domain knowledge and heuristics. Broadly, this paper demonstrates the effectiveness of tabled logic programming for planning, and argues the importance of modeling despite recent significant progress in domain-independent PDDL pla
Czech name
—
Czech description
—
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
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
Others
Publication year
2015
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Theory and Practice of Logic Programming
ISSN
1471-0684
e-ISSN
—
Volume of the periodical
15
Issue of the periodical within the volume
4-5
Country of publishing house
US - UNITED STATES
Number of pages
16
Pages from-to
543-558
UT code for WoS article
000367692200010
EID of the result in the Scopus database
2-s2.0-84948393839