Katedra teoretické informatiky a matematické logiky (KTIML)
Adresa: Malostranské nám. 25, 118 00 Praha 1
Telefon: 22191 4245
Fax: 22191 4323
Email: ktiml@ktiml.mff.cuni.cz
Domácí stránka: ktiml.mff.cuni.cz
Katedra je zodpovědná za výuku a výzkum v oblasti teoretické informatiky jako je umělá inteligence, logika, teorie automatů, vyčíslitelnost, složitost a deklarativní programování (logické a funkcionální programování a programování s omezujícími podmínkami). Je garantem studijního oboru Teoretická informatika a v rámci něho studijních plánů algoritmy a složitost, neprocedurální programování a umělá inteligence.
| Zaměření | Expertíza | Garant |
|---|---|---|
| Programování s omezujícími podmínkami | Studium technik splňování omezujících podmínek, filtračních a prohledávacích algoritmů, modelování problémů kombinatorické optimalizace. | Doc. RNDr. Roman Barták, Ph.D. Roman.Bartak@mff.cuni.cz |
| Pokročilé plánování a rozvrhování | Aplikace umělé inteligence v plánovacích a rozvrhovacích problémech, studium hranice mezi plánováním a rozvrhováním. | Doc. RNDr. Roman Barták, Ph.D. Roman.Bartak@mff.cuni.cz |
| Booleovské funkce a jejich reprezentace | Studium různých tříd booleovských funkcí a jejich reprezentací. Aplikace v umělé inteligenci, zejména v oblasti expertních systémů a automatické dedukce. | Doc. RNDr. Ondřej Čepek, Ph.D. Ondrej.Cepek@mff.cuni.cz |
| Klasická teorie rozvrhování | Studium a návrhy efektivních algoritmů pro rozvrhování na více strojích, zejména pro shop scheduling (open shop, flow shop, job shop) a pro rozvrhování typu just-in-time. | Doc. RNDr. Ondřej Čepek, Ph.D. Ondrej.Cepek@mff.cuni.cz |
| Kombinatorické a algoritmické struktury | Detailní studium hyperkrychlí a příbuzných kombinatorických problémů s orientací na složitost těchto problémů. | Doc. RNDr. Václav Koubek, DrSc. Vaclav.Koubek@mff.cuni.cz |
| Teorie pologrup, svazů a distributivních svazů. | Studium vlastností homomorfismů a vlastností algebraických struktur. | Doc. RNDr. Václav Koubek, DrSc. Vaclav.Koubek@mff.cuni.cz |
| Teorie vyčíslitelnosti, algoritmická náhodnost | Studium teorie vyčíslitelnosti v její abstraktní podobě, klasifikace algoritmicky nerozhodnutelných problémů, algoritmická náhodnost včetně struktury algoritmicky náhodných množin. | Doc. RNDr. Antonín Kučera, CSc. Antonin.Kucera@mff.cuni.cz |
| Formální rozpoznávání, syntakticko-sémantická analýza a přirozené jazyky | Aplikace technik teorie automatů, gramatik, přepisovacích systémů a omezovacích parametrů na problémy aplikované a počítačové lingvistiky a rozpoznávání obrazu | Martin Plátek, CSc. Martin.Platek@mff.cuni.cz |
| Formální a pravděpodobnostní metody pro umělou inteligenci, multiagentní systémy | Použití metod umělé inteligence ve strojovém dokazování vět a ve znalostních bázích formalizované matematiky. Aplikace na analýzu, optimalizaci a formalizaci deklarativních programů. Metody strojového učení, data-miningu zejména s využitím pravděpodobnostních technik. | Prof. RNDr. Petr Štěpánek, DrSc. Petr.Stepanek@mff.cuni.cz |
| Formální znalostní báze a umělá inteligence | Velké formální (zejména matematické) znalostní báze, umělá inteligence pro odvozování a obecně práci se znalostmi v těchto bázích. | Mgr. Josef Urban, Ph.D. Josef.Urban@mff.cuni.cz |
| Nestranné rozdělování omezených zdrojů | Řešení konfliktních situací vznikajících při alokaci omezených zdrojů. | Prof. RNDr. Milan Vlach, DrSc. Milan.Vlach@mff.cuni.cz |
| Pravděpodobnostní modely v umělé inteligenci | Vývoj metodologie (BN, influenční diagramy) a aplikace modelů pro práci s nejistotou v umělé inteligenci. | Mgr. Marta Vomlelová, Ph.D. Marta.Vomplelova@mff.cuni.cz |