Umělá inteligence a zpracování přirozeného jazyka

  1. Databáze. Ukládání dat, adresace záznamů. Indexování a hašování pro více atributů, bitmapové indexy, dynamické hašování. Vyhodnocení dotazů, transformační pravidla, statistiky a odhady. Optimalizace dotazů a schématu. Transakční zpracování, výpadky a zotavení. Podobnostní vyhledávání.
    PA152, PA128
  2. Výpočetní logika. Rezoluční metoda v predikátové logice. Zjemnění rezoluce a Hornovy klauzule. SLD-rezoluce. Výpočetní model logického programu. Jazyk Prolog. Tablové důkazy ve výrokové, predikátové a modální logice. Induktivní inference ve výrokové a predikátové logice. Vícehodnotové logiky.
    IA008
  3. Složitost a algoritmy pro těžké problémy. Složitostní třídy, redukce, úplné problémy. Základní časové a prostorové složitostní třídy, vztah determinismu a nedeterminizmu. P vs NP problém. Aproximativní algoritmy. Využití úlohy lineárního programování pro konstrukci aproximativních algoritmů. Náhodnostní algoritmy. Heuristické přístupy.
    IA012, IA101
  4. Statistika. Popisná statistika, funkcionální a číselné charakteristiky znaků. Diskrétní a spojité náhodné veličiny (NV), základní rozložení. Číselné charakteristiky NV. Centrální limitní věta. Bodové odhady, intervaly spolehlivosti, testování statistických hypotéz, hladina významnosti. Lineární regrese, celkový F-test, dílčí t-testy. Statistické metody a vyhodnocování experimentů.
    MV011, MA012
  5. Hry, modelování, simulace. Hry a základní herní strategie. Modelování, typy modelů, počítačové modely, simulace. Markovovské modely. Zpětná vazba, rovnováha. Modelování pomocí agentů, modelování sítí. Modelování myšlení, učení, evoluce. Buněčné automaty, produkční systémy.
    IV109, IV111, PA154, M7190
  6. Metody Soft Computing. Neuronové sítě. Genetické algoritmy. Komplexní systémy, přírodní komplexní systémy, sociální hmyz. Iterativní lokální prohledávání, simulované žíhání, tabu prohledávání.
    PV021, IV109, IA101, IV126
  7. Prohledávání a programování s omezujícími podmínkami. Řešení problémů prohledáváním stavového prostoru. Konzistence a algoritmy pro binární a nebinární podmínky. Stromové prohledávání bez/s konzistenčními technikami. Modelování pomocí omezujících podmínek, globální podmínky.
    PA163
  8. Strojové učení a dobývání znalostí. Klasifikace, shlukování, hledání častých vzorů a asociačních pravidel. Multirelační učení. Předzpracování dat. Dolování z textu a webových dokumentů. Metody validace výsledku.
    PV056, PA164, PA055
  9. Rozvrhování a plánování. Grahamova klasifikace. Rozvrhování pomocí řídících pravidel, omezujících podmínek, lokálního prohledávání a matematického programování. Plánování projektu, plánování úloh.
    PA167
  10. Zpracování přirozeného jazyka. Automatická morfologická analýza. Rozpoznávání a generování větné struktury, gramatiky, základní typy syntaktické analýzy. Sémantická analýza věty, logická analýza přirozeného jazyka. Pragmatická rovina, komunikační situace. Korpusy, statistické a pravidlové značkování.
    PA153, IV029, IA161, PA164, PA154
  11. Metody reprezentace a vyvozování znalostí. Reprezentace znalostí pomocí pravidel, rámce, sémantické sítě. Deduktivní a induktivní odvozování. Dopředné a zpětné řetězení pravidel. Odvozování s neurčitostí.
    PA153, IA008