Základy umělé inteligence

Přednášející:

Michal Pěchouček

Cvičící:

Michal Pěchouček

Předmět zajišťuje:

katedra fyzikální elektroniky

Anotace:

Cílem předmětu je seznámit studenty se základy symbolické umělé inteligence. Vpředmětu budou vysvětleny algoritmy informovaného aneinformované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:

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:

Znalosti:

Základní metody umělé inteligence.

Schopnosti:

Použít metody umělé inteligence pro řešení problémů včetně implementace.

Studijní materiály:

Povinná literatura:

[1] S. Russell and P. Norvig: Artificial Intelligence: A Modern Approach, Prentice Hall, Second Edition, 2003

Doporučená literatura:

[2] V. Mařík, O. Štěpánková, J. Lažanský: Umělá inteligence 1, Academia, 2000.

[3] R. Brachman, H. Levesque: Knowledge Representation and Reasoning, Morgan Kaufmann, 2004.

Poznámka:

Rozvrh na zimní semestr 2011/2012:

Rozvrh není připraven

Rozvrh na letní semestr 2011/2012:

Rozvrh není připraven

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