Umělá inteligence

Garant předmětu:

Pavel Surynek

Přednášející:

Pavel Surynek

Cvičící:

Kristýna Janovská, 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:

	06:00–08:0008:00–10:0010:00–12:0012:00–14:0014:00–16:0016:00–18:0018:00–20:0020:00–22:0022:00–24:00
Po
Út	místnost JP:B-671 Surynek P. 14:30–16:00 (přednášková par. 1) Jugoslávských partyzánů 3
St
Čt	místnost T9:351 Surynek P. 12:45–14:15 LICHÝ TÝDEN (přednášková par. 1 paralelka 101) Dejvice NBFIT PC ucebnamístnost T9:351 Surynek P. 14:30–16:00 LICHÝ TÝDEN (přednášková par. 1 paralelka 102) Dejvice NBFIT PC ucebna místnost T9:351 Janovská K. 12:45–14:15 SUDÝ TÝDEN (přednášková par. 1 paralelka 103) Dejvice NBFIT PC ucebnamístnost T9:351 Janovská K. 14:30–16:00 SUDÝ TÝDEN (přednášková par. 1 paralelka 104) Dejvice NBFIT PC ucebna
Pá

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)