Operator Mutexes and Symmetries for Simplifying Planning Tasks

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F19%3A00332635" target="_blank" >RIV/68407700:21230/19:00332635 - isvavai.cz</a>

Výsledek na webu

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

DOI - Digital Object Identifier

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

Jazyk výsledku

angličtina

Název v původním jazyce

Operator Mutexes and Symmetries for Simplifying Planning Tasks

Popis výsledku v původním jazyce

Simplifying classical planning tasks by removing operators while preserving at least one optimal solution can significantly enhance the performance of planners. In this paper, we introduce the notion of operator mutex, which is a set of operators that cannot all be part of the same (strongly) optimal plan. We propose four different methods for inference of operator mutexes and experimentally verify that they can be found in a sizable number of planning tasks. We show how operator mutexes can be used in combination with structural symmetries to safely remove operators from the planning task.

Název v anglickém jazyce

Operator Mutexes and Symmetries for Simplifying Planning Tasks

Popis výsledku anglicky

Simplifying classical planning tasks by removing operators while preserving at least one optimal solution can significantly enhance the performance of planners. In this paper, we introduce the notion of operator mutex, which is a set of operators that cannot all be part of the same (strongly) optimal plan. We propose four different methods for inference of operator mutexes and experimentally verify that they can be found in a sizable number of planning tasks. We show how operator mutexes can be used in combination with structural symmetries to safely remove operators from the planning task.

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í

2019

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 Thirty-Third AAAI Conference on Artificial Intelligence

ISBN

978-1-57735-809-1

ISSN

—

e-ISSN

—

Počet stran výsledku

8

Strana od-do

7586-7593

Název nakladatele

AAAI Press

Místo vydání

Menlo Park

Místo konání akce

Honolulu

Datum konání akce

27. 1. 2019

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

WRD - Celosvětová akce

Kód UT WoS článku

000486572502015