|
|
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).
|
|
| |
|
|
Spornost fuzzy logických teorií v odvozovacích systémech
Havlíček, Petr ; Ivánek, Jiří (vedoucí práce) ; Jirků, Petr (oponent)
Tato práce se zabývá zkoumáním spornosti zvláštní omezené třídy fuzzy logických teorií reprezentujících odvozovací systém. Tato třída je v práci vymezena jako teorie obsahující zejména speciální axiomy odpovídající pravidlům v odvozovacím systému a ohodnocené atomy odpovídající datům o případu. Práce využívá funkcionálního přístupu a zabývá se třemi fuzzy logickými kalkuly, a to logikou Gödelovou, Łukasiewiczovou a produkční. Jako jazyk je použit jazyk predikátové fuzzy logiky prvního řádu s ohodnocením. Pro ověření spornosti využívá konceptu stupně inkonsistence (angl. inconsistency degree) a v Łukasiewiczově logice také indexu protichůdnosti (angl. polar index). Popsán je i princip stupně konsistence (angl. consictency degree). Je navržen jednoduchý algoritmus pro ověření konsistence teorie na základě stupně inkonsistence a je popsán způsob použití indexu protichůdnosti. Pro fuzzy logickou teorii je zaveden termín odpovídající teorie ve dvouhodnotové logice a jsou porovnány spornosti teorií ve fuzzy logice a odpovídajících teorií ve dvouhodnotové logice. Výsledky tohoto porovnání jsou presentovány na příkladech teorií pro tento účel navrženého diagnostického systému MEDSYS II. Na konec je odvozen vztah mezi sporností fuzzy logické teorie odvozovacího systému a jí odpovídající klasické teorie v jednotlivých kalkulech pro oba použité přístupy v jednotlivých fuzzy logických kalkulech.
|
host ::
RSS.