Fuzzy množiny, Fuzzy inference system. Libor Žák

Podobné dokumenty
Matematická analýza 1

Teorie množin. Čekají nás základní množinové operace kartézské součiny, relace zobrazení, operace. Teoretické základy informatiky.

Princip rozšíření a operace s fuzzy čísly

Pojem binární relace patří mezi nejzákladnější matematické pojmy. Binární relace

Množiny, základní číselné množiny, množinové operace

1 Báze a dimenze vektorového prostoru 1

Vektory a matice. Obsah. Aplikovaná matematika I. Carl Friedrich Gauss. Základní pojmy a operace

0. ÚVOD - matematické symboly, značení,

Pro každé formule α, β, γ, δ platí: Pro každé formule α, β, γ platí: Poznámka: Platí právě tehdy, když je tautologie.

Cílem kapitoly je opakování a rozšíření středoškolských znalostí v oblasti teorie množin.

Kapitola 1. Úvod. 1.1 Značení. 1.2 Výroky - opakování. N... přirozená čísla (1, 2, 3,...). Q... racionální čísla ( p, kde p Z a q N) R...

INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ. Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.

ALGEBRA. Téma 4: Grupy, okruhy a pole

B i n á r n í r e l a c e. Patrik Kavecký, Radomír Hamřík

1. POJMY 1.1. FORMULE VÝROKOVÉHO POČTU

Míry podobnosti, základy fuzzy matematiky

1. POJMY 1.1. FORMULE VÝROKOVÉHO POČTU

Stavební fakulta Katedra mechaniky. Jaroslav Kruis, Petr Štemberk

Základní pojmy teorie množin Vektorové prostory

Množinu všech slov nad abecedou Σ značíme Σ * Množinu všech neprázdných slov Σ + Jazyk nad abecedou Σ je libovolná množina slov nad Σ

PŘEDNÁŠKA 7 Kongruence svazů

Vlastnosti regulárních jazyků

Zavedení a vlastnosti reálných čísel

Fuzzy logika. Informační a znalostní systémy

Vybrané přístupy řešení neurčitosti

PŘEDNÁŠKA 2 POSLOUPNOSTI

Množiny, relace, zobrazení

Lineární algebra : Lineární prostor

Booleova algebra. ZákonyBooleovy algebry Vyjádření logických funkcí

Bakalářská matematika I

Matematika 6F fuzzy množiny

RELACE, OPERACE. Relace

Patří-li do množiny A právě prvky a, b, c, d, budeme zapisovat A = {a, b, c, d}.

Polynomy nad Z p Konstrukce faktorových okruhů modulo polynom. Alena Gollová, TIK Počítání modulo polynom 1/30

Úvod do logiky (presentace 2) Naivní teorie množin, relace a funkce

Texty k přednáškám z MMAN3: 4. Funkce a zobrazení v euklidovských prostorech

Poznámka. Je-li f zobrazení, ve kterém potřebujeme zdůraznit proměnnou, píšeme f(x) (resp. f(y), resp. f(t)) je zobrazení místo f je zobrazení.

Matematická logika. Miroslav Kolařík

PŘEDNÁŠKA 5 Konjuktivně disjunktivní termy, konečné distributivní svazy

Každé formuli výrokového počtu přiřadíme hodnotu 0, půjde-li o formuli nepravdivou, a hodnotu 1, půjde-li. α neplatí. β je nutná podmínka pro α

NAIVNÍ TEORIE MNOŽIN, okruh č. 5

METRICKÉ A NORMOVANÉ PROSTORY

Přijímací zkouška - matematika

Okruh č.3: Sémantický výklad predikátové logiky

Relace. R, S vyjmenovaním prvků. Sestrojte grafy relací R, S. Určete relace

10 Funkce více proměnných

Definice 4.1 Nechť (X, ) je svaz s nejmenším prvkem 0 a největším prvkem 1. Komplement prvku x X je každý prvek y, pro který platí. x y = 1, x y = 0.

1 Základní pojmy. 1.1 Množiny

Věta o dělení polynomů se zbytkem

