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

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
MI-UMI Z,ZK 5 2+1 č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í. Přednáška vychází z klasické učebnice umělé inteligence [1], přičemž rozšiřující materiál týkající se splnitelnosti, omezujících podmínek, automatického plánování a robotiky čerpá také ze specializovaných učebnic [2], [3], [4] a [6]. Vhodným studijním materiálem k přednášce jsou i české učebnice [5].

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 [2]

3. Konzistenční techniky pro splňování podmínek [2]

4. Výroková splnitelnost (SAT) [4]

5. Rozhodování v logických teoriích [4]

6. Automatické plánování [3]

7. Modelování úloh

8. Uvažování v logice prvního řádu

9. Reprezentace znalostí

10. Uvažování s neurčitostí

11. Rozhodování ve hrách

12. Robotika [6]

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 2018/2019:
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-s135
Surynek P.
18:00–19:30
(přednášková par. 1)
Thákurova 7 (FSv-budova A)
As135
St
místnost T9:351
Surynek P.
16:15–17:45
SUDÝ TÝDEN

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

Dejvice
NBFIT PC ucebna
místnost T9:351
Surynek P.
18:00–19:30
LICHÝ TÝDEN

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

Dejvice
NBFIT PC ucebna
místnost T9:351
Surynek P.
16:15–17:45
LICHÝ TÝDEN

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

Dejvice
NBFIT PC ucebna
místnost T9:351
Surynek P.
18:00–19:30
SUDÝ TÝDEN

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

Dejvice
NBFIT PC ucebna
Čt

Rozvrh na letní semestr 2018/2019:
Rozvrh není připraven
Předmět je součástí následujících studijních plánů:
Platnost dat k 17. 12. 2018
Aktualizace výše uvedených informací naleznete na adrese http://bilakniha.cvut.cz/cs/predmet5543206.html