Logika rozmyta. Agnieszka Nowak - Brzezińska

Transkrypt

1 Logika rozmyta Agnieszka Nowak - Brzezińska

2

3 Geneza Logiki rozmytej Za twórcę teorii zbiorów rozmytych i logiki rozmytej uważa się Lotfiego A. Zadeha, który w 1965 roku opublikował artykuł Fuzzy Sets (Information Control 8, , 1965). Tak naprawdę, historia myśli, która doprowadziła do stworzenia tej teorii jest jednak znacznie dłuższa i warto przedstawić chociaż dwa fakty z tym związane. Pierwszych prób wyjścia poza dwuwartościową logikę można doszukać się już u Platona stwierdzającego, że istnieje jakiś dodatkowy obszar pomiędzy prawdą i fałszem. W początkowych latach XX wieku, polski uczony - Jan Łukasiewicz zaproponował system logiki trójwartościowej stanowiącej bazę dla logiki rozmytej.

4 Na systemy rozmyte składają się te techniki i metody, które służą do obrazowania informacji nieprecyzyjnych, nieokreślonych bądź niekonkretnych. Pozwalają one opisywać zjawiska o charakterze wieloznacznym, których nie jest w stanie ująć teoria klasyczna i logika dwuwartościowa. Charakteryzują się tym, że wiedza jest przetwarzana w postaci symbolicznej i zapisywana w postaci rozmytych reguł. Systemy rozmyte znajdują zastosowanie tam, gdzie nie posiadamy wystarczającej wiedzy o modelu matematycznym rządzącym danym zjawiskiem oraz tam gdzie odtworzenie tegoż modelu staje się nieopłacalne lub nawet niemożliwe. Tak więc możemy je spotkać w bazach danych, sterowaniu oraz dziedzinach zajmujących się przetwarzaniem języka naturalnego.

5 Zastosowanie logiki rozmytej (Fuzzy- Logic) Logika rozmyta jest stosowana wszędzie tam, gdzie użycie klasycznej logiki stwarza problem ze względu na trudność w zapisie matematycznym procesu lub gdy wyliczenie lub pobranie zmiennych potrzebnych do rozwiązania problemu jest niemożliwe. Ma szerokie zastosowanie w różnego rodzaju sterownikach. Sterowniki te mogą pracować w urządzeniach tak pospolitych jak lodówki czy pralki, jak również mogą być wykorzystywane do bardziej złożonych zagadnień jak przetwarzanie obrazu, rozwiązywanie problemu korków ulicznych czy unikanie kolizji. Sterowniki wykorzystujące logikę rozmytą są również używane na przykład w połączeniu z sieciami neuronowymi.

6 układy sterowania rozrusznika serca układ sterowania samochodu bojler wodny reaktory i urządzenia chemiczne urządzenia chłodnicze urządzenia klimatyzacyjne i wentylacyjne urządzenia do spalania śmieci piec do wytopu szkła układ sterowania ciśnienia krwi urządzenia diagnostyki nowotworowej system ostrzegawczy chorób serca układ sterowania suwnicą lub dźwigiem Przykłady zastosowań: Intensywny rozwój logiki rozmytej na całym świecie daje się zauważyć zwłaszcza na początku lat dziewięćdziesiątych. Logika rozmyta znajduje bardzo szerokie i różnorodne zastosowania zarówno w elektronice, systemach sterowania jak i w medycynie czy w różnych gałęziach przemysłu. Poniżej wymienione są niektóre aplikacje obrazujące możliwości wykorzystania logiki rozmytej: stacja pomp przetwarzanie obrazów urządzenia szybkiego ładowania akumulatorów rozpoznawanie słów terapia diabetyczna, sterowanie poziomu cukru we krwi układ energetyczny urządzenia do obróbki metali sterowanie bioprocesorów urządzenia grzewcze sterowanie silników elektrycznych urządzenia i procesy spawalnicze sterowanie ruchu biomedycyna urządzenia do czyszczenia pomieszczeń urządzenia do odszlamiania urządzenia do oczyszczania wody układy autopilotów samolotów i okrętów

7 Przykłady c.d. ABS i tempomaty do samochodów (np. Tokio monorail) Klimatyzatory Foto Cyfrowe przetwarzanie obrazu, takie jak wykrywanie krawędzi Zmywarki Windy Pralki i inne AGD Dźwigi maszynki do golenia Kamery

8 W mieście Sendai w Japonii, metro jest sterowane przez rozmyty komputer (Hitachi) - jazda jest tak gładka, że jadący nie muszą posiadać pasów Nissan - rozmyta automatyczna skrzynia biegów, rozmyty antypoślizgowy układ hamulcowy CSK, Hitachi rozpoznawanie pisma ręcznego Sony rozpoznawanie znaków drukowanych Ricoh, Hitachi - Rozpoznawanie głosu