MATICE. a 11 a 12 a 1n a 21 a 22 a 2n A = = [a ij]

Zadání a řešení testu z matematiky a zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia od jara 2016

Matematická analýza pro informatiky I.

V předchozí kapitole jsme podstatným způsobem rozšířili naši představu o tom, co je to číslo. Nadále jsou pro nás důležité především vlastnosti

REÁLNÁ FUNKCE JEDNÉ PROMĚNNÉ

Maticí typu (m, n), kde m, n jsou přirozená čísla, se rozumí soubor mn veličin a jk zapsaných do m řádků a n sloupců tvaru:

Co je to univerzální algebra?

Kapitola 1: Reálné funkce 1/13

Marie Duží

1 Množiny, výroky a číselné obory

Formální systém výrokové logiky

1.3. Číselné množiny. Cíle. Průvodce studiem. Výklad

Teoretická informatika Tomáš Foltýnek Algebra Struktury s jednou operací

Fuzzy regulátory Mamdaniho a Takagi-Sugenova typu. Návrh fuzzy regulátorů: F-I-A-D v regulátorech Mamdaniho typu. Fuzzifikace. Inference. Viz. obr.

Organizace. Zápočet: test týden semestru (pátek) bodů souhrnný test (1 pokus) Zkouška: písemná část ( 50 bodů), ústní část

Úvod do informatiky. Miroslav Kolařík

Funkce a lineární funkce pro studijní obory

Matematika (KMI/PMATE)

Matematika B101MA1, B101MA2

FUNKCE. Než přistoupíme k samotným funkcím, je třeba nadefinovat a vysvětlit několik pojmů, které k tomu budeme potřebovat.

Oproti definici ekvivalence jsme tedy pouze zaměnili symetričnost za antisymetričnost.

Moderní technologie ve studiu aplikované fyziky CZ.1.07/2.2.00/ Množiny, funkce

Matematická logika. Miroslav Kolařík

Fuzzy logika Osnova kurzu

Zadání a řešení testu z matematiky a zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia od podzimu 2016

Úvod do lineární algebry

Výroková logika. Teoretická informatika Tomáš Foltýnek

UDL 2004/2005 Cvičení č.6 řešení Strana 1/5

0.1 Funkce a její vlastnosti

p 2 q , tj. 2q 2 = p 2. Tedy p 2 je sudé číslo, což ale znamená, že

Inovace a zkvalitnění výuky prostřednictvím ICT

MATURITNÍ TÉMATA Z MATEMATIKY

prof. RNDr. Čestmír Burdík DrCs. prof. Ing. Edita Pelantová CSc. BI-ZMA ZS 2009/2010

Vektorové podprostory, lineární nezávislost, báze, dimenze a souřadnice

Lineární algebra Kapitola 1 - Základní matematické pojmy

3. Algebraické systémy

VYUŽITÍ FUZZY MODELŮ PŘI HODNOCENÍ OBTÍŽNOSTI CYKLOTRAS

α β ) právě tehdy, když pro jednotlivé hodnoty platí β1 αn βn. Danou relaci nazýváme relace

FUNKCE A JEJICH VLASTNOSTI

Projekty - Úvod do funkcionální analýzy

1 Mnohočleny a algebraické rovnice

označme j = (0, 1) a nazvěme tuto dvojici imaginární jednotkou. Potom libovolnou (x, y) = (x, 0) + (0, y) = (x, 0) + (0, 1)(y, 0) = x + jy,

2. Množiny, funkce. Poznámka: Prvky množiny mohou být opět množiny. Takovou množinu, pak nazýváme systém množin, značí se

Booleovská algebra. Booleovské binární a unární funkce. Základní zákony.

3 Množiny, Relace a Funkce

Omezenost funkce. Definice. (shora, zdola) omezená na množině M D(f ) tuto vlastnost. nazývá se (shora, zdola) omezená tuto vlastnost má množina

Svazy. Jan Paseka. Masarykova univerzita Brno. Svazy p.1/37

1 Topologie roviny a prostoru

Úlohy k procvičování textu o svazech

