Detail předmětu

Algoritmy umělé inteligence

FSI-VAI-KAk. rok: 2010/2011

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 rozpoznávání. Použitelnost metod je demonstrována na reš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

Detailní seznámení se s základními metodami umělé inteligence a s jejich implementací.

Prerekvizity

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

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ředlození 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 60bodů za zkoušku, celkem tedy max. 100bodů. 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 s 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, oblast 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. Analýza textu. Morfologická, syntaktická, sémantická a pragmatická analýza. Použití gramatik.
10. Příznakové a strukturální rozpoznávání. Použití gramatik.
11. Počítačové vidění. Prahová detekce, filtrace. Topologické vlastnosti obrazu, strukturální analýza. Analýza scén s mnohostěny.
12. Rozpoznávání řeči. Transformace akustického signálu, filtracní analýza, metoda klipované řeči. Segmentace a klasifikace segmentu.
13. Další oblasti UI. Současný stav, perspektivy.