|
|
Vývojové prostředí pro umělou inteligenci Modul fuzzy čísel
Pergl, Miroslav ; Hrabec, Jakub (oponent) ; Jirsík, Václav (vedoucí práce)
Diplomová práce pojednává o matematických operacích s fuzzy čísly. V první části práce jsou zavedeny pojmy z oblasti fuzzy logiky, jako jsou definice fuzzy množiny, fuzzy čísla, universa a pěti funkcí příslušnosti používaných v programu. Je rozebrána metoda – řezu pro práci s fuzzy čísly v podobě uzavřených intervalů na jednotlivých hladinách. Druhá část práce popisuje program vytvořený v rámci této diplomové práce, sloužící pro provádění matematických operací s fuzzy čísly. Jsou zde popsány funkce potřebné pro převod fuzzy čísla z reprezentace v podobě funkce příslušnosti do vyjádření jako nepravidelné pole typu double. Dále je zde popis funkcí potřebných pro samotné výpočty operací a funkcí zajišťujících výstup do programu MS Excel. V poslední části práce je popsán vznik uživatelského rozhraní a funkce potřebné pro jeho obsluhu.
|
|
|
Klasifikace mikrospánku analýzou EEG
Ronzhina, Marina ; Smital, Lukáš (oponent) ; Čmiel, Vratislav (vedoucí práce)
Tato diplomová práce se zabývá detekcí mikrospánku na základě změn energetického spektra EEG signálu. Vstupními hodnotami pro klasifikaci jsou výsledky časově-frekvenční analýzy. Navržená metoda klasifikace využívá aparát fuzzy logiky. Jsou navřeny 4 klasifikátory, jejichž základem jsou fuzzy inferenční systémy lišící se bázi pravidel. Pro návrh funkce příslušnosti premis pravidel jsou použity výsledky fuzzy shlukování. První dva klasifikátory pro detekci mikrospánku využívají pouze alfa pásmo spektrogramu EEG signálu. Tedy umožňují detekci jen stavu relaxace. Třetí klasifikátor je na rozdíl od předcházejících doplněn pravidly pro delta pásmo, co dává možnost rozlišovat v spektru 3 stavy: mentace, relaxace a somnolence. Čtvrtý klasifikátor má rozhodovací mechanismus zahrnující celé pásmo signálu. Uvažovaný přístup ke klasifikaci mikrospánku je realizován a implementován prostřednictvím programového vybavení počítače. Je vytvořen uživatelský program s grafickým rozhraním.
|
|
|
Fuzzy Petriho sítě pro expertní systémy
Maksant, Jindřich ; Valenta, Jan (oponent) ; Jirsík, Václav (vedoucí práce)
Tato práce si klade za cíl návrh a praktickou realizaci expertního systému, jehož báze znalostí bude modelovaná fuzzy Petriho sítí. Při návrhu je vycházeno z poznatků teoretického rozboru diagnostického expertního systému a fuzzy Petriho sítí. Tento návrh je pak realizován v programovacím jazyce C#. Jsou popsány funkce programu a provedeny vzorové konzultace při použití různých bází znalostí.
|
|
|
Moderní trendy v oboru počítačová fyzika
SURYNEK, Radek
Diplomová práce nabízí přehled základních moderních metod, které mohou být využity v oblasti počítačové fyziky. Jedná se konkrétně o paralelní výpočty, neuronové sítě, genetické algoritmy a fuzzy logiku. V každé kapitole je uveden teoretický popis metody, zjednodušené matematické vyjádření, návrhy technické realizace a stručně jsou zmíněny i konkrétní aplikace. Text je doplněn řadou jednoduchých příkladů. Závěr práce shrnuje získané poznatky a nastiňuje budoucí vývoj.
|
|
| |
|
| |
|
|
Fuzzy GUHA
Ralbovský, Martin ; Rauch, Jan (vedoucí práce) ; Svátek, Vojtěch (oponent) ; Holeňa, Martin (oponent) ; Vojtáš, Peter (oponent)
Metoda GUHA je jednou z nejstarších metod explorační analýzy dat, která je považována za součást vědního oboru dobývání znalostí z databází. Na rozdíl od jiných metod tohoto oboru, metoda GUHA staví na pevných teoretických základech logiky a statistiky. Metoda vnímá nalezení zajímavé znalosti jako nalezení určité formule v dostatečně bohatém logickém kalkulu, kterému se říká observační kalkul. Hlavním tématem dizertační práce je aplikace "fuzzy paradigmatu" na metodu GUHA. Pod pojmem "fuzzy paradigma" myslíme přístupy, které používají vícehodnotové stupně náležení, nebo pravdivostní hodnoty, jmenovitě fuzzy teorii množin a fuzzy logiku. Práce se nesnaží pokrýt všechny aspekty této aplikace, soustředí se na: - asociační pravidla, která jsou nejpoužívanější typy formulí v metodě GUHA - použití fuzzy dat - logické aspekty dobývání fuzzy asociačních pravidel - porovnání GUHA teorie s výzkumem fuzzy asociačních pravidel hlavního proudu - implementaci teorie s použitím bitových řetízků Práce zevrubně rozpracovává teorii fuzzy asociačních pravidel a používá přitom teoretický aparát fuzzy teorie množin i fuzzy logiky. Fuzzy teorie množin slouží zejména k porovnání metody GUHA s existujícími pokusy o formalizaci fuzzy asociačních pravidel založených na algoritmu apriori. Fuzzy logika je použita k definici nové třídy logických kalkulů nazvaných logické kalkuly fuzzy asociačních pravidel (LCFAR). Práce se detailně zabývá problémem existence dedukčních pravidel v LCFAR. Vhodná část navržené teorie je implementována v systému Ferda za pomoci bitových řetízků, což znamená reprezentace charakteristik zkoumaných objektů jako řetezce bitů. Tento přístup lze v crisp případě efektivně implementovat. Pro zachování jeho výhod ve fuzzy případě bylo provedeno hloubkové testování datových struktur a algoritmů pro reprezentaci fuzzy bitových řetízků.
|
|
|
Dvě souvislosti mezi epistemickou a fuzzy logikou
Běhounek, Libor
Článek se zabývá dvěma možnostmi propojení epistemické a fuzzy logiky. Epistemická fuzzy logika jakožto druh modální fuzzy logiky popisuje usuzování agentů o vágních výrocích; v článku jsou naznačeny problémy takové syntézy související s neplatností axiomu K ve fuzzy kripkovských rámcích. Druhým směrem je založení epistemické logiky na fuzzy logice; v článku je naznačeno, jak chápání proveditelné znalosti jako fuzzy modality odstraňuje paradox logické vševědoucnosti agentů
|
|
|
Automatické dokazování ve fuzzy logikách
Cintula, Petr ; Navara, M.
Počítačová algebra dovoluje provádět řadu operací, které jsou považovány za složité: faktorizaci, integraci, symbolické řešení ODR, atd. Logické operace nejsou většinou implementovány, např. až verze 9 programu MAPLE obsahuje toolbox LOGIC. Mimo toolboxu pro fuzzy řízení, neexistuje žádné profesionální software na řešení problému fuzzy logiky. Zde sumarizujeme současnou situaci v počítačové podpoře pro řešení problému tautologičnosti ve fuzzy logikách.
|
|
|
Slabě implikační predikátové fuzzy logiky
Cintula, Petr
Autor tohoto článku navrhl dvě třídy výrokových logik jež se vztahují k matematické fuzzy logice (viz. také jeho společný članek s L. Běhounkem o filosofických, metodologických a pragmatických důvodech pro zavedení těchto tříd). Po připomenutí základních definic se budeme zabývat prvo-řádovými variantami logik z těchto dvou tříd. Zde prezentované výsledky jsou obsaženy v autorovi doktorské disertaci a jeho připravovaném článku. Z duvodu prostorového omezení zde prezentujeme jen základní definice a věty (např. úplně vynecháme duležitou problematiku tzv. Baazova delta).
|
host ::
RSS.