Zadání a řešení testu z matematiky a zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia od podzimu 2015

Úvodní informace. 17. února 2018

Transkript:

Fuzzy množiny, Fuzzy inference system

Proč právě fuzzy množiny V řadě případů jsou parametry, které vstupují a ovlivňují vlastnosti procesu, popsané pomocí přibližných nebo zjednodušených pojmů. Tedy parametry nelze popsat v přesně daných pojmech, ale musíme použít vágnější popis. Právě užití fuzzy množin je výhodné pro popis a práci s těmito vágními výrazy. Například u stanovení diagnózy se bere v úvahu intenzita bolesti, kterou pacient pociťuje. U metod založených na fuzzy přístupu lze na základě vágních popisů, popřípadě s pomocí naměřených dat vyjádřit hledanou závislost. K tomu se využívá Fuzzy Inference Systém (FIS), který je založen na pojmech: fuzzy množina jazyková proměnná znalostní pravidla

Nechť U je třída, kterou budeme nazývat univerzum. V dalším textu předpokládáme, že U je množina. Nechť L = (L,,, 1, 0) je úplný nekonečně distributivní reziduovaný svaz. Tento svaz popisuje stupně příslušnosti prvku x U do fuzzy množiny. Ve většině praktických aplikací se předpokládá, že L = 0, 1, ale obecně však nemusí být svaz L řetězcem. Fuzzy množinou A se rozumí dvojice (U, A ), kde U je univerzum a A : U L je funkce popisující příslušnost prvků z U do fuzzy množiny A. Příslušnost prvku x U do fuzzy množiny A označíme A (x). Označme F L (U) třídu všech fuzzy množin nad univerzem U a s hodnotami funkce příslušnosti ve svazu L. Pro svaz L = ( 0,1, max, min,1,0) označíme třídu všech fuzzy množin pouze F(U).

Fuzzy množinou A se rozumí dvojice (U, A ), kde U je univerzum a A : U 0,1 je funkce popisující příslušnost prvků z U do fuzzy množiny A. Tuto příslušnost označíme A (x). Fuzzy množina je zobecnění klasické množiny, neboť pro příslušnost u klasické množiny A platí A : U {0, 1} a x A A (x) = 1 a x A A (x) = 0. Příklad různých fuzzy množin: 1 0.8 0.6 0.4 0.2 0 0 1 2 3 4 5 6 7 8 9 10

Nosič fuzzy množiny A je klasická množina: Supp(A) = {x U; A (x) 0}. Jádro fuzzy množiny A je klasická množina: Ker(A) = {x U; A (x) = 1}. Fuzzy množina A se nazývá normální, jestliže Ker(A). Výška fuzzy množiny A: Hgt(A) = sup x U { A (x)}. Fuzzy množina A se nazývá konvexní, jestliže U je lineární prostor a pro každé dva prvky x, y U a 0, 1 platí: A ( x+(1- )y) A (x) A (y). -řez fuzzy množiny A, kde L, je klasická množina A ={x U; A (x) = }. Pro L = 0, 1 lze psát: A = {x ; A (x) }. Striktní -řez fuzzy množiny A, kde L, je klasická množina A + = {x; A (x) = a A (x) }. Pro L = 0, 1 lze psát: A + = {x U; A (x) }. -hladina fuzzy množiny A, kde L, je klasická množina A = {x U; A (x) = }.

Dále se omezíme na svaz typu: L = 0,1, max, min, 1, 0. Nechť A, B jsou fuzzy množiny: A = (U, A ), B = (U, B ). Prázdná fuzzy množina nad univerzem U značíme a definujeme: = (U, ), kde (x) = 0 x U. Fuzzy množiny A a B jsou si rovny: A = B A (x) = B (x) x U. Fuzzy množina A je fuzzy podmnožinou fuzzy množiny B: A B A (x) B (x) x U. Sjednocení fuzzy množin A a B: A B = (U, A B ), kde A B (x) = max{ A (x), B (x)} x U. Průnik fuzzy množin A a B: A B = (U, A B ), kde A B (x) = min{ A (x), B (x)} x U. Doplněk fuzzy množiny A: com(a) = (U, com(a) ), kde com(a) (x) =1 A (x) x U.

