Umělá inteligence
Kód | Zakončení | Kredity | Rozsah | Jazyk výuky |
---|---|---|---|---|
NI-UMI | Z,ZK | 5 | 2P+1C | česky |
- Garant předmětu:
- Pavel Surynek
- Přednášející:
- Pavel Surynek
- Cvičící:
- Pavel Surynek
- Předmět zajišťuje:
- katedra aplikované matematiky
- Anotace:
-
Předmět do hloubky pokrývá moderní přístupy a algoritmy, na nichž staví současná umělá inteligence. Studenti se seznámí s pokročilými technikami pro řešení úloh založenými na prohledávání a odvozování. Bude podán ucelený přehled formálních systémů pro modelování úloh, souvisejících řešících algoritmů a jejich praktické aplikace. Důraz bude kladen na logické uvažování v umělé inteligenci, které poskytuje různé garance, jako je například úplnost rozhodovacího procesu nebo přesné zdůvodnění rozhodnutí.
- Požadavky:
-
Předpokládají se znalosti odpovídající předmětu BI-ZUM: Základy umělé inteligence.
- Osnova přednášek:
-
1. Řešení úloh prohledáváním.
2. Splňování omezujících podmínek.
3. Konzistenční techniky pro splňování podmínek.
4. Výroková splnitelnost (SAT).
5. Rozhodování v logických teoriích.
6. Automatické plánování.
7. Modelování úloh.
8. Uvažování v logice prvního řádu.
9. Reprezentace znalostí.
10. Zpracování přirozeného jazyka.
11. Rozhodování ve hrách.
12. Robotika, plánování pohybu.
- Osnova cvičení:
-
1. Prohledávání
2. Omezující podmínky
3. Splnitelnost
4. Plánování
5. Modelování úloh
6. Hry
- Cíle studia:
-
Cílem předmětu je poskytnout studentům hlubší pohled do moderních oblastí umělé inteligence související s řešením úloh. Přiměřeně detailně ukázat vybrané důležité algoritmy a metody. Vést posluchače k dalšímu samostatnému studiu dílčích otázek v umělé inteligenci.
- Studijní materiály:
-
[1] Russel, S., Norvig, P.: Artificial Intelligence: A Modern Approach (3rd Edition), Prentice Hall, 2009.
[2] Decher, R.: Constraint Processing, Morgan Kaufmann, 2003.
[3] Ghallab, M., Nau, D., Traverso, P.: Automated Planning and Acting, Cambridge University Press, 2016.
[4] Biere, A., Heule, M., Van Maaren, H., Walsh, T.: Handbook of Satisfiability, IOS Press, 2009.
[5] Lažanský, J., Mařík, V., Štěpánková, O., a kolektiv: Umělá inteligence (1) - (6), Academia, 2000 - 2013.
[6] LaValle, S.: Planning Algorithms / Motion Planning. Cambridge University Press, 2006.
- Poznámka:
-
Informace o předmětu a výukové materiály naleznete na https://courses.fit.cvut.cz/MI-UMI/
- Další informace:
- https://courses.fit.cvut.cz/MI-UMI/
- Rozvrh na zimní semestr 2024/2025:
- Rozvrh není připraven
- Rozvrh na letní semestr 2024/2025:
- Rozvrh není připraven
- Předmět je součástí následujících studijních plánů:
-
- Mgr. specializace Počítačová bezpečnost, 2020 (volitelný předmět)
- Mgr. specializace Návrh a programování vestavných systémů, 2020 (volitelný předmět)
- Mgr. specializace Počítačové systémy a sítě, 2020 (volitelný předmět)
- Mgr. specializace Manažerská informatika, 2020 (volitelný předmět)
- Mgr. specializace Softwarové inženýrství, 2020 (volitelný předmět)
- Mgr. specializace Systémové programování, verze od 2020 (volitelný předmět)
- Mgr. specializace Webové inženýrství, 2020 (volitelný předmět)
- Mgr. specializace Znalostní inženýrství, 2020 (PS)
- Mgr. specializace Teoretická informatika, 2020 (volitelný předmět)
- Mgr. program, pro fázi studia bez specializace, ver. pro roky 2020 a vyšší (VO, volitelný předmět)
- Master Specialization Digital Business Engineering, 2023 (VO)
- Mgr. specializace Systémové programování, verze od 2023 (volitelný předmět)
- Mgr. specializace Teoretická informatika, 2023 (volitelný předmět)