Pobieranie prezentacji. Proszę czekać

Pobieranie prezentacji. Proszę czekać

Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra.

Podobne prezentacje


Prezentacja na temat: "Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra."— Zapis prezentacji:

1 Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania 1 Model lingwistyczny – wnioskowanie Mamdaniego Zakres stosowania: 1. reguły traktowane jako implikacje w sensie logicznym; wejścia punktowe A pociąga za sobą B 2. reguły traktowane jako implikacje inżynierskie; wejścia punktowe i rozmyte A powiązane z B

2 Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania 2 Szkic metody Mamdaniiego Załóżmy, że wartość wejścia rozmytego x wynosi: dla którego wartość wyjścia rozmytego y jest określana ze złożeniowej reguły wnioskowania dla relacji R danej zbiorem reguł:

3 Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania 3 Ponieważ korzystamy z operatorów implikacji inżynierskich czyli z t-norm, więc agregacja reguł zbioru R może być uzyskana za pomocą operatora połączenia max gdzie I jest operatorem t-normy (implikacja inżynierska) zatem: stąd, w oparciu o złożeniową regułę wnioskowania

4 Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania 4 Po przekształceniach, otrzymuje się ostatecznie: Oznaczmy Wielkość tę nazywa się stopniem spełnienia (degree of fulfillment) przesłanki i-tej teguły Zatem:

5 Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania 5 Wnioskowanie Mamdaniego 1. Oblicz stopień spełnienia przesłanki każdej z reguł przez dane wejście: 2. Oblicz zbiory rozmyte wyjścia każdej z reguł dla danego wejścia : 3. Zagreguj zbiory rozmyte wyjścia uzyskując odpowiedź systemu:

6 Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania 6 Wnioskowanie Mamdaniego – czysty system rozmyty -ilustracja

7 Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania 7 Przykład – ponownie, model lingwistyczny spalania gazu przy stałym natężeniu dopływu gazu (system SISO) Mieliśmy: Zbiory rozmyte wejścia Zbiory rozmyte wyjścia Baza reguł: Zbiór rozmyty wejścia - Somewhat Low (raczej niskie)

8 Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania 8 Procedura wnioskowania Mamdaniego 1. Obliczenie stopnia spełnienia przesłanek Wybieramy t-normę MIN dla obliczania stopnie spełnienia przesłanek

9 Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania 9 2. Obliczenie zbiorów rozmytych wyjścia: Wybieramy t-normę MIN dla obliczania zbiorów rozmytych wyjścia każdej z reguł

10 Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania Zagregowanie zbiorów rozmytych wyjścia: Max Approximately Low Uzyskany uprzednio wynik – podejście formalne

11 Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania 11 Przykład – ponownie, model lingwistyczny poziomu cieczy w zbiorniku Mieliśmy: Zbiory rozmyte wejścia Zbiory rozmyte wyjścia Baza reguł:

12 Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania 12 Niech zbiór rozmyty wejścia - singleton R 1 : stopień spełnienia przesłanki większy od zera R 2 : stopień spełnienia przesłanki większy od zera R 3 : stopień spełnienia przesłanki równy zeru

13 Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania 13 Agregacja zbioru rozmytego wyjścia Jakiego poziomu cieczy można się spodziewać? Wynik wnioskowania rozmytego B jest zbiorem rozmytym ! Jeżeli występuje wymaganie, aby wyjście systemu rozmytego był ostrą liczbą, wyjściowy zbiór rozmyty musi być poddany wyostrzaniu - defuzyfikacji

14 Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania 14 Wyostrzanie - defuzyfikacja Defuzyfikacja zbioru rozmytego B(y) (całościowej wynikowej funkcji przynależności zbioru reguł i faktu) to operacja określenia ostrej wartości y reprezentującej ten zbiór (w sposób jak najbardziej sensowny) Najbardziej znane metody defuzyfikacji: metoda środka maksimum (SM) – Middle of Max (MOM), Mean of Maxima (MOM) metoda pierwszego maksimum (PM) – Smallest of Max (SOM), metoda ostatniego maksimum (OM) – Largest of Max (LOM) metoda środka ciężkości (SC) - Centroid of Area (COA), Center of Gravity (COG) metoda środka sum (SS) - Bisector of Area (BOA)

15 Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania 15 Wyostrzanie - defuzyfikacja

16 Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania 16 Metoda środka ciężkości (SC) za ostrego reprezentanta y wynikowego zbioru rozmytego konkluzji B zdefiniowanego funkcją przynależności przyjmuje współrzędną y środka ciężkości powierzchni pod krzywą określoną tą funkcją Metoda środka ciężkości (SC) - Centroid of Area (COA), Center of Gravity (COG)

