Oddělení statistického modelování a umělé inteligence

Oddělení statistického modelování a umělé inteligence (SMAIL) rozvíjí pokročilé metody umělé inteligence, statistické, výpočetní a logické přístupy pro analýzu a porozumění komplexním datům. Náš výzkum propojuje statistické modelování, strojové učení, algoritmické přístupy a formální logické metody, což odráží rozmanité metodologické základy oddělení.

Zabýváme se teoretickými základy umělé inteligence a statistiky, navrhujeme inovativní modely, vyvíjíme efektivní metody odhadu a učení a implementujeme nové postupy ve vědeckém softwaru. Náš výzkum je založen na pevných teoretických základech a je ověřován pomocí simulačních studií i analýzy reálných dat. Metodologicky usilujeme o vědeckou excelenci a vyvíjíme přístupy, které posouvají stav poznání v umělé inteligenci, ve statistickém modelování, a výpočetních metodách založených na datech.

Máme rozsáhlé zkušenosti s aplikací metod umělé inteligence a statistické analýzy reálných dat v různých oblastech. Naše přístupy nacházejí uplatnění například ve společenských vědách a psychometrii, biomedicínském výzkumu, environmentálních a energetických systémech i v dalších oborech, kde hrají pokročilé metody analýzy dat a inteligentní algoritmy klíčovou roli.

Výzkumné skupiny

  • Applied Artificial Intelligence: Tato skupina se zaměruje především na vývoj a zdokonalování metod umělé inteligence a zároveň na jejich uplatnění při řešení reálných problémů, přičemž kombinuje strojové učení, statistické modelování a algoritmy založené na datech.
  • Automated Reasoning: Tato skupina vyvíjí nástroje, které počítačům umožňují matematicky přesně uvažovat, což je nezbytné pro spolehlivý návrh automatizovaných systémů. Skupina proto posouvá hranice současného stavu poznání v oblastech, jako jsou dokazovací asistenti, induktivní logické programování, plánování, formální verifikace a SMT řešiče.
  • Computational Psychometrics: Tato skupina se zaměřuje na vývoj pokročilých výpočetních a statistických modelů pro analýzu hodnocení a měřících dat v oblasti vzdělávání, psychologie a spoločenských věd, přičemž klade důraz na spolehlivost, validitu a získávání podrobných poznatků prostřednictvím nových odhadovacích metod a reprodukovatelných softwarových nástrojů.
  • Statistical Modeling: Tato skupina se zaměřuje na vývoj a aplikaci statistických modelů na reálné mezioborové problémy a zároveň provádí metodologický výzkum s cílem rozvíjet statistickou metodologii.

Projekty

Vybrané publikace

Členové oddělení

Kmenoví zaměstnanci

Projektoví zaměstnanci

Vedoucí oddělení: (kalina)