Logo ČVUT
ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE
STUDIJNÍ PLÁNY
2022/2023

Umělá inteligence

Přihlášení do KOSu pro zápis předmětu Zobrazit rozvrh
Kód Zakončení Kredity Rozsah Jazyk výuky
NI-UMI Z,ZK 5 2P+1C česky
Přednášející:
Pavel Surynek (gar.)
Cvičící:
Pavel Surynek (gar.)
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 2022/2023:
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 TH:A-1142
Surynek P.
14:30–16:00
SUDÝ TÝDEN

(přednášková par. 1
paralelka 101)

Thákurova 7 (FSv-budova A)
Apple lab
místnost TH:A-1142
Surynek P.
16:15–17:45
SUDÝ TÝDEN

(přednášková par. 1
paralelka 102)

Thákurova 7 (FSv-budova A)
Apple lab
místnost TH:A-1142
Surynek P.
18:00–19:30
SUDÝ TÝDEN

(přednášková par. 1
paralelka 103)

Thákurova 7 (FSv-budova A)
Apple lab
místnost TH:A-1142
Surynek P.
14:30–16:00
LICHÝ TÝDEN

(přednášková par. 1
paralelka 104)

Thákurova 7 (FSv-budova A)
Apple lab
St
místnost TK:BS
Surynek P.
16:15–17:45
(přednášková par. 1)
Dejvice
NTK Ballingův sál
Čt

Rozvrh na letní semestr 2022/2023:
Rozvrh není připraven
Předmět je součástí následujících studijních plánů:
Platnost dat k 28. 1. 2023
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/cs/predmet6115806.html