FI:PA163 Omezující podmínky - Informace o předmětu
PA163 Programování s omezujícími podmínkami
Fakulta informatikypodzim 2003
- Rozsah
- 2/0. 2 kr. (plus ukončení). Ukončení: zk.
- Vyučující
- doc. Mgr. Hana Rudová, Ph.D. (přednášející)
- Garance
- prof. RNDr. Luděk Matyska, CSc.
Katedra strojového učení a zpracování dat – Fakulta informatiky - Rozvrh
- Čt 9:00–10:50 X Datový projektor, Čt 9:00–10:50 B007
- Omezení zápisu do předmětu
- Předmět je určen pouze studentům mateřských oborů.
- Mateřské obory/plány
- Aplikovaná informatika (program FI, N-AP)
- Informatika (program FI, M-IN)
- Informatika (program FI, N-IN)
- Učitelství výpočetní techniky pro střední školy (program FI, N-SS)
- Cíle předmětu
- Předmět se zabývá problematikou splňování omezujících podmínek. Metody prohledávání a propagace podmínek jsou zastoupeny klasickými i nejnovějšími algoritmy. Základní techniky pro modelování problému jsou doplněny ukázkami použití podmínek v oblastech jako je logické nebo souběžné programování. Součástí předmětu je řešení jednodušších příkladů i modelování reálných problémů.
- Osnova
- Problém splňování podmínek. Binární a nebinární podmínky. Reprezentace podmínek. Složitost.
- Algoritmy a konzistence: vrcholová, hranová, po cestě, k-konzistence.
- Stromové prohledávací algoritmy: backtracking, limitovaný počet diskrepancí, neúplné prohledávání, inteligentní backtracking.
- Prohledávací algoritmy a propagace podmínek.
- Algoritmy lokálního prohledávání.
- Hybridní prohledávací algoritmy.
- Globální podmínky: modelování problému, metody řešení.
- Optimalizační problémy a algoritmy.
- Příliš podmíněné problémy: přístupy k řešení a algoritmy.
- Logické programování s omezujícími podmínkami. Souběžné programování s omezujícími podmínkami. Distribuované splňování podmínek. Agentní technologie a podmínky.
- Přehled a praktické použití systémů pro programování s omezujícími podmínkami.
- Modelování a využití v reálných aplikacích.
- Literatura
- Dechter, Rina. Constraint Processing. Morgan Kaufmann Publishers, 2003.
- Apt, Kryzstof R. Principles of Constraint Programming. Cambridge University Press, 2003.
- MARRIOTT, Kim a P. J. STUCKEY. Programming with constraints : an introduction. Cambridge: MIT Press, 1998, xiv, 467. ISBN 0262133415. info
- VAN HENTENRYCK, Pascal. Constraint Satisfaction in Logic Programming. Cambridge: Massachusetts Institute of Technology, 1989, 224 s. ISBN 0262081814. info
- BARTÁK, Roman. On-line Guide to Constraint Programming. 2002. URL info
- Metody hodnocení
- Kratší 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é, 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. - Informace učitele
- http://www.fi.muni.cz/~hanka/cp
Informace včetně průsvitek jsou dostupné přes www stránku předmětu. - Další komentáře
- Předmět je vyučován každoročně.
- Statistika zápisu (podzim 2003, nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/podzim2003/PA163