9 Pralki / zmywarki Logika rozmyta to już prawie standardowy element do sprawdzenia obciążenia wagi, czujników brudu i automatycznego ustawiania w kontekście wykorzystania energii, wody i detergentów. Samsung, Toshiba itp. Haier ESL-T21 Miele WT945 Pralka / Suszarka AEG LL1610 Zanussi ZWF1430W

10 Logika klasyczna = 4 Dzień lub noc Tak lub nie 0 lub 1 Białe lub czarne Zdrowy lub chory Zdać egzamin lub nie zdać egzaminu

11 Zbiór i przynależność do niego

12 Zbiór i przynależność do niego

13

14

15 Logika rozmyta Nie zawsze da się jednoznacznie ustalić granicę między danymi spełniającymi pewne kryterium a danymi, które tego kryterium nie spełniają. Dzięki wprowadzeniu funkcji przynależności zbiory rozmyte pozwalają na określanie stopnia przynależności elementu do zbioru bądź klasy.

16

17 Zmienna lingwistyczna

18

19 Zbiór rozmyty - definicja Zbiorem rozmytym nazwiemy zbiór elementów, które w różnym stopniu do niego należą. Zbiór rozmyty A w niepustej przestrzeni X, A X opisywany przez zbiór par: gdzie A {( X, ( X )) : x X} A ( x); x A [0,1] Jest funkcją przynależności zbioru rozmytego A

20 Funkcja przynależności A Funkcja ta każdemu elementowi x X przypisuje jego stopień przynależności do zbioru rozmytego A, przy czym można wyróżnić 3 przypadki: A (x)=1 pełna przynależność do zbioru rozmytego A, A (x)=0 element x nie należy do zbioru rozmytego A, : X [0,1] 0< A (x)<1 element x częściowo należy do zbioru rozmytego A.

21 Symboliczny zapis zbioru rozmytego wyrażany jest w postaci: Gdy X jest przestrzenią o skończonej liczbie elementów X = {x 1,..,x n } A n A( x ) A( xn) A( x... x x x 1 1 ) Lub gdy X jest przestrzenią o nieskończonej liczbie elementów. A x n A x i 1 ( x)

22

23 Podstawowe pojęcia związane ze zbiorami rozmytymi Zbiory rozmyte (przykładowo A i B) są równe wtedy i tylko wtedy, gdy Zbiór rozmyty A jest podzbiorem zbioru rozmytego B (A B) wtedy i tylko wtedy, gdy: Nośnikiem (ang.support) zbioru rozmytego A nazywamy klasyczny zbiór złożony z obiektów, dla których funkcja przynależności jest dodatnia: Rdzeniem (ang. core) jest zbiór składający się z elementów, dla których funkcja przynależności jest równa 1: Core (A) = {x X } Każdy zbiór rozmyty jest jednoznacznie opisany przez swoją funkcję przynależności.

24 Typowe funkcje przynależności 1. Trójkątna 2. Trapezowa 3. Gaussowska 4. Uogólniona dzwonowa 5. Sigmoidalna 6. Rozmyty singleton 7. Funkcja typu S 8. Funkcja typu Z 9. Funkcja typu

25 Trójkątna funkcja przynależności

26 Trapezowa funkcja przynależności

27 Sinusoidalna funkcja przynależności

28

29

30 Operacje na zbiorach rozmytych Musimy być w stanie działać na zbiorach rozmytych i umieć opisywać ich przecięcie, sumę, dopełnienia itp. Wszystko po to, abyśmy mogli użyć złożonych opisów lingwistycznych w sposób matematyczny. Np.. pacjent, który jest chory i radosny, należy do zbioru osób chorych ale również do zbioru osób radosnych. chory radosny pacjent powinien zatem należeć do zbioru chorych radosnych osób, który jest przecięciem tych zbiorów.

31 Operacje na zbiorach rozmytych

32 Operacje na zbiorach rozmytych

33 Suma zbiorów rozmytych A i B jest zbiorem rozmytym C = A B o funkcji przynależności m C ( ), ( ) ( x) max m x m x A B dla x X Przecięcie (iloczyn) dwóch zbiorów rozmytych A i B jest zbiorem rozmytym C = A B o funkcji przynależności m C ( ), ( ) ( x) min m x m x A B

34

35

36 Logika dwuwartościowa vs. wielowartościowa

37

38 Zbiór osób NIE średnich A NOT średnie NOT średnie to znaczy, że niskie OR wysokie

