An Experimental Study of Influence of Modeling and Solving Techniques on Performance of a Tabled Logic Programming Planner

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F16%3A10332077" target="_blank" >RIV/00216208:11320/16:10332077 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.3233/FI-2016-1442" target="_blank" >http://dx.doi.org/10.3233/FI-2016-1442</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.3233/FI-2016-1442" target="_blank" >10.3233/FI-2016-1442</a>

Jazyk výsledku

angličtina

Název v původním jazyce

An Experimental Study of Influence of Modeling and Solving Techniques on Performance of a Tabled Logic Programming Planner

Popis výsledku v původním jazyce

Logic programming provides a declarative framework for modeling and solving many combinatorial problems. Until recently, it was not competitive with state-of-the-art planning techniques partly due to search capabilities limited to backtracking. Recent development brought more advanced search techniques to logic programming such as tabling that simplifies implementation and exploitation of more sophisticated search algorithms. Together with rich modeling capabilities this progress brings tabled logic programing on a par with current best planners. This paper describes the planner module of the tabled logic programming language Picat, its modeling capabilities, and core search procedures behind the planner. The major contribution is an experimental comparison of the influence of various modeling techniques, namely factored vs. structured representations of states, control knowledge, and heuristics on the performance of two search procedures - iterative deepening and branch and bound - behind the planner. The paper also compares the Picat planner with winning automated planners both domain dependent and domain independent to demonstrate that the presented techniques are competitive with state-ofthe- art.

Název v anglickém jazyce

An Experimental Study of Influence of Modeling and Solving Techniques on Performance of a Tabled Logic Programming Planner

Popis výsledku anglicky

Logic programming provides a declarative framework for modeling and solving many combinatorial problems. Until recently, it was not competitive with state-of-the-art planning techniques partly due to search capabilities limited to backtracking. Recent development brought more advanced search techniques to logic programming such as tabling that simplifies implementation and exploitation of more sophisticated search algorithms. Together with rich modeling capabilities this progress brings tabled logic programing on a par with current best planners. This paper describes the planner module of the tabled logic programming language Picat, its modeling capabilities, and core search procedures behind the planner. The major contribution is an experimental comparison of the influence of various modeling techniques, namely factored vs. structured representations of states, control knowledge, and heuristics on the performance of two search procedures - iterative deepening and branch and bound - behind the planner. The paper also compares the Picat planner with winning automated planners both domain dependent and domain independent to demonstrate that the presented techniques are competitive with state-ofthe- art.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

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

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 periodika

Fundamenta Informaticae

ISSN

0169-2968

e-ISSN

—

Svazek periodika

149

Číslo periodika v rámci svazku

1-2

Stát vydavatele periodika

PL - Polská republika

Počet stran výsledku

26

Strana od-do

35-60

Kód UT WoS článku

—

EID výsledku v databázi Scopus

2-s2.0-85008392788