Detail předmětu

Algoritmy umělé inteligence

FSI-VAI-KAk. rok: 2011/2012

Kurz seznamuje se základními přístupy k algoritmům umělé inteligence a klasickými metodami používanými v této oblasti. Důraz je kladen na automatické dokazování formulí, reprezentaci znalostí a řešení úloh. Použitelnost metod je demonstrována na řešení jednoduchých inženýrských problémů.

Jazyk výuky

čeština

Počet kreditů

5

Garant předmětu

prof. RNDr. Ing. Tomáš Březina, CSc.

Zajišťuje ústav

Ústav automatizace a informatiky (ÚAI)

Výsledky učení předmětu

Pochopení základních metod umělé inteligence a schopnost jejich implementace.

Prerekvizity

Předpokládá se znalost základních souvislostí z teorie grafů a objektově orientovaných
technologií.

Plánované vzdělávací činnosti a výukové metody

Metody vyučování závisejí na způsobu výuky a jsou popsány článkem 7 Studijního a zkušebního řádu VUT.

Způsob a kritéria hodnocení

Požadavky pro udělení zápočtu: předložení funkčního softwarového projektu, který používá některou z probíraných implementací metod UI. Konkrétní specifikace probíhá na prvním cvičení. Kontrola postupu realizace projektu a konzultace jsou prováděny průběžně. Dále absolvování dvou testů a splnění všech samostatných úkolů, které jsou průběžně zadávány. Celkem může student získat 40 bodů za cvičení a 60 bodů za zkoušku, celkem tedy max. 100 bodů. Hodnocení probíhá dle ECTS, tj. student musí získat alespoň polovinu bodů (20+30) pro úspěšné absolvování.

Učební cíle

Cílem kurzu je seznámit studenty se základním prostředky umělé inteligence, s možnostmi a přiměřeností jejich použití při řešení inženýrských úloh.

Vymezení kontrolované výuky a způsob jejího provádění a formy nahrazování zameškané výuky

Účast na přednáškách je žádoucí, na cvičeních povinná. Výuka běží podle týdenních plánů. Způsob nahrazení zameškaných cvičení je plně v kompetenci vyučujícího.

Základní literatura

Edward A. Bender: Mathematical Methods in Artificial Intelligence
Kim W.Tracy, Peter Bouthoorn: Object-oriented Artificial Intelligence Using C++

Doporučená literatura

F.Zbořil a kol.: Umělá inteligence (skriptum VUT)

Zařazení předmětu ve studijních plánech

  • Program M2I-K magisterský navazující

    obor M-AIŘ , 1 ročník, letní semestr, povinný
    obor M-AIŘ , 1 ročník, letní semestr, povinný

Typ (způsob) výuky

 

Konzultace

17 hod., nepovinná

Vyučující / Lektor

RNDr. Jiří Dvořák, CSc.

Osnova

1. Úvod, oblasti UI.
2. Řešení úloh: prohledávání stavového prostoru.
3. Řešení úloh: rozklad na podproblémy, metody hraní her.
4. Formální logické systémy, výroková logika, predikátová logika.
5. Zobecněná rezoluční metoda.
6. Predikátová logika a Prolog. Netradiční logiky.
7. Reprezentace znalostí formulemi predikátové logiky a pravidly.
8. Reprezentace znalostí sémantickými sítěmi, rámci a scénáři. Deklarativní a procedurální reprezentace.
9. Strojové učení.
10. Evoluční výpočetní techniky.
11. Inteligentní a reaktivní agenti.
12. Multiagentní systémy.
13. Další oblasti UI. Současný stav, perspektivy.