Detail předmětu

Technické aplikace metod umělé inteligence

FSI-RUIAk. rok: 2012/2013

Kurs je určen specielně pro studenty matematického inženýrství a obsahuje teorii vícehodnotové logiky, teorii slovní proměnné a slovních modelů a teorii expertních systémů založených na těchto teoriích. Součástí předmětu jsou i praktické aplikace v technických disciplinách.

Jazyk výuky

čeština

Počet kreditů

5

Garant předmětu

prof. RNDr. Miloslav Druckmüller, CSc.

Zajišťuje ústav

Ústav matematiky (ÚM)

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

Znalost základů vícehodnotové logiky, technicky orientovaných slovních modelů a expertních systémů, včetně praktických zkušeností s tvorbou expertního systému

Prerekvizity

Základy matematické logiky, teorie množin, matematická analýza

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í

Zápočet na základě odevzdání semestrální práce (funkční expertní systém vytvořený v systému LMPS 6.0)
Zkouška písemná i ústní.

Učební cíle

Cílem kuzu je seznámit studenty se současným stavem technických aplikací vícehodnotové logiky.

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

Kontrolována je účast na cvičeních. Zameškaná výuka je nahrazována zpracováním dodatečných úloh.

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

  • Program M2A-P magisterský navazující

    obor M-MET , 1 ročník, letní semestr, povinně volitelný

Typ (způsob) výuky

 

Přednáška

26 hod., nepovinná

Vyučující / Lektor

prof. RNDr. Miloslav Druckmüller, CSc.

Osnova

1. Vícehodnotová logika, formule, pravdivostní ohodnocení
2. T-normy, T-konormy, zobecněné implikace
3. Slovní proměnné a slovní modely
4. Znalostní báze expertního systému
5. Sémantické interpretace znalostních bází
6. Inferenční mechanismus a jeho implementace
7. Redundance a spory ve znalostní bázi
8. Systém LMPS
9. Systém LMPS - aplikace
10. Problém pokrytí definičního oboru znalostní bází,
fuzzifikace
11. Technické aplikace vícehodnotové logiky
12. Expertní systémy
13. Přehled metod AI

Cvičení s počítačovou podporou

26 hod., povinná

Vyučující / Lektor

prof. RNDr. Miloslav Druckmüller, CSc.

Osnova

1. Vícehodnotová logika, formule, pravdivostní ohodnocení
2. Lukasziewiczova logika
3-4. Slovní proměnné a slovní modely
5. Sestavení znalostní báze expertního systému, zadání semestrální práce
6. Seznámení se systémem LMPS 6.0, deklarace slovních proměnných
7. Seznámení se systémem LMPS 6.0, prohlášení
8. Seznámení se systémem LMPS 6.0, dotaz - odpověď, interpretace odpovědi
9. Seznámení se systémem LMPS 6.0, trasování, redundance
10. Seznámení se systémem LMPS 6.0, detekce a odstranění sporů
11-12. Konzultace k semestrální práci
13. Odevzdání semestrální práce