FI:PA163 Omezující podmínky - Informace o předmětu
PA163 Programování s omezujícími podmínkami
Fakulta informatikypodzim 2008
- Rozsah
- 2/1. 3 kr. (plus ukončení). Ukončení: zk.
- Vyučující
- doc. Mgr. Hana Rudová, Ph.D. (přednášející)
- Garance
- prof. RNDr. Václav Matyáš, M.Sc., Ph.D.
Katedra počítačových systémů a komunikací – Fakulta informatiky - Rozvrh
- Po 12:00–13:50 B410
- Rozvrh seminárních/paralelních skupin:
PA163/02: každý lichý čtvrtek 12:00–13:50 B116, H. Rudová - Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 19 mateřských oborů, zobrazit
- Cíle předmětu
- Předmět se primárně zabývá problematikou splňování omezujících podmínek, je zde ale prezentována i řada obecně použitelných algoritmů, např. z oblasti umělé inteligence nebo optimalizací. Předmět lze také doporučit zájemcům o deklarativní styl programování a studentům se zájmem o nové možnosti při popisu problémů pomocí omezení.
Metody propagace podmínek a prohledávání jsou zastoupeny klasickými i nejnovějšími algoritmy. Je ukázáno modelování jednodušších příkladu i reálných problémů prostřednictvím programování s omezujícími pomínkami.
Cvičení jsou věnována praktickému vyzkoušení příkladů logického programování s omezujícími podmínkami u počítačů. Znalosti z logického programování přitom nejsou podmínkou pro absolvování předmětu. - Osnova
- Problém splňování podmínek. Úvod do modelování problémů. Reprezentace podmínek. Složitost.
- Algoritmy a konzistence: hranová, po cestě. Řešení nebinárních podmínek: k-konzistence, obecná hranová konzistence, konzistence mezí, globální podmínky. Směrové varianty, šířka grafu podmínek a polynomiální problémy.
- Stromové prohledávání: backtracking, pohled dopředu, pohled zpět, neúplné algoritmy. Lokální prohledávání.
- Optimalizační a příliš podmíněné problémy: přístupy k řešení a algoritmy.
- Řešení dynamických a distribuovaných problémů s podmínkami.
- Logické programování s omezujícími podmínkami.
- Modelování a využití v reálných aplikacích.
- Literatura
- DECHTER, Rina. Constraint processing. San Francisco: Morgan Kaufmann Publishers, 2003, xx, 481 s. ISBN 1-55860-890-7. info
- Edward, Tsang. Foundations of constraint satisfaction. Academic Press Ltd., 1993.
- Metody hodnocení
- Písemná práce pro každý řádný termín, představuje společnou přípravu pro všechny studenty, cca 5 otázek: přehledové, srovnávací, algoritmy, pojmy, příklady. Ústní zkouška ve stejný den jako písemná práce, příprava na individuální otázky, během zkoušky diskuse nad písemnou prací. Opravný termín pouze jako ústní zkouška.
- Navazující předměty
- Informace učitele
- http://is.muni.cz/elearning/warp.pl?fakulta=1433;obdobi=4384;kod=PA163;qurl=/el/1433/podzim2008/PA163/index.qwarp
- Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
- Statistika zápisu (podzim 2008, nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/podzim2008/PA163