03585ntm a22005297a 4500 000165089 CZ-PrVSE 20110620175452.0 m d cr n|||||||||| 110620s2010 xr fsbm 000 0 cze d NEZPRACOVANÝ IMPORT ABA006 cze ABA006 ABA006 Havlíček, Petr ISIS:15488 dis Spornost fuzzy logických teorií v odvozovacích systémech [elektronický zdroj] / Petr Havlíček 2010 ?? s. : digital, PDF soubor Vedoucí práce: Jiří Ivánek Obsahuje bibliografii Textový (vysokoškolská kvalifikační práce) 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. Způsob přístupu: Internet Diplomová práce (Ing.)—Vysoká škola ekonomická v Praze. Fakulta informatiky a statistiky, 2010 Rok obhajoby 2010 index protichůdnosti odvozovací systém spornost teorie stupeň inkonsistence znalostní technologie [obor dipl. práce] fuzzy logika ph120411 czenas diplomové práce fd132022 czenas fuzzy logic eczenas master's theses eczenas Ivánek, Jiří, 1953- mzk2003171460 ths Jirků, Petr, 1942-2017 jn20001227484 opn Vysoká škola ekonomická v Praze. Fakulta informatiky a statistiky kn20010709399 https://isis.vse.cz/zp/20877/podrobnosti VŠKP v InSIS https://isis.vse.cz/zp/20877 Hlavní práce https://isis.vse.cz/zp/20877/posudek/vedouci Hodnocení vedoucího https://isis.vse.cz/zp/20877/posudek/oponent/13743 Oponentura http://isis.vse.cz/zp/50878/podrobnosti dc:identifier NEPOSILAT VSKP 50878 vse20877 110325 md5 50878 57ee5487b4847a1112f11335277cc2ea