Reformulace modelů s podmínkami pro klasické plánování

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F08%3A00100445" target="_blank" >RIV/00216208:11320/08:00100445 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/00216208:11650/08:00106602

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Reformulating Constraint Models for Classical Planning

Popis výsledku v původním jazyce

Constraint satisfaction techniques are commonly used for solving scheduling problems, still they are rare in AI planning. Although there are several attempts to apply constraint satisfaction for solving AI planning problems, these techniques never becamepredominant in planning; and they never reached the success of, for example, SAT-based planners. In this paper we argue that existing constraint models for classical AI planning are not fully using the power of constraint satisfaction; thus we propose areformulation, which significantly improves their efficiency.

Název v anglickém jazyce

Reformulating Constraint Models for Classical Planning

Popis výsledku anglicky

Constraint satisfaction techniques are commonly used for solving scheduling problems, still they are rare in AI planning. Although there are several attempts to apply constraint satisfaction for solving AI planning problems, these techniques never becamepredominant in planning; and they never reached the success of, for example, SAT-based planners. In this paper we argue that existing constraint models for classical AI planning are not fully using the power of constraint satisfaction; thus we propose areformulation, which significantly improves their efficiency.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

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)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2008

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 21st International Florida AI Research Society Conference (FLAIRS 2008)

ISBN

978-1-57735-365-2

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

—

Název nakladatele

AAAI Press

Místo vydání

Menlo Park

Místo konání akce

Menlo Park

Datum konání akce

1. 1. 2008

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

WRD - Celosvětová akce

Kód UT WoS článku

—