39 Czy x jest osobą NIE średniego wzrostu? Mierzymy wartość funkcji przynależności obiektu x do zbioru A oznaczającego grupę osób o wzroście nie średnim. niskie średnie wysokie ( x) ( x) ( x) NOT ( x) 1 średnie ( x) NOT średnie średnie Zresztą to samo uzyskamy badając dopełnienie tego zbioru osób: ( x) ( x) ( x) niskie wysokie 1 jako wartość funkcji NOT średnie dla naszej osoby x oznacza, że: Osoba x na pewno nie jest wzrostu średniego, co jest oczywiście prawdą.

40 Chory radosny pacjent µ chory (x) = 0.8 µ radosny (x) = 0.9 Wtedy wartość funkcji przynależności byłaby: choryandradosny ( pacjent ) min chory ( pacjent ), radosny ( pacjent ) min 0.8,

41 Pacjent który nie jest chory To dopełnienie do zbioru pacjentów chorych, a więc 1 µ chory (pacjent)=1 0.8 = 0.2

42 Bardzo, mniej więcej, trochę Gdy stopniujemy zmienne lingwistyczne dodając słowa: bardzo, w jakiś sposób, mniej, bardziej, mniej lub więcej, przez co powstają określenia: bardzo wysoki, nie krótki, blisko średniej musimy użyć odpowiedniego ich przewartościowania na wartości numeryczne:

43

44 Stopniowanie rozmywania pojęć Pacjent może być bardzo stary. Jeśli tak jest to zastosowanie tego słowa do opisu rozmytego intuicyjnie powinno dawać odpowiedni efekt wzmacniający dla funkcji przynależności. A 0 ( x) 25 (1 ) 1 ( x 50) gdy gdy x x 50 50

45 (1 ( x 0 25 ) 50) ( x) A 1 gdy gdy x x Jeśli jako A* określimy zbiór bardzo stary, to ten nowy zbiór można zdefiniować jako: A ( x) ( ( x)) * A 2 x X

46 Degree of Membership Short Average Short Tall Very Short Very Tall Tall Height, cm

47

48

49 Schemat wnioskowania

50

51 Schemat wnioskowania Rozmywanie (fuzyfikacja) - operacja przekształcająca sygnały wejściowe z dziedziny ilościowej na wielkości jakościowe reprezentowane przez zbiory rozmyte na podstawie określających je funkcji przynależności. Wnioskowanie rozmyte - operacja wyznaczania w dziedzinie jakościowej wartości wyjść na podstawie wejść za pomocą zbioru reguł rozmytych. Baza reguł - reprezentuje wiedzę jakościową o systemie w postaci zbioru reguł rozmytych w postaci wyrażeń jeśli-to. W przypadku układu MISO mają one postać: Wyostrzanie (defuzyfikacja) - operacja przekształcająca sygnały wyjściowe systemu z dziedziny jakościowej na ilościową.

52 Krok 1: Fuzzyfikacja

53 Krok 2: Ustalenie konkluzji dla każdej reguły

54 Krok 3: Agregacja konkluzji

55 Krok 4: Defuzzyfikacja

56

57 Metoda Mamdani E.H. Mamdani zaproponował następującą metodę wnioskowania: Operacja minimum przy łącznikach AND w przesłankach reguł oraz jako koniunkcyjną interpretację tych reguł Operacja maksimum jako operator agregacji wyników wnioskowania uzyskanych na podstawie pojedynczych reguł Metoda środka ciężkości do wyostrzenia wynikowego zbioru rozmytego

58 Defuzyfikacja - wyostrzanie Logika rozmyta sprawia, że w procesie rozmywania każda reguła zostaje opatrzona pewną rozmytą wartością i musi potem być powtórnie konwertowana na wartość rzeczywistą. Przed procesem wyostrzania wszystkie rozmyte wartości wyjściowe są zsumowane za pomocą funkcji max ze zbioru wartości funkcji przynależności:

59 Metoda środka maksimum Metoda SM (środka maksimum) jest prosta obliczeniowo, ale uwzględnia tylko wpływ najbardziej zaktywizowanego zbioru i jest mało czuła na zmiany stopnia aktywizacji:

60 Metoda PM (pierwszego maksimum) Metoda PM (pierwszego maksimum) przy takim samym stopniu skomplikowania obliczeń jak w SM daje większą czułość na zmiany stopnia aktywizacji:

61 Metoda OM (ostatniego maksimum) Metoda OM (ostatniego maksimum) ma podobne wady i zalety jak PM, przy czym dodatkowo można zauważyć pewną nieprawidłowość. Rozpatrzmy rysunek poniżej. Przy zmniejszaniu aktywizacji zbioru A3 wartość ostra powinna zbliżać się do A2, tymczasem oddala się:

