PředmětyPředměty(verze: 809)
Předmět, akademický rok 2017/2018
   Přihlásit přes CAS
Umělá inteligence I - NAIL069
Anglický název: Artificial Intelligence I
Zajišťuje: Katedra teoretické informatiky a matematické logiky (32-KTIML)
Fakulta: Matematicko-fyzikální fakulta
Platnost: od 2015
Semestr: zimní
E-Kredity: 5
Rozsah, examinace: zimní s.:2/1 Z+Zk [hodiny/týden]
Počet míst: neomezen
Minimální obsazenost: neomezen
Stav předmětu: vyučován
Jazyk výuky: angličtina, čeština
Způsob výuky: prezenční
Další informace: http://ktiml.mff.cuni.cz/~bartak/ui/
Garant: prof. RNDr. Roman Barták, Ph.D.
Třída: Informatika Mgr. - Teoretická informatika
Kategorizace předmětu: Informatika > Teoretická informatika
Anotace -
Poslední úprava: T_KTI (11.05.2011)

Úvodní přednáška představující základní pojmy a metody různých oblastí umělé inteligence. Předpokládají se znalosti v rozsahu bakalářského kursu NAIL062 Výroková a predikátová logika.
Cíl předmětu -
Poslední úprava: T_KTI (23.05.2008)

Představit základní pojmy a metody různých oblastí umělé inteligence.

Podmínky zakončení předmětu -
Poslední úprava: prof. RNDr. Roman Barták, Ph.D. (06.10.2017)

Pro úspěšné absolvování předmětu je potřeba složit zkoušku a získat zápočet. Udělení zápočtu není podmínkou pro přihlášení na zkoušku. Zápočet je získán za udělení dostatečného počtu bodů v průběhu semestru (konkrétní číslo stanoví cvičící na začátku semestru). Body jsou udělovány za řešení domácích úkolů, psaní esejů a turnaje. Zápočet nelze opakovat.

Literatura -
Poslední úprava: prof. RNDr. Roman Barták, Ph.D. (06.10.2017)

S. Russell, P. Norvig: Artificial Intelligence; A Modern Approach, 2003

V. Mařík, O. Štepánková, J. Lažanský a kol.: Umělá Inteligence, 1-6. Academia, Praha

Metody výuky -
Poslední úprava: prof. RNDr. Roman Barták, Ph.D. (06.10.2017)

přednáška a cvičení

Požadavky ke zkoušce -
Poslední úprava: prof. RNDr. Roman Barták, Ph.D. (06.10.2017)

Zkouška se skládá z písemné přípravy a ústní části. Požadavky odpovídají sylabu předmětu.

Sylabus -
Poslední úprava: BARTAK/MFF.CUNI.CZ (18.02.2008)

Inteligentní agenti, jejich prostředí a základní struktury.

Řešení úloh prohledáváním (DFS, BFS, ID, A*, IDA*, lokální a on-line prohledávaní, heuristiky).

Splňování omezujících podmínek.

Hry (minimax, alfa-beta prořezávání).

Reprezentace znalostí v logice, logické odvozovací techniky (dopředné a zpětné řetězení, rezoluční metoda).

Automatické plánování.

 
Univerzita Karlova | Informační systém UK