Studijní katalog - Fakulta informatiky - Masarykova univerzita

17.9. Státní magisterská zkousˇka v programu Informatika, obor
Umělá inteligence a zpracování prˇirozeného jazyka
Garanti: doc.PhDr. Karel Pala, CSc., doc.RNDr. Lubomír Popelínsky´, Ph.D.
Zaměrˇení: Umělá inteligence
1. Syntaxe a sémantika vy´rokové a predikátové logiky: Rezoluční metoda v predikátové
logice. Lineární rezoluce a Hornovy klauzule, SLD-rezoluce a logické programování.
Tablové du˚kazy. Deduktivní metody v modální logice. Induktivní inference. Specializační
operátory a problém odvození modelu. Nemonotonní odvozování. Logika a reprezentace
znalostí.
2. Slozˇitost a rˇesˇení tězˇky´ch problému˚: Struktura a vlastnosti časovy´ch slozˇitostních trˇíd.
Aproximativní, randomizované a heuristické prˇistupy Slozˇitost některy´ch úloh v umělé
inteligenci. Dekompozice problému. Statistické metody a vyhodnocování experimentu˚.
3. Programovací techniky pro umělou inteligenci: Sémantiky programovacích jazyku˚. Logické
programování a jazyk Prolog: rˇízení vy´počtu, rˇez, seznamy, vestavěné predikáty,
styl programování, optimalizační techniky. Logické programování s omezujícími podmínkami:
CLP program, omezující podmínky nad konečny´mi doménami, globální podmínky,
labeling. Inteligentní agenti.
4. Metody reprezentace znalostí a inference: Reprezentace znalostí, pravidla, rámce, sémantické
sítě. Deduktivní odvozování. Doprˇedné a zpětné rˇetězení pravidel. Odvozování
s neurčitostí. Metody tvorby báze znalostí. Induktivní odvozování. Hypotetické odvozování.
Prolog a reprezentace znalostí. Hry a základní herní strategie.
5. Počítačové zpracování prˇirozeného jazyka: Korpusy a korpusové manazˇery. Morfologická
a syntaktická analy´za. Desambiguace. Gramatiky jako reprezentace znalostí. Gramatiky
definitních klauzulí. Valenční rámce a typy valencí. Lexikální vy´znamy a lexikální databáze,
WordNet. Logiky pro zpracování prˇirozeného jazyka. Sémantické reprezentace
vět.
Titulní strana
Obsah
◭◭ ◮◮
◭ ◮
Strana 310 z 509
Zpět
Vprˇed
Zavrˇít
Konec