62 METODA ŚRODKA CIĘŻKOŚCI (SC) Wynikiem jest środek ciężkości figury ograniczonej wykresem funkcji przynależności i osią. W defuzyfikacji biorą więc udział wszystkie aktywne reguły, ale wymaga to dużego nakładu obliczeniowego. Ponadto następuje zawężenie zakresu defuzyfikacji, metoda jest nieczuła na aktywizację tylko jednej funkcji przynależności. u 0 U U u u udu du

63 Przykład wnioskowania rozmytego

64

65 Wiek kierowcy

66 Wiek kierowcy μ młody (x) = { 1 x 30 0 x < x < x μ średni (x) = { 0 x 30 lub x < x < 40 x x < x < 50 μ stary (x) = { 0 x 40 1 x < x < 50 x

67 Moc samochodu

68 Moc samochodu μ mała (x) = { 1 x 70 0 x < x < x μ średnia (x) = { 0 x 70 lub x < x < 120 x x < x < 170 μ duża (x) = { 0 x x < x < 170 x

69 Ryzyko ubezpieczeniowe

70 Ryzyko ubezpieczeniowe μ niskie (x) = { 1 x 5 0 x 10 5 < x < 10 x μ śr_niskie (x) = { μ średnie (x) = { 0 x 5 lub x 15 5 < x < 10 x x < x < 15 0 x 10 lub x < x < 15 x x < x < 20 μ śr_wysokie (x) = { 0 x 15 lub x < x < 20 x x < x < 25 μ wysokie (x) = { 0 x 20 1 x < x < 25 x

71 Szukamy reguł do uaktywnienia

72 Szukamy reguł do uaktywnienia μ ryzyko=wysokie (wiek =33,moc samochodu=160) = min μ młody 33, μ duża 160 = min 0.7,0.8 = 0.7 μ ryzyko=śr_wysokie (wiek =33,moc samochodu=160) = min μ młody 33, μ średnia 160 = min 0.7,0.2 = 0.2 μ ryzyko=śr_wysokie (wiek =33,moc samochodu=160) = min μ średni 33, μ duża 160 = min 0.3,0.8 = 0.3 μ ryzyko=średnie (wiek =33,moc samochodu=160) = min μ średni 33, μ średnia 160 = min 0.3,0.2 = 0.2 Operacja minimum przy łącznikach AND w przesłankach reguł oraz jako koniunkcyjną interpretację tych reguł

73 Agregujemy decyzje reguł μ ryzyko=wysokie (wiek =33,moc samochodu=160) = min μ młody 33, μ duża 160 = min 0.7,0.8 = 0.7 μ ryzyko=śr_wysokie (wiek =33,moc samochodu=160) = min μ młody 33, μ średnia 160 = min 0.7,0.2 = 0.2 μ ryzyko=śr_wysokie (wiek =33,moc samochodu=160) = min μ średni 33, μ duża 160 = min 0.3,0.8 = 0.3 μ ryzyko=średnie (wiek =33,moc samochodu=160) = min μ średni 33, μ średnia 160 = min 0.3,0.2 = 0.2 Operacja maksimum jako operator agregacji wyników wnioskowania uzyskanych na podstawie pojedynczych reguł

74 Agregujemy decyzje reguł Gdy kilka reguł dostarcza różnych wartości decyzji agregujemy decyzje metodą MAX: μ ryzyko=śr_wysokie (wiek =33,moc samochodu=160) = min μ młody 33, μ średnia 160 = min 0.7,0.2 = 0.2 μ ryzyko=śr_wysokie (wiek =33,moc samochodu=160) = min μ średni 33, μ duża 160 = min 0.3,0.8 = 0.3 Operacja maksimum jako operator agregacji wyników wnioskowania uzyskanych na podstawie pojedynczych reguł

75

76 defuzyfikacja Metoda środka ciężkości Metoda średniego maksimum Metoda pierwszego maksimum Metoda ostatniego maksimum

77 Metoda środka ciężkości COG = 25 1,2 1 0,8 0,6 0,4 0, średnie średniowysokie wysokie

78 Metoda średniego maksimum 27,5 1,2 1 0,8 0,6 0,4 0, średnie średniowysokie wysokie

79 Metoda pierwszego maksimum 25 1,2 1 0,8 0,6 0,4 0, średnie średniowysokie wysokie

80 Metoda ostatniego maksimum 30 1,2 1 0,8 0,6 0,4 0, średnie średniowysokie wysokie