Předmět Fuzzy logika (KMA / FULOG)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu KMA / FULOG - Fuzzy logika, Přírodovědecká fakulta, Ostravská univerzita v Ostravě (OU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Obsah
1. Výroková BL-fuzzy logika: jazyk, formule, axiomy, dedukční pravidla, základní tautologie.2. Sémantika BL-luzzy logiky. Věta o dedukci a o spornosti. Věta o úplnosti a o standardní úplnosti.3. Predikátová BL-fuzzy logika: jazyk, axiomy, dedukční pravidla, základní tautologie.4. Sémantika predikátové BL-fuzzy logiky: struktura, model teorie, věta o úplnosti.5. Fuzzy logika s ohodnocenou syntaxí: jazyk, ohodnocená syntax, vícehodnotová dedukční pravidla.6. Logické axiomy. Ohodnocená dokazatelnost. Základní dokazatelné tautologie.7. Fuzzy teorie. Věta o spornosti fuzzy teorií. Věta o dedukci. Věta o úplnosti. Fuzzy teorie typu sorites.8. Fuzzy logika vyššího řádu: základní definice, axiomy, dedukční pravidla.9. Fuzzy logika vyššího řádu: sémantika.10. Aplikace fuzzy logiky vyššího řádu: Sémantika evaluačních jazykových výrazů.11. Aplikace fuzzy logiky vyššího řádu: Sémantika zobecněných kvantifikátorů.
Získané způsobilosti
- zná definice a vlastnosti algebraických struktur pravdivostních hodnot pro fuzzy logiky- zná základní věty o algebraických sturkturách praidvostních hodnot pro fuzzy logiky a umí je dokázat- orientuje se ve vztazích mezi reziduovanými svazy, BL-algebrami a MV-algebrami- umí definovat jazyk, axiomy a dedukční pravidla pro predikátovou BL-logiku- umí definovat jazyk, axiomy a dedukční pravidla pro predikátovou fuzzy logiku s ohodnocenou syntaxí- zná věty o dedukci v obou fuzzy logikách a umí uvést základní kroky v jejich důkazech- zná základní definice fuzzy logiky vyššího řádu a rozumí sémantice- orientuje se v oblasti evaluačních jazykových výrazů a v oblasti zobecněných kvantifikátorů, rozumí jejich sémantice
Literatura
Novák, V., Dvořák, A. Fuzzy logika. učební text OU, Ostrava, 2006. Novák, V., Perfilieva, I., Močkoř, J. Mathematical Principles of Fuzzy Logic. Kluwer, Boston, 1999. Hájek,P. Metamathematics of Fuzzy Logic. Kluwer, Dordrecht, 1998.
Požadavky
Podmínkou pro získání zápočtu je napsání jednoho písemného testu, body budou připočteny ve prospěch zápočtu. Pro jeho udělení je nutné ústně prokázat, že student předmětu rozumí, zná hlavní definice a věty.Hodnocení probíhá v souladu s ustanoveními článku 31 až 33 Studijního a zkušebního řádu OU.
Garant
prof. Ing. Vilém Novák, DrSc.
Vyučující
Mgr. Petra Murinováprof. Ing. Vilém Novák, DrSc.Mgr. Petra Murinová