Lifted Fact-Alternating Mutex Groups and Pruned Grounding of Classical Planning Problems

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F20%3A00341807" target="_blank" >RIV/68407700:21230/20:00341807 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.1609/aaai.v34i06.6536" target="_blank" >https://doi.org/10.1609/aaai.v34i06.6536</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1609/aaai.v34i06.6536" target="_blank" >10.1609/aaai.v34i06.6536</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Lifted Fact-Alternating Mutex Groups and Pruned Grounding of Classical Planning Problems

Popis výsledku v původním jazyce

In this paper, we focus on the inference of mutex groups in the lifted (PDDL) representation. We formalize the inference and prove that the most commonly used translator from the Fast Downward (FD) planning system infers a certain subclass of mutex groups, called fact-alternating mutex groups (fam-groups). Based on that, we show that the previously proposed fam-groups-based pruning techniques for the STRIPS representation can be utilized during the grounding process with lifted fam-groups, i.e., before the full STRIPS representation is known. Furthermore, we propose an improved inference algorithm for lifted fam-groups that produces a richer set of fam-groups than the FD translator and we demonstrate a positive impact on the number of pruned operators and overall coverage.

Název v anglickém jazyce

Lifted Fact-Alternating Mutex Groups and Pruned Grounding of Classical Planning Problems

Popis výsledku anglicky

In this paper, we focus on the inference of mutex groups in the lifted (PDDL) representation. We formalize the inference and prove that the most commonly used translator from the Fast Downward (FD) planning system infers a certain subclass of mutex groups, called fact-alternating mutex groups (fam-groups). Based on that, we show that the previously proposed fam-groups-based pruning techniques for the STRIPS representation can be utilized during the grounding process with lifted fam-groups, i.e., before the full STRIPS representation is known. Furthermore, we propose an improved inference algorithm for lifted fam-groups that produces a richer set of fam-groups than the FD translator and we demonstrate a positive impact on the number of pruned operators and overall coverage.

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

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

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

Rok uplatnění

2020

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

Proceedings of the AAAI Conference on Artificial Intelligence

ISBN

—

ISSN

2159-5399

e-ISSN

2374-3468

Počet stran výsledku

8

Strana od-do

9835-9842

Název nakladatele

AAAI Press

Místo vydání

Menlo Park

Místo konání akce

New York

Datum konání akce

7. 2. 2020

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

WRD - Celosvětová akce

Kód UT WoS článku

—