Pro fuzzy množiny lze definovat řadu dalších operací. Např.: Algebraický součin fuzzy množin A a B: A B = (U, A B ), kde A B (x) = A (x) B (x) x U. Algebraický součet fuzzy množin A a B: A + B = (U, A+B ), kde A+B (x) = A (x)+ B (x) A (x) B (x) x U. Násobení konstantou 0, 1 : A = (U, A ), kde A (x) = A (x) x U. Mocninu fuzzy množiny A: n N, A n = (U, ), kde (x) = An (x) x U. t norma Minimová (též: Gödelova) t-norma: p & G q = min(p, q) Součinová t-norma: p & S q = p * q Łukasiewiczova t-norma: p & Ł q = max(0, p + q - 1) t - konorma

Nechť A i = (U i, Ai ), kde i = 1, 2,..., n jsou fuzzy množiny. Kartézský součin fuzzy množin je fuzzy množina A 1 A 2... A n = (U 1 U 2... U n, A 1 A 2... A n ), kde (x 1, x 2,..., x n ) = min{ A1 (x 1 ), A2 (x 2 ),..., An (x n )}. A 1 A 2... A n Nechť U i, i = 1, 2,..., n, jsou univerza. Pak fuzzy relací na U = U 1 U 2... U n se rozumí fuzzy množina R nad univerzem U. Nechť R a S jsou fuzzy relace: R = (U 1 U 2, R ) a S = (U 2 U 3, S ). Pak kompozici fuzzy relací definujeme: R S = (U 1 U 3, R S ), kde R S (x 1, x 3 ) = sup min{ R (x 1, x 2 ), S (x 2, x 3 )}. x U 2 2

Binární fuzzy relace na U je fuzzy relace R = (U U, R ). Binární relace R je reflexivní, jestliže x U platí: R (x, x) = 1. Pro reflexivní relaci platí: R R R. Binární relace R je symetrická, jestliže x, y U platí: R (x, y) = R (y, x). Binární relace R je tranzitivní, jestliže x, z U platí: R (x, z) sup y U min{ R (x, y), R (y,z)}. Pro tranzitivní relaci R platí: R R R. R R... R Nechť R m =. Pak tranzitivní uzávěr relace R je fuzzy relace R t : m krat R t = R R 2... R m... Je-li U konečná množina, Card(U) = n, pak existuje k n, že R t = R R 2... R k. Pokud navíc je R reflexivní, pak R t = R k. Fuzzy relace, která je reflexivní, symetrická a tranzitivní, se nazývá relace podobnosti.

Důležitý pojem, který umožňuje převést operaci z klasických množin na operaci ve fuzzy množinách je princip rozšíření. Nechť U a V jsou univerza, f: U V funkce a A je fuzzy množina na U. Pak fuzzy množina A indukuje fuzzy množinu f(a) na univerzu V: f(a) =(V, f(a) ), kde f(a) (y) = sup { A (x)} a f(a) (y) = 0, pokud neexistuje x U takové, že y = f(x). Pokud máme funkci f : U 1 U 2... U n V a A i je fuzzy množina na U i ( A i = (U i, ) ), pak fuzzy množina f(a 1, A 2,..., A n ) nad univerzem V má funkci příslušnosti: (y) = sup min{ (x 1 ), (x 2 ),..., (x n )} ( x1, x2,..., xn ) U 1 U2... Un ; y f ( x, x,..., x ) 1 2 n x U ; y f ( x)

Fuzzy číslo A je fuzzy množina na universu reálných čísel, která je určena čtveřicí bodů ( a (1), a (2), a (3), a (4) ) a po částech souvislou funkcí příslušnosti s následujícími vlastnostmi: a (1) a (2) a (3) a (4) je rovna nule pro x a (1) a x a (4) je rovna jedné pro a (2) x a (3) je rostoucí na a (1), a (2) a klesající na a (3), a (4) A (x) 1 1 0 a(1) a(2) a(3) a(4) x 0 a(1) a(2) a(3) x

