Klasické plánování

Pojem plánování Definice
Plánování a rozvrhování [Nau09]
Rozvrhování . . . pˇriˇrazuje ˇradě proces˚u zdroje s časov´ym omezením,
Plánování . . . uvaˇzuje moˇzné interakce mezi komponentami plánu.
Plánování
Dáno: počáteční stav, cílov´y stav, operátory.
Hledáme sekvenci operátor˚u, které dosáhnou na cílov´y stav z
počátečního stavu
v´yběr pˇrísluˇsn´ych akcí, uspoˇrádáním akcí, zahrnutí kauzalit
Rozvrhování
Dáno: zdroje, akce, omezení.
Hledáme rozvrh, kter´y vyhovuje omezením
uspoˇrádání akcí, pˇriˇrazení zdroj˚u, splnění omezení.
Radek Maˇrík (marikr@felk.cvut.cz) Klasické plánování 16. dubna 2013 6 / 70