| 04.10. 2007 |
Úvod, plánovací vs. rozvrhovací problém, ukázky aplikací. Obecné prohledávací algoritmy, omezující podmínky a SAT. |
 |
| 11.10. 2007 |
Formalizace plánovacího problému. Množinová a klasická reprezentace. |
|
| 18.10. 2007 |
Plánování se stavovým prostorem (dopředné, zpětné, STRIPS). |
|
| 25.10. 2007 |
Plánovaní s prostorem plánů. |
|
| 1.11. 2007 | přednáška odpadá | |
| 8.11. 2007 | přednáška odpadá | |
| 15.11. 2007 | Neoklasické plánování. Plánovací graf, Graphplan. |
|
| 22.11. 2007 | Plánování jako SAT. Plánování jako CSP. |
|
| 29.11. 2007 | přednáška odpadá | |
| 06.12. 2007 | Modely času (algebra okamžiků, algebra intervalů, temporální sítě) |
|
| 13.12. 2007 | Plánování s časem a se zdroji |
|
| 20.12. 2007 | Plánovací heuristiky a řídící pravidla. [Hierarchické plánování] |
|
| 03.01. 2008 | Klasické rozvrhovací problémy a řešící techniky. Problémy s jedním zdrojem a paralelními zdroji, multi-operační rozvrhování. |
|
| 10.01. 2008 | Rozvrhování jako splňování omezujících podmínek. Globální podmínky pro rozvrhování a rozvrhovací strategie. |
|