Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail předmětu
FSI-VAIAk. rok: 2023/2024
Kurz seznamuje se základními přístupy k algoritmům umělé inteligence a klasickými metodami používanými v této oblasti. Důraz je kladen na automatické dokazování formulí, reprezentaci znalostí a řešení úloh. Použitelnost metod je demonstrována na řešení jednoduchých inženýrských problémů.
Jazyk výuky
Počet kreditů
Garant předmětu
Zajišťuje ústav
Vstupní znalosti
Pravidla hodnocení a ukončení předmětu
Učební cíle
Základní literatura
Doporučení literatura
Elearning
Zařazení předmětu ve studijních plánech
Přednáška
Vyučující / Lektor
Osnova
1. Úvod do umělé inteligence.2. Stavový prostor, neinformované prohledávání.3. Informované prohledávání stavového prostoru.4. Řešení problémů rozkladem na podproblémy, metody prohledávání AND/OR grafu.5. Metody hraní her.6. Úlohy se splňováním omezení.7. Predikátová logika a rezoluční metoda.8. Hornova logika a logické programování.9. Netradiční logiky.10. Reprezentace znalostí.11. Reprezentace a zpracování neurčitosti.12. Bayesovské a rozhodovací sítě.13. Markovské rozhodovací procesy.
Cvičení s počítačovou podporou
1. Úvodní motivační příklady.2. Metody neinformovaného prohledávání stavového prostoru.3. Metody informovaného prohledávání stavového prostoru.4. Algoritmus A* a jeho modifikace.5. Metody prohledávání AND/OR grafu.6. Úlohy se splňováním omezení.7. Metody hraní her.8. Predikátová logika a rezoluční metoda.9. Logické programování a jazyk Prolog.10. Řešení úloh UI v Prologu.11. Produkční a expertní systémy.12. Bayesovské sítě.13. Obhájení semestrálních prací.