17 Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania 17 Metoda środka maksimum (SM) - Middle of Max (MOM) Metoda środka maksimum (SM) za ostrego reprezentanta y wynikowego zbioru rozmytego konkluzji B zdefiniowanego funkcją przynależności przyjmuje współrzędną y będącą wartością średnią wyjść dla których wynikowa funkcja przynależności osiąga maksimum

18 Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania 18 Metoda środka sum (SS) - Bisector of Area (BOA) Metoda środka sum (SS) za ostrego reprezentanta y wynikowego zbioru rozmytego konkluzji B zdefiniowanego funkcją przynależności przyjmuje współrzędną y spełniającą zależność gdzie:

19 Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania 19 Metoda środka ciężkości (COA, COG) stosowana jest we wnioskowaniu Mamdaniego (podejście uproszczone) Metoda środka maksimum (MOM) stosowana jest we wnioskowaniu opartym na podejściu formalnym

20 Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania 20 Przykład – ponownie, model lingwistyczny spalania gazu przy stałym natężeniu dopływu gazu (system SISO) Approximately Low

21 Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania 21 Podsumowanie: Rozważane dotychczas modele miały struktury obejmujące przypadki: - jedna przesłanka – jedna reguła - jedna przesłanka – wiele reguł Skupienie uwagi na: W schemacie wnioskowania Mamdaniego jako operator implikacji najczęściej stosowany jest operator MIN (zaproponowany oryginalnie przez Mamdaniego) oraz operator PROD Zbiór rozmyty wejścia A jest najczęściej singletonem z jądrem x 0

22 Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania 22 Dla singletonu przyjmuje się: i wówczas: Implikacja Mamdaniego (min) Implikacja Larsena (prod) Ilustracja graficzna :

23 Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania 23 Przypadki dotychczas rozważone: I. Jedna reguła – jedna przesłanka Fakt: x = A R: RegułaJEŚLI x = A TO y = B Wniosek y = B Wynik ogólny:

24 Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania 24 Reprezentacja reguły – t-norma w Stopień spełnienia przesłanki implikacji przez fakt Przecięcie zbiorów – t - norma

25 Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania 25 Implikacja Mamdaniego lub Larsena oraz wejście - singleton Implikacja Mamdaniego (MIN), złożenie MIN: Dla: Implikacja Larsena (PROD), złożenie PROD:

26 Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania 26 Implikacja Mamdaniego (MIN), złożenie MIN: Ilustracja graficzna : Implikacja Larsena (PROD), złożenie (PROD):

27 Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania 27 II. Dwie (wiele) reguły – jedna przesłanka Fakt: x = A R 1 : RegułaJEŚLI x = A 1 TO y = B 1 Wniosek y = B Wynik ogólny: R 2 : RegułaJEŚLI x = A 2 TO y = B 2 Niech Ponieważ operacja złożenia (implikacja) jest rozdzielna względem operacji połączenia (agregacja reguł) dowolna s-norma (t-konorma)

28 Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania 28 implikacja Mamdaniego (MIN), złożenie MIN, agregacja MAX: Ilustracja graficzna :

29 Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania 29 implikacja Larsena (PROD), złożenie (PROD), agregacja MAX:

30 Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania 30 Model lingwistyczny i proces wnioskowania z wykorzystaniem tego modelu przedstawiony został w ogólny sposób obejmujący przypadki SISO i MIMO Jednak Rozważane modele miały struktury obejmujące przypadki: - jedna przesłanka – jedna reguła - jedna przesłanka – wiele reguł Oznacza to, że w przypadku MIMO wszystkie zbiory rozmyte modelu rozważane były w jednej przestrzeni wektorowej z wielowymiarowymi funkcjami przynależności A wcześniej mówiliśmy, że Zwykle stwierdzenia przesłanek i stwierdzenia konkluzji formułowane są jako logiczne zdania w przestrzeni jedno wymiarowej z funkcjami przynależności jednej zmiennej

31 Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania 31 Dla systemów MIMO: Potrzeba uogólnienia zaprezentowanych wyników na przypadek, kiedy funkcje przynależności występujące w stwierdzeniach są definiowane w przestrzeniach jednowymiarowych Ale na zakończenie Różne A Różne B System rozmyty modeluje zależność wejście – wyjście Aproksymator

32 Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra Inżynierii Systemów Sterowania 32 System Mamdaniego – aproksymator Przykład 1 Jeżeli X jest MAŁY TO Y jest MAŁY Jeżeli X jest ŚREDNI TO Y jest ŚREDNI Jeżeli X jest DUŻY TO Y jest DUŻY Realizacja: max – min, środek ciężkości


Pobierz ppt "Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Systemy rozmyte i wnioskowanie – podejście Mamdaniego Dr hab. inż. Kazimierz Duzinkiewicz, Katedra."

Podobne prezentacje


Reklamy Google