Fuzzy inference systém nejčastější použití fuzzy množin je založen na pojmech - fuzzy množina - jazyková hodnota a jazyková proměnná - přibližné usuzování - defuzzikace

Jazyková proměnná Častým využitím fuzzy množin je popis slovních výrazů a jejich spojení do tvrzení. K tomu slouží jazyková proměnná a její hodnoty. Hodnotami jazykové proměnné jsou slova, jež jazykovou proměnnou charakterizují. Jazyková hodnota je popsána fuzzy množinou (význam jazykové hodnoty). Například pro jazykovou proměnnou věk můžeme definovat tři jazykové hodnoty: mladý, střední, starý. Každou tuto jazykovou hodnotu je třeba popsat vhodnou fuzzy množinou. Možné volby významu jazykových hodnot a jejich významu:

Znalostní pravidla FIS se skládají z více pravidel přibližného usuzování. Přibližné usuzování je zobecněním implikace. Příklad přibližného usuzování: jestliže věk=střední a pohyb=málo, pak tloušťka=velká, kde věk, pohyb, tloušťka jsou jazykové proměnné a střední, málo, velká jsou příslušné jazykové hodnoty. Vyhodnocení přibližného usuzování se provádí pomocí fuzzy množin, kterými jsou jazykové hodnoty popsány. Nechť M(jazyková hodnota) je význam jazykové hodnoty ve tvaru fuzzy množiny. Pak význam přibližného usuzování je dán fuzzy relací: M( ) = M(střední) M(málo) M(velká) Odezva přibližného usuzování na vstup (např. věk=mladý, pohyb=středně) je ve tvaru složení fuzzy relací: (M(mladý) M(středně)) M( ) Výsledkem je fuzzy množina popisující hodnotu tloušťky.

FIS Fuzzy Inference Systém (fuzzy regulátor). Základ FIS je souhrn pravidel přibližného uvažování. Podle tvaru pravidel rozlišujeme FIS na Mamdani a Sugeno (Takagi-Sugeno) Pravidla FIS typu Mamdani jsou popsána výhradně pomocí fuzzy množin. U FIS Sugeno je pravá strana pravidel popsána pomocí předem zvolené funkce. Pro definování FIS je třeba zvolit: - počet vstupních a výstupních jazykových proměnných -pro každou proměnnou počet a tvar předdefinovaných hodnot, které lze je uvažovat jako vzorové vstupy (výstupy) - znalostní pravidla

Pod pojmem Fuzzy Inference Systém (FIS) rozumíme výrok: = 1 jinak 2 jinak... jinak K, kde 1, 2,.., K jsou výroky ve tvaru pravidel přibližného usuzování. Tyto výroky nazýváme pravidla FIS, ta jsou definována pomocí předdefinovaných vstupních a výstupních hodnot. Každé pravidlo určuje vztah mezi zvolenými vstupními a výstupními hodnotami. Význam výroku (význam FIS) se většinou uvažuje jako sjednocení významu jednotlivých pravidel. Jako vstupy do FIS budeme uvažovat libovolné fuzzy množiny. Tyto fuzzy množiny jsou porovnány se vstupy do jednotlivých pravidel a podle podobnosti je určen výstup z pravidel ve tvaru fuzzy množin. Jejich sjednocením dostáváme výstup z FIS (reakci FIS na vstup). V mnoha případech nepožadujeme jako výstup z FIS fuzzy množinu, ale konkrétní hodnotu v V, tj. provádíme defuzzifikaci. Nejčastěji používanou metodou defuzzifikace je centroidní metoda.

Pokud se provede simulace číselných vstupů a k nim se přidá defuzzifikace výstupu FIS, lze reakci FIS na číselné vstupy zobrazit ve tvaru FIS plochy (křivky). Tato plocha, a nikoli celý FIS, bývá implementována v zařízeních obsahujcí fuzzy logiku ( fotoaparáty, pračky, ). Příklady ploch FIS Mamdani (Sugeno):