|
Vyučující
|
|
|
|
Obsah předmětu
|
- Umělá inteligence: základní pojmy - Algoritmus a Turingův stroj - Turingův test a přirozený jazyk - Multiagentní sysétmy a komunikace agentů - Expresivita ve výrokové logiky - Expresivita predikátové logiky - Expresivita TILu
|
|
Studijní aktivity a metody výuky
|
|
Přednášení, Dialogická (diskuze, rozhovor, brainstorming)
|
|
Výstupy z učení
|
Cílem předmětu je, aby student získal všeobecný přehled o problematice umělé inteligence. Dále bude seznámen s pojmem algoritmu na základě specifikace Turingova stroje. Student bude schopen tento Turingův stroj sestrojit pro jednoduchý řetězec znaků. Dalším z cílů je získání schopnosti provádět analýzu přirozeného jazyka prostřednictvím VL, PL1 a transparentní intenzionální logiky.
Student získá obecný přehled o problematice umělé inteligence a bude schopen implementovat jednoduché algoritmy na Turingově stroji. Dále získá dovednost porovnání expresivní síly logických systémů a analýzy jejich prostřednictvím.
|
|
Předpoklady
|
nespecifikováno
|
|
Hodnoticí metody a kritéria
|
Písemná zkouška
- pravidelná účast na seminářích (max. 2 povolené absence), - 50% úspěšnost v průběžných testech - 70% úspěšnost v závěrečném testu
|
|
Doporučená literatura
|
-
Duží, M. - Materna, P. (2012). TIL jako procedurální logika. Bratislava.
-
Duží, M. (2012). Logika pro informatiky a příbuzné obory. Ostrava.
-
Jančar, P. (2007). Úvod do teoretické informatiky. Ostrava.
-
Svoboda, V. - Peregrin, J. (2009). Od jazyka k logice. Praha.
-
Svoboda, V. a kol. (2010). Logika a přirozený jazyk. Praha.
-
Štěpán, J. - Materna, P.-. (2003). Filozofická logika: Nová cesta?. Olomouc.
-
Turing, A. M. Computing machinery and intelligence. Mind 59, 1950, s. 433-460.
|