Compilation-Based Approaches to Parallel Planning: An Empirical Comparison

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F21%3A10435419" target="_blank" >RIV/00216208:11320/21:10435419 - isvavai.cz</a>

Výsledek na webu

<a href="https://journals.flvc.org/FLAIRS/article/view/128537/130045" target="_blank" >https://journals.flvc.org/FLAIRS/article/view/128537/130045</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.32473/flairs.v34i1" target="_blank" >10.32473/flairs.v34i1</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Compilation-Based Approaches to Parallel Planning: An Empirical Comparison

Popis výsledku v původním jazyce

Automated planning deals with finding a sequence of actions, a plan, to reach a goal. One of the possible approaches to automated planning is a compilation of a planning problem to a Boolean satisfiability problem or to a constraint satisfaction problem, which takes direct advantage of the advancements of satisfiability and constraint satisfaction solvers. This paper provides a comparison of three encodings proposed for the compilation of planning problems: Transition constraints for parallel planning (TCPP), Relaxed relaxed exist-step encoding and Reinforced Encoding. We implemented the encodings using the programming language Picat 2.8, we suggested certain modifications, and we compared the performance of the encodings on benchmarks from international planning competitions.

Název v anglickém jazyce

Compilation-Based Approaches to Parallel Planning: An Empirical Comparison

Popis výsledku anglicky

Automated planning deals with finding a sequence of actions, a plan, to reach a goal. One of the possible approaches to automated planning is a compilation of a planning problem to a Boolean satisfiability problem or to a constraint satisfaction problem, which takes direct advantage of the advancements of satisfiability and constraint satisfaction solvers. This paper provides a comparison of three encodings proposed for the compilation of planning problems: Transition constraints for parallel planning (TCPP), Relaxed relaxed exist-step encoding and Reinforced Encoding. We implemented the encodings using the programming language Picat 2.8, we suggested certain modifications, and we compared the performance of the encodings on benchmarks from international planning competitions.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/GA18-07252S" target="_blank" >GA18-07252S: MoRePlan: Modelování a reformulace plánovacích problémů</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2021

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

The International FLAIRS Conference Proceedings

ISBN

—

ISSN

2334-0762

e-ISSN

—

Počet stran výsledku

6

Strana od-do

—

Název nakladatele

LibraryPress@UF

Místo vydání

Neuveden

Místo konání akce

Miami, Florida, USA

Datum konání akce

16. 5. 2021

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

WRD - Celosvětová akce

Kód UT WoS článku

—