Klasické plánování

Omezující pˇredpoklady [Nau09]
Pojem plánování Typologie plánovač˚u
A0: Konečn´y systém
konečně mnoho stav˚u, akcí, událostí
A1: Plně pozorovateln´y
ˇradič vˇzdy m˚uˇze pozorovat současn´y stav
A2: Deterministick´y
kaˇzdá akce má pouze jedin´y v´ystup
A3: Statick´y (ˇzádné vnějˇsí události)
změny jsou zp˚usobeny pouze akcemi ˇradiče
A4: Dosaˇzitelnost cíl˚u
existence mnoˇziny cílov´ych stav˚u Sg
A5: Sekvenční plány
plán je lineárně uspoˇrádaná sekvence akcí < a0, a1, . . . , an >
A6: Implicitní čas
ˇzádné časové prodlevy, lineární sekvence okamˇzit´ych stav˚u
A7: Off-line plánování
plánovač nezná aktuální stav běhu
Radek Maˇrík (marikr@felk.cvut.cz) Klasické plánování 16. dubna 2013 17 / 70