Technické aplikace metod umělé inteligence (FSI-RUI)

Akademický rok 2022/2023
Garant: prof. RNDr. Miloslav Druckmüller, CSc.  
Garantující pracoviště: ÚM všechny předměty garantované tímto pracovištěm
Jazyk výuky: čeština
Cíle předmětu:
Cílem kuzu je seznámit studenty se současným stavem technických aplikací vícehodnotové logiky.
Výstupy studia a kompetence:
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
Obsah předmětu (anotace):
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.
Metody vyučování:
Předmět je vyučován formou přednášek, které mají charakter výkladu základních principů a teorie dané disciplíny. Cvičení je zaměřeno na praktické zvládnutí látky probrané na přednáškách.
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í.
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.
Typ (způsob) výuky:
    Přednáška  13 × 2 hod. nepovinná                  
    Cvičení s počítačovou podporou  13 × 2 hod. povinná                  
Osnova:
    Přednáška 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 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
Zařazení předmětu ve studijních programech:
Program Forma Obor Spec. Typ ukončení   Kredity     Povinnost     St.     Roč.     Semestr  
CŽV prezenční studium CZV Základy strojního inženýrství -- zá,zk 5 Povinně volitelný 1 1 L
N-IMB-P prezenční studium IME Inženýrská mechanika -- zá,zk 5 Povinně volitelný 2 1 L
N-IMB-P prezenční studium BIO Biomechanika -- zá,zk 5 Povinně volitelný 2 1 L
N-MET-P prezenční studium --- bez specializace -- zá,zk 5 Povinný 2 1 L