• Umělá inteligence
Katedra teoretické infomatiky a matematické logiky a Kabinet software a výuky informatiky
http:// artemis. ms. mff. cuni. cz / http:// clp. mff. cuni. cz / http:// arg. mff. cuni. cz / http:// www. storyfactory. cz / http:// www. evropa2045. cz /
Obor Umělá inteligence( UI) se studuje v rámci studijního oboru I1 – Teo retická informatika ve stu dij ním plánu Neprocedurální programování a umělá inteligence. K dispozici je řada přednášek počínaje obecným úvo dem do UI dále pak o obecných programových nástrojích UI, konkrét ně o logickém a funkcionálním programování. Specializované předmě ty zahrnují oblasti jako jsou neuronové sítě, strojové učení a dobý- vá ní znalostí, automatické pláno vání, dokazování vět, splňování omezu jících podmínek, evoluční algoritmy nebo UI pro počítačové hry.
V rámci studia se mohou studenti aktivně zapojit do práce výzkumných skupin, které se zabývají jednotlivými aspekty UI.
Skupina ome zujících podmínek a optimali zace pracuje v oblasti plánování a roz vr hování, hlavně pak na mo delo vání a optimalizaci výroby.
Skupina inteligentních systémů na vrhuje efektivní algoritmy strojového učení a nástroje pro dobývání dat.
Umělá inteligence je mladý vědní obor zabývající se konstrukcí inteligentních entit. Výzkumníci zde navrhují systé my vykazující chování, které, pokud by se takto choval člověk, bychom nazvali inteligentní. V současnosti zahrnuje celé spektrum podoborů studujících jak o becná témata jako je automatické plánová ní a strojové učení, tak řešení spe cifických problémů typu automatizované řízení au ta, psaní povídek nebo diagnostika nemocí. S umělou inteligencí souvisí i řada samostatných disciplín jako jsou multi-agentní systémy, lingvistika, robotika nebo speciální programovací jazyky.
Plánování, tedy hledání akcí vedoucích ke splnění zadaného cíle, je jednou z fundamentálních oblastí umělé inteligence. Ře- ší me problémy, jak naplánovat trasu mnoha robotů ve stísněném pro stře dí( například jak nejrychleji projet křižo vatkou) i jak vy- tvořit plán výroby a tento plán převést do podoby proveditelného rozvrhu činnos tí. S firmou Entellexi pracujeme na progra mu MAK € pro optimali zaci výroby, aplikace jdou ale nad rámec výrobního roz vrhování například do oblasti řízení projektů.
Počítačové hry nemusí sloužit jen k zábavě a odpočinku, ale mohou být také výbornou pomůckou při výuce a výzkumu. Pomáhali jsme vytvořit simulační počítačovou hru Evropa 2045, která přibližuje hráčům rozho dovací a řídící mechanismy Evropské unie a nechává je na vlastní kůži pocítit prob lémy, kterým musí spojená Evropa čelit. Na středních školách po celé ČR ji hrá lo už více jak 2000 studentů. Ve vlastním 3D virtuálním městě zkoumáme algoritmy
98 Informatika: Umělá inteligence