Plánování a rozvrhování

Sylabus

1. Úvod: definice problému plánování a rozvrhování, příklady použití, řešící formalismy (prohledávací algoritmy, omezující podmínky, SAT), reprezentace plánovacích problémů (množinová, klasická).

2. Plánování ve stavovém prostoru (dopředné, zpětné, STRIPS), plánování v prostoru plánů (PSP, PoP), neoklasické plánování (plánovací graf, Graphplan).

3. Plánovaní jako SAT a CSP, plánovací heuristiky.

4. Plánování s časem a zdroji (temporální problémy, plánování s kronikami, alokace zdrojů).

5. Řešení rozvrhovacích problémů: klasické rozvrhování, Grahamova klasifikace problémů, rozvrhování jako problém splňování omezujících podmínek, podmínky popisující zdroje a precedence, rozvrhovací strategie.

6. Problémové studie.

Anotace

Přednáška podává úvod do plánování a rozvrhování. Zaměřena je především na algoritmy pro řešení plánovacích a rozvrhovacích problémů s důrazem na použití technik splňování omezujících podmínek.