• Sekce Fuzzy Logic Toolbox. S.D. Shtovba. Úvod do teorie fuzzy množin a fuzzy logiky

    Lingvistické proměnné( LP ) jsou způsobem popisu komplexní systémy, jejichž parametry nejsou posuzovány z kvantitativních pozic, ale jako kvalitativní. Jazykové proměnné nám zároveň umožňují párování kvalitativní charakteristiky nějakou kvantitativní interpretaci s danou mírou spolehlivosti, která umožňuje zpracovávat kvalitativní data na počítači. Další oblastí použití lingvistických proměnných je fuzzy logická inference, která se od obvyklé liší tím, že pravdivost logických výroků není určena dvěma hodnotami 0 a 1, ale sadou hodnot v intervalu. .

    Pojem jazykové proměnné vychází z pojmu liché proměnné.

    fuzzy proměnná nazýváme kombinací tří prvků:

    < X, U, µ A(u) >,

    Kde X– název fuzzy proměnné; U je univerzální sada; µ A(u) je fuzzy podmnožina A univerzální sada U. Jinými slovy, fuzzy proměnná je pojmenovaná fuzzy množina.

    jazyková proměnná se nazývá soubor pěti prvků:

    < L, T(X), U, G, M >,

    Kde L– název jazykové proměnné;

    T(X) je soubor základních pojmů jazykové proměnné, který se skládá ze sady názvů hodnot jazykových proměnných ( T 1 , T 2 , …, T n), z nichž každá odpovídá fuzzy proměnné X univerzální sada U;

    U je univerzální množina, na které je definována jazyková proměnná;

    G- syntaktické pravidlo, které generuje jména X proměnné hodnoty;

    M je sémantické pravidlo, které spojuje každou fuzzy proměnnou s X jeho význam M(X), tj. fuzzy podmnožina univerzální množiny U.



    Požadavek na řazení je kladen na termíny jazykové proměnné: T 1 < T 2 < … < T n .

    Funkce příslušnosti fuzzy množin, které tvoří kvantitativní význam základních pojmů lingvistické proměnné, musí splňovat následující podmínky:

    2. : ;

    4. : .

    Tady n je počet základních pojmů jazykové proměnné; u min, umax jsou hranicemi univerzální množiny U, na kterém je definována jazyková proměnná. Li U R (R je tedy množina reálných čísel U = [u min, umax].

    pravidlo syntaxe G je kombinací čtyř prvků: G = < V T, V N, T, P >,

    Kde V T– sada koncových symbolů nebo slov; V N– soubor nekoncových symbolů nebo frází; T– soubor základních pojmů; R– soubor substitučních pravidel, která určují ekvivalenci frází.

    Sémantické pravidlo M odpovídá každé frázi s novým

    jasná množina definovaná na základě funkcí příslušnosti základních pojmů a množina operací s fuzzy množinami.

    Jako příklad uvažujme číselnou lingvistickou proměnnou „lidská výška“. Nechť jsou hodnoty proměnné zadány pomocí tří základních pojmů: "nízká", "střední", "vysoká". Podmínky jsou objednány. univerzální sada čísel U PROTI tento případ je interval U = .

    Členské funkce termínů jsou znázorněny na Obr. 7.6 a splňují požadavky uvedené výše.

    Rýže. 7.6 Lingvistická proměnná "Lidská výška"

    Jako syntaktické pravidlo definujeme, že množina neterminálních symbolů obsahuje slova „a“, „nebo“, „více či méně“, „ne“, „velmi“, která lze kombinovat se základními pojmy „nízká“. "", "střední", "vysoká" a je třeba dodržovat následující pravidla:

    Symboly „a“ ​​a „nebo“ mohou spojovat pouze dvě fráze nebo základní termíny a zbývající nekoncové symboly jsou unární, tj. může předcházet frázi nebo základnímu termínu; například „není vysoká“, „velmi nízká“, „nízká nebo střední“;

    Současná negace dvou základních pojmů, například „nenízká a nevysoká“, je ekvivalentní zbývajícímu základnímu pojmu, tzn. "průměrný".

    Použitím těchto pravidel lze sestavit mnoho frází a pravidel pro substituci. Pokud syntaktické pravidlo nelze určit algoritmicky, jsou všechny možné fráze jednoduše uvedeny.

    Jako sémantické pravidlo definujeme korespondenci mezi neterminálními symboly a operacemi na fuzzy množinách:

    "ne" - sčítání;

    "a" - křižovatka;

    "nebo" - unie;

    "velmi" - koncentrace;

    "více či méně" je rozšíření.

    Pomocí uvažované lingvistické proměnné lze odhadnout

    vypočítat výšku osob bez použití přesných měření.

    Pomocí lingvistických proměnných je tedy možné popsat předměty, jejichž přesné měření vlastností je buď extrémně pracné, nebo je vůbec nemožné.

    Tvorba jazykové proměnné je zpravidla realizována na základě průzkumu odborníků - specialistů v oboru, pro který je LP budována. Zvláštní pozornost je přitom věnována utváření funkcí příslušnosti fuzzy množin, které jsou základními pojmy jazykové proměnné, neboť definice syntaktických a sémantických pravidel pro většinu jazykových proměnných je standardní a v praxi se omezuje na výpis všechny možné fráze a interpretace neterminálních symbolů, jak je uvedeno výše.

    Proces formování jazykové proměnné zahrnuje Další kroky:

    1. Definice množiny pojmů LP a její řazení.

    2. Konstrukce numerického oboru definice LP.

    3. Zjištění schématu průzkumu expertů a provedení ankety.

    4. Konstrukce členských funkcí pro každé období LP.

    Fáze 1 zahrnuje nastavení počtu LP termínů a názvů odpovídajících fuzzy proměnných odborníkem. Počet termínů se vybírá z rozsahu n= 7±2.

    Ve fázi 2 je popsána univerzální sada U, který může být číselný nebo nečíselný. Typ univerzální množiny závisí na popsaných objektech a určuje způsob utváření funkcí příslušnosti členů LP.

    Fáze 3 je klíčová při tvorbě LP. Existují dva druhy

    průzkum odborníků: přímý a nepřímý. Každá z těchto metod může být individuální nebo skupinová. Organizačně nejjednodušší a

    implementace softwaru je individuální metoda dotazování odborníků.

    V přímém průzkumu odborníků jsou všechny parametry členských funkcí přímo uvedeny. Nevýhodou je zde projev subjektivity v úsudcích a také nutnost znalce znát základy fuzzy logiky. V nepřímém průzkumu se členské funkce utvářejí na základě odpovědí experta na „hlavní“ otázky. To zvyšuje objektivitu posouzení a nevyžaduje znalost fuzzy logiky, zvyšuje se však riziko nejednotnosti v úsudcích znalců.

    U skupinových metod průzkumu se výsledek tvoří na základě spojení názorů několika odborníků. V praxi se nejčastěji využívá individuální nepřímé šetření.

    Přednáška. Fuzzy Computing

    Koncept fuzzy čísla

    Jednou z oblastí použití fuzzy logiky je provádění aritmetických operací s fuzzy množinami. Pro snížení složitosti takových operací se používá speciální typ fuzzy množin – fuzzy čísla.

    fuzzy číslo(LF) je fuzzy proměnná, která má následující vlastnosti: ; .

    Jinými slovy, fuzzy číslo je pojmenovaná fuzzy množina, pro kterou je univerzální množina U je interval reálné osy R.

    V reálných úlohách se používají po částech lineární fuzzy čísla.Pro zjednodušení aritmetických operací se navíc po částech lineární funkce příslušnosti aproximují, aby se získal speciální druh fuzzy čísel - parametrická fuzzy čísla nebo fuzzy čísla

    (LR)-typu, které se vyznačují kompaktním zastoupením a jednoduchými

    že provádění aritmetických operací.

    fuzzy číslo A volal fuzzy číslo (LR)–typ, pokud má jeho členská funkce následující tvar (obr. 7.8):

    0,

    1, ,

    kde jsou parametry fuzzy čísel; L(X), R(X) jsou některé funkce.

    Fuzzy parametrické číslo se značí ( A, b, C, d)LR.

    Takže fuzzy číslo ( LR)-typ je popsán šesti parametry: čtyřmi čísly označujícími jeho hranice a dvěma funkcemi definujícími formu jeho funkce příslušnosti.



    Obr.7.8 Parametrická fuzzy čísla

    Zavolá se fuzzy číslo unimodální, pokud má pouze jeden bod, ve kterém je funkce příslušnosti rovna jedné, tzn. jeho parametry b A C jsou stejné, jinak se volá fuzzy číslo tolerantní(viz obrázek 7.8). Unimodální fuzzy čísla jsou označena pěti parametry ( A, b, d)LR.

    Tak jako LR– nejčastěji používané funkce lineární závislosti dáno následujícími vztahy:

    LR– funkce lze také specifikovat pomocí kvadratických, exponenciálních a jiných závislostí.

    V případě použití lineární funkce unimodální a tolerantní fuzzy čísla se nazývají trojúhelníková a lichoběžníková a označují se ( A, b, d) A ( A, b, C, d).

    Pro fuzzy čísla je pojem znaménko a nulová hodnota definován zvláštním způsobem.

    fuzzy číslo A volal pozitivní, pokud její základna leží v kladné reálné poloose, popř

    fuzzy číslo A volal negativní, pokud její základna leží v záporné reálné poloose, popř

    U parametrických fuzzy čísel je znaménko určeno hodnotami parametru: kladné fuzzy číslo if A> 0; negativní pokud d < 0; нечеткий ноль, если .

    Koncept fuzzy a lingvistických proměnných se používá při popisu objektů a jevů pomocí fuzzy množin.

    Fuzzy proměnná vyznačující se trojitým (α, X, A), Kde

    α — název proměnné;

    X— univerzální sada (doména α);

    A je fuzzy sada zapnutá X, popisující omezení (tj. µ A(X) ) na hodnotách fuzzy proměnné α.

    Lingvistické proměnná (LP) je množina ( β , T, X, G, M), kde

    β — název jazykové proměnné;

    T- množina jejích hodnot (term-set), což jsou názvy fuzzy proměnných, doménou definice každé z nich je množina X. hromada T nazývané základní termínová sada jazyková proměnná;

    G je syntaktický postup, který umožňuje pracovat s prvky množiny termínů T, zejména generovat nové termíny (hodnoty). Množina T∪G(T), kde G(T) je množina generovaných termínů, se nazývá rozšířená množina termínů lingvistické proměnné;

    M- sémantický postup, který umožňuje přeměnit každou novou hodnotu jazykové proměnné, tvořené procedurou G, na fuzzy proměnnou, tzn. tvoří odpovídající fuzzy množinu.

    Komentář. Vyhnout se velký počet postavy:

    1) postava β používá se jak pro název samotné proměnné, tak pro všechny její hodnoty;

    2) použijte stejný symbol k označení fuzzy množiny a jejího názvu, například výraz „Mladý“, což je hodnota jazykové proměnné β = "věk", zároveň existuje fuzzy množina M("Mladá").

    Přiřazení více významů symbolům naznačuje, že kontext umožňuje vyřešit možné nejednoznačnosti.

    Příklad. Nechte odborníka určit tloušťku vyráběného produktu pomocí pojmů "Malá tloušťka", "Střední tloušťka" a "Velká tloušťka", přičemž minimální tloušťka je 10 mm a maximální 80 mm.

    Formalizaci takového popisu lze provést pomocí následující jazykové proměnné ( β , T, X, G, M ), Kde

    β - tloušťka produktu;

    T— („Malá tloušťka“, „Střední tloušťka“, „Velká tloušťka“);

    X— ;

    G je postup pro tvoření nových termínů pomocí spojovacích výrazů „a“, „nebo“ a modifikátorů jako „velmi“, „ne“, „nepatrně“ atd. Například: "Malá nebo střední tloušťka", "Velmi tenká tloušťka" atd.;

    M- postup pro nastavení X= fuzzy podmnožiny A 1 = "Malá tloušťka", A 2 = "Střední tloušťka", A 3 = "Velká tloušťka", stejně jako fuzzy množiny pro termíny z G (T) v souladu s pravidly překladu fuzzy spojovacích výrazů a modifikátorů „a“, „nebo“, „ne“, „velmi“, „mírně“ a dalších operací na fuzzy množinách tvaru: AV,AVA, OŠIDIT A =A 2 , DIL A \u003d A 0,5 a tak dále.

    Komentář. Spolu se základními hodnotami diskutovanými výše, lingvistická proměnná "Tloušťka" (T =(„Malá tloušťka“, „Střední tloušťka“, „Velká tloušťka“)), hodnoty jsou možné v závislosti na doméně definice X. V tomto případě lze definovat hodnoty lingvistické proměnné „Tloušťka produktu“ jako "asi 20 mm", "asi 50 mm", "asi 70 mm", tzn. ve formě fuzzy čísel.

    Množina termínů a rozšířená množina termínů za podmínek příkladu mohou být charakterizovány funkcemi příslušnosti znázorněnými na Obr. 1.5 a 1.6.

    Rýže. 1.5. Členské funkce fuzzy množin: "Malá tloušťka" = A 1,"Střední tloušťka" = A 2 , "Větší tloušťka" = A 3

    Rýže. 1.6. Členská funkce fuzzy množiny "Malá nebo střední tloušťka" = A 1 ∪ A 2

    fuzzy čísla

    fuzzy čísla- fuzzy proměnné definované na číselné ose, tzn. fuzzy číslo je definováno jako fuzzy množina A na množině reálných čísel ℝs funkcí členství μ A(X) ϵ , kde X je reálné číslo, tzn. X ϵ ℝ.

    fuzzy číslo A je to v pořádku pokud max μ A(X) = 1; konvexní pokud pro nějaké X na z provedeno

    μ A (x)μ A(na) ˄ µ A(z).

    hromada α - úroveň fuzzy čísel A definováno jako

    = {X/μ α (X) ≥ α } .

    Podmnožina S A⊂ ℝ se nazývá nositel fuzzy čísla A, Li

    S A= { XA(X) > 0 }.

    fuzzy číslo A unimodální pokud podmínka μ A(X) = 1 platí pouze pro jeden bod reálné osy.

    konvexní fuzzy číslo A volal fuzzy nula, Li

    μ A(0) = sup ( µ A(X)).

    fuzzy číslo A pozitivně pokud ∀ Xϵ S A, X> 0 a negativní pokud ∀ X ϵ S A, X< 0.

    Operace na fuzzy číslech

    Rozšířená binární aritmetické operace(sčítání, násobení atd.) pro fuzzy čísla se určují pomocí odpovídajících operací pro jasná čísla pomocí principu zobecnění následovně.

    Nechat A A V- fuzzy čísla a - fuzzy operace odpovídající libovolné algebraické operaci * na obyčejných číslech. Pak (s použitím sem a pod notací místo místo ) můžeme psát

    Fuzzy čísla (L-R) typu

    Fuzzy čísla typu (L-R) jsou druhem fuzzy čísel zvláštního druhu, tzn. nastavit podle určitých pravidel, aby se snížilo množství výpočtů během operací na nich.

    Členské funkce fuzzy čísel typu (L-R) jsou specifikovány pomocí funkcí reálné proměnné L( X) a R( X) splňující vlastnosti:

    a) L(- X) = L( X), R(- X) = R( X);

    b) L(0) = R(0).

    Je zřejmé, že třída (L-R)-funkcí zahrnuje funkce, jejichž grafy mají tvar znázorněný na Obr. 1.7.

    Rýže. 1.7. Možná forma (L-R)-funkcí

    Příklady analytické specifikace (L-R)-funkcí mohou být

    Nechat L( na) a R( na) jsou funkce typu (L-R) (beton). Unimodální fuzzy číslo A S móda a(tj. μ A(A) = 1) pomocí L( na) a R( na) se uvádí takto:

    kde a je režim; α > 0, β > 0 — levý a pravý koeficient fuzziness.

    Tedy pro dané L( na) a R( na) fuzzy číslo (unimodální) je dáno trojkou A = (A, α, β ).

    Tolerantní fuzzy číslo je dáno čtyřmi parametry A = (A 1 , A 2 , α, β ), kde A 1 a A 2 - meze tolerance, tzn. v mezidobí [ A 1 , A 2 ] hodnota funkce členství je rovna 1.

    Příklady grafů funkcí příslušnosti typu fuzzy čísla (L-R) jsou na obr. 1.8.

    Rýže. 1.8. Příklady grafů funkcí příslušnosti typu fuzzy čísel (L-R).

    Všimněte si, že ve specifických situacích funkce L (y), R (y), stejně jako parametry A, β fuzzy čísla (A, α, β ) A ( A 1 , A 2 , α, β ) by měl být vybrán tak, aby výsledek operace (sčítání, odčítání, dělení atd.) byl přesně nebo přibližně roven fuzzy číslu se stejným L (y) a R (y), a parametry α" A β" výsledek nepřekročil limity těchto parametrů pro původní fuzzy čísla, zvláště pokud se výsledek bude později podílet na operacích.

    Komentář. Řešení problémů matematického modelování složitých systémů pomocí aparátu fuzzy množin vyžaduje provádění velkého množství operací s různými druhy lingvistických a dalších fuzzy proměnných. Pro pohodlí provádění operací, jakož i pro vstup-výstup a ukládání dat je žádoucí pracovat s funkcemi členství standardního formuláře.

    Fuzzy množiny, se kterými se musí pracovat ve většině problémů, jsou zpravidla unimodální a normální. Jeden z možné metody aproximace unimodálních fuzzy množin je aproximace pomocí funkcí typu (L-R).

    Příklady (L-R) reprezentace některých lingvistických proměnných jsou uvedeny v tabulce. 1.2.

    Tabulka 1.2. Možný (L- R)-reprezentace některých lingvistických proměnných

    2.9.1. Definice. Metody teorie fuzzy množin popisují sémantické pojmy, například pro pojem „spolehlivost uzlu“ můžete definovat takové komponenty jako „malá hodnota spolehlivosti uzlů“, „průměrná hodnota spolehlivosti uzlů“, „velká hodnota spolehlivosti uzlů“. “, které jsou dány jako fuzzy množiny na základní množině definované všemi možnými hodnotami hodnot spolehlivosti.

    Zobecněním popisu lingvistických proměnných z formálního hlediska je zavedení fuzzy a lingvistických proměnných.

    H fuzzy proměnná se nazývá trojice množin, kde A- název fuzzy proměnné, X- doména definice, - fuzzy podmnožina v množině X, popisující omezení možných hodnot proměnné A.

    jazyková proměnná se nazývá množina množin , Kde b- název jazykové proměnné, T(b) je množina jazykových (verbálních) hodnot proměnné b, nazývaný také termín množina lingvistické proměnné, X- doména, G- syntaktické pravidlo ve formě gramatiky, která generuje jména aОT(b) verbální významy jazykových proměnných b, M- sémantické pravidlo, které sdružuje každou fuzzy proměnnou A fuzzy množina, - význam fuzzy proměnné A.

    Z definice vyplývá, že lingvistická proměnná je proměnná daná na kvantitativním (měřeném) měřítku a nabývající hodnot, kterými jsou slova nebo fráze přirozeného jazyka komunikace. Fuzzy proměnné popisují hodnoty lingvistické proměnné. Na Obr. 2.20 ukazuje vztah základních pojmů.

    Lingvistické proměnné tedy mohou popisovat pojmy, které je obtížné formalizovat ve formě kvalitativního, verbálního popisu. Jazyková proměnná a všechny její hodnoty jsou v popisu spojeny se specifickou kvantitativní stupnicí, která se analogicky se základní sadou někdy nazývá základní stupnice.



    Pomocí lingvistických proměnných je možné v systémech řízení formalizovat kvalitativní informace, které jsou formulovány specialisty (odborníky) verbální formou. To umožňuje vytvářet fuzzy modely řídicích systémů (fuzzy regulátory).

    2.9.2. Typ členských funkcí. Zvažte požadavky, které jsou kladeny na typ funkcí příslušnosti fuzzy množin, které popisují termíny lingvistických proměnných.

    Nechť lingvistickou proměnnou obsahuje základní sadu termínů T=(Ti),. Fuzzy proměnná odpovídající termínu T i, je dán množinou , kde je fuzzy množina . Definujme množinu C i jako nositel fuzzy množiny. To budeme předpokládat XÍR 1, Kde R1 je uspořádaná množina reálných čísel. Označte spodní hranici množiny X přes infX=x 1 a horní mez supX=x2.

    hromada T pořadí podle výrazu

    "Ti,Tj нT i>j"($xнCi)("yнCj)(x>y). (2.5)

    Výraz (2.5) vyžaduje, aby výraz, který má podporu umístěnou vlevo, dostal nižší číslo. Pak musí množina termínů jakékoli jazykové proměnné splňovat následující podmínky:

    ("T i нT)($xнX)( ); (2.8)

    ("b)($x 1 ОR 1)($x 2 ОR 2)("xОX)(x 1 . (2.9)

    Podmínka (2.6) vyžaduje, aby hodnoty členství fungovaly v extrémních podmínkách (T1 A T2) v bodech x 1 A x2 odpovídající jedné a aby se zabránilo vzniku zvonovitých křivek, jak je znázorněno na Obr. 2.21.

    Obr.2.21

    Podmínka (2.7) v základní sadě zakazuje X dvojice termínů typu T1 A T2, T2 A T3. Pro pár T1 A T2 neexistuje žádná přirozená diferenciace pojmů. Pro pár T2 A T3 segment žádný koncept neodpovídá. Podmínka (2.7) zakazuje existenci termínů typu T4, protože každý koncept má alespoň jeden typický objekt. Podmínka (2.8) definuje fyzické omezení (v rámci problému) na číselné hodnoty parametrů.

    Na Obr. 2.22 je uveden příklad nastavení členských funkcí pojmů "malá cenová hodnota", "malá cenová hodnota", "průměrná cenová hodnota", "dostatečně velká cenová hodnota", "velká cenová hodnota" jazykové proměnné "cena zboží" .

    2.9.3. Univerzální váhy. Členské funkce jsou budovány na základě výsledků expertních průzkumů. Postup pro použití fuzzy množin sestavený na základě výsledků průzkumu odborníků má však nevýhodu, která spočívá v tom, že změna podmínek pro fungování modelu (objektu) vyžaduje úpravu fuzzy množin. Úpravu lze provést na základě výsledků druhého průzkumu mezi odborníky.

    Jedním ze způsobů, jak tento nedostatek překonat, je přechod na univerzální váhy pro měření hodnot odhadovaných parametrů. Známá technika konstrukce univerzálních škál zahrnuje popis frekvence jevů a procesů, který je v přirozeném jazyce kvalitativně definován následujícími slovy a frázemi: „nikdy“, „mimořádně zřídka“, „zřídka“, „ani zřídka, ani často ““, „často“, „velmi často“, „téměř vždy“ (nebo podobně). Osoba používá tyto pojmy k posouzení subjektivních frekvencí událostí (poměr počtu událostí charakterizovaných pojmem k celkovému počtu událostí).

    Univerzální stupnice je postavena na segmentu a je to řada protínajících se křivek ve tvaru zvonu odpovídajících škálovaným odhadům frekvence. Univerzální škála lingvistické proměnné pro daný odhadovaný parametr řídicího objektu se sestaví podle následujícího postupu.

    1. Podle odborného průzkumu min xmin a maximální xmax proměnné hodnoty stupnice X.

    2. Na základě výsledků expertního průzkumu jsou konstruovány funkce příslušnosti fuzzy množin, které popisují hodnoty lingvistické proměnné definované na škále X. Na Obr. 2.23 ukazuje příklad vytváření funkcí členství , kde a 1, a 2, a 3- některé názvy fuzzy proměnných.

    3. Tečky ( xmin,0) a ( xmax,1) jsou spojeny přímkou p0, což je funkce zobrazení p 0:X®.

    4. Přechod od škály relativních četností výskytu událostí k odhadům četnosti, nazývaným kvantifikátory, probíhá následovně.

    Za libovolný bod z v univerzálním měřítku je jeho prototyp postaven v měřítku X. Potom podle funkcí příslušnosti fuzzy množin odpovídajících členům a 1, a 2, a 3 jsou určeny hodnoty, které jsou brány jako hodnoty odpovídajících funkcí členství v bodě z na univerzální stupnici. Funkce p (p=p0 v uvažovaném příkladu) je stanovena odborným průzkumem, protože jeho volba ovlivňuje přiměřenost modelu ke studovanému objektu.

    2.9.4. Více funkcí zobrazení. Jednoznačná definice mapovací funkce p omezit možnost současného zohledňování různých kritérií v řídicím systému, která mohou být vůči sobě i v antagonismu, a také možnost současného zohledňování různých podmínek řízení určených vlastnostmi spravovaného objektu.

    Účtování různých podmínek a kritérií je dáno subjektivním přístupem k řešení problému. Pokud však přijmeme funkci zobrazení jednoznačné formy, budou různé úhly pohledu redukovány na „společného jmenovatele“ nebo v podstatě odmítnuty. Praxe ukazuje, že při řízení těžko formalizovatelných procesů zohlednění všech variant subjektivního pohledu zlepšuje kvalitu řízení, zvyšuje odolnost vůči různým druhům rušení. Je však třeba poznamenat, že téměř nikdy není možné vzít v úvahu u lidí všechny podmínky, které ovlivňují výběr ovládání, a všechny vlastnosti objektu. Podívejme se, jak se formalizované zvažování kontrolních podmínek provádí při dotazování odborníků ve formě více zobrazovacích funkcí.

    Nechte odborné průzkumy kvantitativně i kvalitativně určit složení stavů zkoumaného objektu. Vyhodnocení stavů objektu se provádí podle hodnot znaků y i ОY=(y 1, y 2,…,y p).

    Není možné brát v úvahu vše, proto je při posuzování stavů lepší používat fuzzy kategorie a fuzzy definice hodnot parametrů by měly být prováděny s určitou mírou nejistoty ohledně správnosti definic. Ve skutečnosti lze vždy předpokládat, že existuje nějaký soubor znaků , odborníci z různých důvodů neindikovali: zapomnělo se na ně; odborníci se domnívají, že tyto vlastnosti nemají vliv na přesnost; tyto parametry nelze odhadnout v důsledku technických potíží.

    Funkce displeje p i ОP=(p 1 , p 2 ,…, p b ) ve srovnání se stupněm důvěry b(p i)n, které stanovují odborníci. Také každá funkce zobrazení váha vyrovnaná a(pí), což odpovídá úrovni odborné způsobilosti. Hodnoty hmotnosti a(pí) jsou určeny čísly segmentu . Tedy funkce vícenásobného zobrazení P=(p 1 , p 2 ,…, p b ) se skládá ze sady mapovacích funkcí , z nichž každý má přidělený titul g(pi), definovaný jako spojení stupňů kompetence a důvěry ve správnou definici mapovacích funkcí , tj. g(pi)=a(pí)&b(pí).

    Praktické využití vícenásobných funkcí ukázalo, že v mezích určité kompetence odborníků je konstruovaná vícenásobná mapovací funkce v dobré shodě s jejich individuálními názory na co nejvěrohodnější shodu fuzzy pojmů s body předmětové škály. X.


    FUZZY LOGIKA

    Fuzzy operace "AND"

    Specifikace fuzzy množin umožňuje zobecnit jasné logické operace na jejich fuzzy protějšky. Fuzzy rozšíření operace AND je trojúhelníková norma T, jiné jméno T– normy jsou S-conorm. Na Obr. 3.1 ukazuje znázornění obvodu T– normy.

    Fuzzy operace "AND" v obecném tvaru je definována jako zobrazení:

    pro které platí axiomy:

    Axiomy okrajových podmínek T- normy:

    Axiom řádu:

    V teorii fuzzy množin existuje nespočet fuzzy operací "AND", které jsou určeny způsoby specifikace operace (T) za podmínek (3.1) - (3.2). V teorii fuzzy řízení jsou použitelné následující metody specifikace operace (T), uvedené níže.

    Booleovský produkt[Zade, 1973]:

    , "xО R. (3.6)

    Algebraický součin[Bandler, Kohout, 1980]:

    , "xО R, (3.7)

    Kde "." je produkt akceptovaný v klasické algebře.

    hraniční produkt[Lukashevich, Giles, 1976]:

    , (3.8)

    kde je symbol hraničního součinu.

    Silný nebo drasticky (drastický) produkt[Weber, 1983]:

    (3.9)

    kde D je silný symbol produktu.

    Na Obr. 3.2 ukazuje funkci příslušnosti pro logický, algebraický, hraniční a silný součin fuzzy množin.

    Fuzzy operace "OR"

    Fuzzy rozšíření operace "OR" je S-norma. Někdy se používá název T-conorm. Na Obr. 3.3 ukazuje znázornění obvodu S– normy.

    Fuzzy operace "OR" je definována jako mapování

    pro které se mapování provádí:

    Axiomy okrajových podmínek T- normy:

    , ; (3.10)

    Unijní axiomy (průniky):

    Axiom řádu:

    Z nekonečné číslo fuzzy operace, které splňují axiomy (3.10) - (3.14), následující operace našly uplatnění v teorii řízení, uvedené níže.

    Booleovský součet[Zade, 1973]:

    , "xО R. (3.15)

    Algebraický součet[Bandler & Kohout, 1980]:

    , "xО R, (3.16)

    Limitní množství[Lukashevich, Giles, 1976]:

    , (3.17)

    Silné nebo drastické množství[Weber, 1983]:

    (3.18)

    Srovnání axiomů T-normy s axiomy S-normy ukazuje, že rozdíl v nich je pouze v axiomech okrajových podmínek.

    Na Obr. 3.4 ukazuje funkci příslušnosti pro logický, algebraický, hraniční a silný součet fuzzy množin.

    Fuzzy operace "NOT"

    Fuzzy operace "NOT" je definována jako mapování, pro které platí následující axiomy:

    Množina zobrazení splňující axiomy (3.19) - (3.21) je fuzzy negace. Operace fuzzy negace ve formě schématu je znázorněna na Obr. 3.5.

    Z nekonečného počtu fuzzy operací "NE", které splňují axiomy (3.19) - (3.21), našly v teorii řízení uplatnění následující operace uvedené níže.

    Fuzzy "NOT" od Zady(1973) je definován jako odečítání od jednoty:

    . (3.22)

    Fuzzy "NE" podle Sugena(1977) nebo l-komplement je definován jako vzorec

    . (3.23)

    Na l=0 rovnice (3.23) se shoduje s rovnicí (3.22).

    Fuzzy "NE" podle Yagera(1980) je definován jako:

    , (3.24)

    Kde p>0- parametr. Na p=1 rovnice (3.24) se shoduje s rovnicí (3.22).

    Pro T- normy a S- norem, mohou existovat různé varianty negací vzhledem k nekonečnému množství možných fuzzy operací „NE“. Je však žádoucí vybrat takové možnosti negace, které splňují podmínky:

    Tyto podmínky, analogicky s jasnou logikou, se nazývají de Morganovy fuzzy zákony. Operace (3.25) a (3.26) se nazývají vzájemně duální, protože v teorii fuzzy množin je dokázáno, že (3.25) implikuje (3.26) a naopak (3.26) implikuje (3.25).

    Následující fuzzy operace jsou také vzájemně duální:

    ; (3.29)

    Algebra fuzzy inference

    3.4.1. Základ fuzzy pravidel. Ve fuzzy logice existuje koncept fuzzy propozice. Fuzzy věta je definována jako výrok "". symbol " X“ označuje fyzikální veličinu (proud, napětí, tlak, rychlost atd.), symbol „ “ označuje lingvistickou proměnnou (LP) a symbol „ p"- zkratka proposition - návrh. Například ve výroku „velikost proudu je velká“ fyzické proměnné X je "aktuální hodnota", kterou lze měřit proudovým senzorem. Fuzzy množina je definována LP "velkým" a formalizována funkcí příslušnosti m A (x). Vazba "je" odpovídá objednávkové operaci ve tvaru rovnosti, která je označena symbolem "=". Získá formalizovanou formu věty " » .

    Fuzzy věta se může skládat z několika samostatných fuzzy vět spojených spojkami "AND", "OR". Volba logických spojovacích výrazů "AND", "OR" z významu a kontextu vět, ze vztahu mezi nimi. Všimněte si, že operace fuzzy "AND" a "OR" podle Zadeha (vzorce (3.6) a (3.15)) v teorii řízení jsou vhodnější ve vztahu k ostatním, protože nemají žádnou nadbytečnost. Když fuzzy věty nejsou ekvivalentní, ale jsou korelované a propojené, pak je možné použít T- normy a S- normy podle Lukaševiče (vzorce (3.8) a (3.17)).

    Nabídka p může být reprezentován jako fuzzy vztah R s členskou funkcí: . K sestavení fuzzy věty sestávající z několika samostatných fuzzy vět spojených spojkami "AND" se používá indikátor "if". Výsledkem je systém podmíněných fuzzy příkazů:

    .

    Fuzzy věty se nazývají podmínky nebo předpoklady.

    Sada podmínek nám umožňuje sestavit množinu závěry nebo závěry. V tomto případě se používá indikátor "pak".

    Produkční fuzzy pravidlo(fuzzy pravidlo) je soubor podmínek a závěrů:

    R1: jestliže x 1 = a x 2 = a …, pak y 1 = a y2= A …

    ……………………………………………………………,

    kde symbol R1- zkratka "rule" - pravidlo.

    Například pravidlo pro regulaci teploty vody je formulováno takto: R1: pokud je teplota vody studená a teplota vzduchu je studená, otočte ventil teplé vody o velký úhel doleva a ventil studené vody o velký úhel doprava.

    Fuzzy podmínky pro řešení problému:

    -x 1- teplota vody (měřená čidlem); - Studený;

    -x2- teplota vzduchu (měřená čidlem); - Studený;

    Podmínky fuzzy inference:

    -y 1- úhel natočení ventilu doleva, - velký;

    -y2- úhel natočení ventilu doprava, - velký.

    Toto lingvistické fuzzy pravidlo odpovídá formalizovanému zápisu:

    R1: jestliže x 1 = a x 2 = , pak y 1 = a y2= , (3.31)

    Kde , , a jsou fuzzy množiny definované funkcemi příslušnosti.

    Množina fuzzy produkčních pravidel tvoří základ fuzzy pravidel , kde R i: jestliže …, pak …;. Báze fuzzy pravidel má následující vlastnosti: spojitost, konzistence, úplnost.

    Spojitost je definována následujícími pojmy: uspořádaná množina fuzzy množin; sousední fuzzy množiny.

    Sada fuzzy množin (A i) volal spořádaný, pokud mají objednávkový vztah: «<»:A 1 <…

    Pokud množina fuzzy množin { } objednané, pak se nazývají sady a , a přilehlý za předpokladu, že se tyto fuzzy množiny překrývají.

    Nazývá se báze fuzzy pravidel kontinuální, pokud pro pravidla

    Rk: pokud x 1 = a x 2 = , pak y= a k'¹k

    jsou splněny podmínky:

    Ù a jsou přilehlé;

    Ù a jsou přilehlé;

    - a sousedí.

    Konzistenci báze fuzzy pravidel budeme uvažovat na příkladu. Základ fuzzy pravidel pro ovládání robota je dán takto:

    ………………………………….

    R i: pokud je překážka vpředu, pohněte se doleva,

    R i +1: pokud je překážka vpředu, pak se pohněte doprava,

    ……………………………………

    Základ pravidel je nekonzistentní.

    Příklad konzistentní báze fuzzy pravidel je následující:

    R1: jestliže x 1 = nebo x 2 = , pak y= ;

    R2: jestliže x 1 = nebo x 2 = , pak y= ;

    R3: jestliže x 1 = nebo x 2 = , pak y= .

    Pokud pravidla obsahují dvě podmínky a jeden výstup, pak jsou tato pravidla systémem se dvěma vstupy x 1 A x2 a jeden východ y. Tento systém může být reprezentován ve formě matice:

    x2 x 1
    y=
    y=
    y=

    Základ fuzzy pravidel je konzistentní.

    Základním matematickým konceptem je koncept proměnné. V praktických aplikacích teorie fuzzy množin se obvykle používají fuzzy a lingvistické proměnné.

    Fuzzy a lingvistické proměnné se používají při přirozeném jazykovém popisu různých objektů a jevů, při formalizaci procesů a rozhodování v situacích, které je obtížné formalizovat.

    Charakteristickým rysem lidského myšlení je schopnost analyzovat a vybírat informace relevantní k analyzovanému problému, tedy schopnost vyhodnocovat heterogenní informace. Tato schopnost hraje důležitou roli při popisu složitých jevů a procesů.

    Zvažte schopnost člověka vyhodnotit pojem „teplota“. V mnoha případech lidé při posuzování teplotních hodnot nepracují s číselnou charakteristikou, ale s vágně vyjádřenými pojmy, jako je „nízká“, „střední“, „normální“, „vysoká“ atd. Při posuzování teploty, například v pecích určitého typu, se lidský operátor snadněji řídí kvalitativními informacemi, jako je "normální teplota", než konkrétní číselnou hodnotou.

    Při takovém kvalitativním hodnocení informací, které odrážejí povahu jevu nebo procesu, hraje důležitou roli přirozený jazyk, který umožňuje vyjádřit základní pojmy.

    Představme si pojmy fuzzy a lingvistická proměnná, které stejně jako obyčejná proměnná mohou měnit své hodnoty.

    Tak, fuzzy proměnná vyznačující se třemi:

    < ,X,S  >,

    kde  je název fuzzy proměnné;

    X- univerzální množina (konečná nebo nekonečná), tedy definiční obor fuzzy proměnné; X= {X};

    S  = { X (X) ) je fuzzy podmnožina množiny X, což je fuzzy omezení hodnot proměnné X.

    Příklad 3.19. Nechte univerzální sadu X= popisuje rozsah parametru - "Teplota v reaktoru". Tento parametr charakterizuje kvalitu probíhajícího technologického procesu. Fuzzy množina popisující fuzzy proměnnou „Normální“ (= „Normální“) může být reprezentována lidským operátorem takto:

    S = ((4800), (4810,3), (4820,4), (4830,5), (4841), (4851), (4861), (4870,5) , (4880,4), (4890,3), (4900)).

    Je zřejmé, že s takovou definicí fuzzy množiny S pro lidskou obsluhu, která kontroluje teplotu v reaktoru, pojem „normální teplota“ plně odpovídá teplotním hodnotám od 484 do 486, v menší míře teplotním hodnotám od 481 do 483 a od 487 do 489 Hodnoty teplot v reaktoru menší než 481 a větší než 489 nelze charakterizovat pojmem „Normální“, to znamená, že nejsou prvky nosiče této fuzzy množiny.

    Přejděme k úvaze o jazykové proměnné, která je proměnnou vyššího řádu.

    jazyková proměnná se nazývá proměnná, jejíž hodnoty jsou slova nebo věty přirozeného nebo umělého jazyka.

    Jazyková proměnná je charakterizována množinou:

    < ,T  ,X,G, M >,

    kde  je název jazykové proměnné;

    Tβ je množina termínů proměnné , tj. množina jejích hodnot, což jsou názvy fuzzy proměnných, z nichž doménou definice každé je množina X se základní proměnnou X;

    X je univerzální sada;

    G je syntaktické pravidlo, které generuje členy množiny T β ();

    M je sémantické pravidlo, které přiřazuje každé fuzzy proměnné  Tβ fuzzy množina S a S označuje fuzzy podmnožinu množiny X.

    Ve více zjednodušené formě je lingvistická proměnná popsána n-ticí:< ,T β , X>.

    Příklad 3.20. Hodnoty jazykové proměnné "Kvalita" (β= "Kvalita") mohou být: "Nízká", "Střední", "Nízká", "Vysoká", "Velmi vysoká" atd. Každá z těchto hodnot je název fuzzy proměnné. Proto je lingvistická proměnná považována za proměnnou vyššího řádu.

    Proberme všechny složky pojmu „jazyková proměnná“.

    Zvažte příklad 3.20. Přídavná jména „Nízká“, „Střední“ atd., definující jazykovou proměnnou „Kvalita“, odrážejí určitý komplex kvalitativních charakteristik. Každá z těchto hodnot je omezením kvůli názvu a metodě určení odpovídající fuzzy množiny. Z tohoto pohledu jsou definice kvality "Velmi vysoká", "Extrémně vysoká", "Nepříliš vysoká" atd. jsou názvy fuzzy množin tvořených akcí modifikátory „velmi“, „extrémně“, „nepříliš“ na fuzzy množinu „Vysoká“.

    Množina hodnot lingvistické proměnné tvoří množinu termínů této proměnné. Tato množina může být, obecně řečeno, nekonečný počet prvků.

    Příklad 3.21. Zvažte způsoby popisu množiny termínů jazykové proměnné „Kvalita“:

    Tβ (Kvalita) = ("Velmi nízká", "Nízká", "Nenízká", "Průměrná", "Vyšší než průměr", "Vysoká", "Velmi vysoká");

    Tβ (Kvalita) = "Velmi nízká""Nízká""Nenízká"…"Velmi vysoká".

    Termín, jehož název se skládá z jednoho slova nebo několika slov, která se vždy vyskytují společně, se nazývá atomový termín . Termíny sestávající z více než jednoho atomárního termínu se nazývají složené výrazy. Vznik složeného termínu vzájemným přiřazením řetězců složek se nazývá zřetězení a přiřazené komponenty jsou subtermy a složený výraz.

    Pokud je nutné výslovně uvést, že termín byl vygenerován gramatikou G (syntaktické pravidlo G), napíšeme:

    T β * = Tβ G( T β),

    Kde Tβ * je složený termín.

    Pokud jde o sémantické pravidlo M, lze jej provést pomocí jedné z typických operací s fuzzy množinami popsanými v kapitole 3.2. Nejčastěji se používají následující modifikátory a jim odpovídající operace s fuzzy množinami:

      "ne" - sčítání;

      "velmi" - koncentrace;

      "více či méně" - protahování;

      "a" - křižovatka;

      "nebo" je svazek.

    Lingvistické proměnné hrají důležitou roli při konstrukci fuzzy modelů: s jejich pomocí se formalizují kvalitativní informace o rozhodovacím objektu, které jsou verbální formou prezentovány odbornými odborníky. Je zásadně důležité, aby jakákoliv jazyková proměnná, stejně jako všechny její hodnoty, byla určena konkrétní kvantitativní škálou tzv. základní měřítko . Proto následuje jiná definice lingvistická proměnná:

    jazyková proměnná je proměnná definovaná na nějaké škále (základní stupnici) a nabývající hodnot, které jsou slovy a frázemi přirozeného jazyka. Hodnoty lingvistické proměnné jsou popsány fuzzy proměnnými.

    Neexistují žádné zvláštní požadavky na název jazykové proměnné a názvy jejích pojmů. S těmito veličinami, za kterými se skrývá matematický aparát fuzzy množin, přímo pracuje odborník, který popisuje systém kvalitativními či fuzzy pojmy. Na funkce aproximující tyto fuzzy koncepty i na jejich vzájemné uspořádání jsou však kladeny určité požadavky.

    Vyjmenujme řadu omezení, která musí termíny lingvistických proměnných splňovat. Nechat Tβ – základní termínový soubor jazykové proměnné<,T β , X>,T β = { T i },i= 1, 2, …,m. Každý termín T iTβ odpovídá fuzzy proměnné<T i ,X,S i >.

      Nejprve základní termíny Tβ by mělo být spořádaný podle výrazu:

    (T iT β)( T jT β)( ij)(XS S i)(yS S j)(Xy), (3.36)

    Kde S S i je nositelem fuzzy množiny:

    S S i = {XX   sc i (X)  0 },

    to znamená, že tato množina přísné úrovně = 0

    Výraz (3.36) znamená, že výraz, který má podporu umístěnou vlevo, obdrží nižší číslo.

      Omezení na druh členských funkcí odpovídající základním termínům vypadá takto:

    T 1 (X min) = 1, Tn (X max) = 1, (3,37)

    Kde n je počet termínů v základní sadě termínů, X min a X max - hranice univerzální množiny X, na kterém je definována jazyková proměnná.

    V souladu s výrazem (3.37) funkce členství pojmů T 1 a T n by měl být amodální.

      Následující podmínka může být definována jako úplnost a konzistentnost :

    (T iTβ)(0  sup  C iC (i +1) (X)  1). (3,38)

    Tento výraz znamená, že přirozené rozlišení pojmů musí být dodrženo, když je stejný bod univerzální množiny X nemůže současně patřit (s úrovní spolehlivosti 1) ke dvěma nebo více termínům. Na druhou stranu každá hodnota z oblasti definice lingvistické proměnné musí být popsána alespoň jedním termínem.

      Další podmínkou je normálnost – je definováno následujícím výrazem:

    (T iT β)( XX: C i (X) = 1). (3.39)

    Každý koncept v lingvistické proměnné musí mít alespoň jeden odkaz nebo typický objekt.

      Poslední podmínkou je omezení :

    (β)( X 1 R)(X 2 R)((XX)(X 1 XX 2)), (3.40)

    Kde R je skutečná osa.

    Doména X musí být omezena konečnou sadou bodů, protože v každém problému analýzy a rozhodování existují skutečná omezení číselných hodnot parametrů objektu.

    Na Obr. 3.14 uvádí jazykovou proměnnou β s počtem termínů rovným 5 a ilustruje nesplnění uvedených podmínek a omezení.

    Rýže. 3.14 Omezení základních termínů jazykové proměnné

    Takže při vytváření základní množiny termínů jazykové proměnné β došlo k následujícím chybám:

      Na hranicích univerzální množiny X hodnoty funkcí členství termínů označujících minimální a maximální hodnoty jazykové proměnné β musí být jednoduché. Na Obr. Termín 3.14 T 1 má špatný tvar (unimodální) a výraz T 6 - správně (amodální).

      Je zakázáno existovat v základní sadě termínů Tβ dvojice členů typu T 2 a T 3, protože neexistuje žádné přirozené omezení pojmů aproximovaných termíny. Tyto výrazy ilustrují selhání podmínky konzistence.

      Podmínka úplnosti je porušena dvojicí podmínek T 3 a T 4 , protože děj  Xžádný koncept neodpovídá.

      Základní sada termínů neobsahuje termíny T 5 s sup  C i (X)  1. Protože termíny musí být popsány normalizovanými funkcemi příslušnosti, na obr. 3.14 je porušena podmínka normality.

    Použití lingvistických proměnných k popisu systémů, které se v praxi obtížně formalizují, nevyhnutelně klade předběžný úkol utváření lingvistických proměnných, tedy určení všech jejich složek. To je zpravidla realizováno na základě průzkumů odborníků - vysoce kvalifikovaných specialistů v oboru, pro který je fuzzy model sestaven pomocí lingvistické proměnné. Zvláštní pozornost je věnována tvorbě funkcí příslušnosti fuzzy množin, které jsou členy základní množiny termínů.

    Proces vytváření jazykové proměnné zahrnuje následující etapy :

      Definice množiny pojmů lingvistické proměnné a její uspořádání.

      Konstrukce numerického oboru definice lingvistické proměnné.

      Objasnění schématu dotazování odborníků a provádění průzkumu.

      Konstrukce funkcí příslušnosti pro každý člen lingvistické proměnné.

    Ve fázi 1 nastaví odborník tvořící lingvistickou proměnnou počet termínů v sadě Tβ a názvy odpovídajících fuzzy proměnných.

    Ve fázi 2 je popsána univerzální sada X. Realizace této etapy může být doprovázena řadou obtíží způsobených typem jazykové proměnné. Takže například podoba univerzální sady pro lingvistickou proměnnou „Teplota v reaktoru“ je zřejmá – bude to určitý interval teplotních hodnot specifikovaných na určité teplotní stupnici a teplotní hodnoty, které určují hranice intervalu také nezpůsobí odborníkovi potíže. Je-li však vyžadována formalizace pojmu „Kvalita“, která je definována jako „Vysoká“, „Střední“ nebo „Nízká“, pak je nutné uměle zavést číselnou univerzální množinu XR=(–; +), na kterém budou určeny aproximované fuzzy pojmy. Tento postup umožní v budoucnu využívat jednotné přístupy pro práci s lingvistickými proměnnými různého typu.

    Fáze 3 je klíčová při vytváření lingvistické proměnné. Schéma provádění průzkumu odborníka (nebo expertů) zvolené v této fázi již předpokládá, že byl zvolen i způsob konstrukce pro nás zajímavých funkcí členství.