Základy umělé inteligence

Přednášející:

Michal Pěchouček (gar.), Jiří Kléma, Olga Štěpánková

Cvičící:

Michal Pěchouček (gar.), Branislav Bošanský, Jiří Kléma, Olga Štěpánková, Demlová Uznáno, Ondřej Vaněk

Předmět zajišťuje:

katedra kybernetiky

Anotace:

Cílem předmětu je seznámit studenty se základy symbolické umělé inteligence. V předmětu budou vysvětleny algoritmy informovaného a neinformovaného prohledávání stavového prostoru, netradiční metody řešení problémů, reprezentace znalostí pomocí formální logiky, metody automatického uvažování a úvod do markovského rozhodování.

Požadavky:

Témata probíraná v předmětu A0B01LGR.

Osnova přednášek:

1. Úvod do umělé inteligence.

2. Řešení problémů pomocí prohledávání.

3. Neinformované prohledávání.

4. Informované prohledávání - algoritmus A*.

5. Netradiční metody prohledávání.

6. Reprezentace znalostí a uvažování pomocí pravidlových systémů.

7. Úvod do řešení dvouhráčových her.

8. Logika a reprezentace znalostí.

9. Reprezentace znalostí ve FOL, dokazovací nástroje.

10. Úvod do reprezentace nepřesné znalosti, Markovské modely nepřesného uvažování.

11. Markovské rozhodovací procesy.

12. Modální logika a její použití

13. Temporální logika a její použití.

14. Rezerva.

Osnova cvičení:

1. Neinformované prohledávání stavového prostoru.

2. Informované prohledávání.

3. Algoritmus A*.

4. Řešení úloh s omezeními.

5. Hry dvou hráčů.

6. Hry dvou hráčů.

7. Genetické algoritmy a neurální sítě.

8. Opakování matematické logiky, rezoluční princip.

9. Nástroje automatického dokazování.

10. Markovské modely.

11. Markov Decision Process toolbox.

12. Modální logika -- příklady.

13. Temporální logika -- příklady.

14. Rezerva, zápočty.

Cíle studia:

Cílem předmětu je přehledově seznámit studenty se základy symbolické umělé inteligence.

Studijní materiály:

Stuart Russell and Peter Norvig: Artificial Intelligence: A Modern Approach,

Prentice Hall, Second Edition, 2003.

Poznámka:

Rozsah výuky v kombinované formě studia: 14p+6c

Rozvrh na zimní semestr 2011/2012:

Rozvrh není připraven

Rozvrh na letní semestr 2011/2012:

	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	místnost KN:E-230 Bošanský B. Kléma J. 09:15–10:45 (přednášková par. 1 paralelka 101) Karlovo nám. Černobyl K230místnost KN:E-230 Vaněk O. Štěpánková O. 12:45–14:15 (přednášková par. 1 paralelka 102) Karlovo nám. Černobyl K230
Út	místnost KN:E-107 Pěchouček M. Štěpánková O. 14:30–16:00 (přednášková par. 1) Karlovo nám. Zengerova posluchárna K1
St
Čt
Pá

Předmět je součástí následujících studijních plánů:

• Otevřená informatika - Informatika a počítačové vědy (povinný předmět oboru)