LINKÖPINGS UNIVERSITET. Fuzzy Logic. Johan Brage 9/16/2012

Transkript

1 LINKÖPINGS UNIVERSITET Fuzzy Logic Johan Brage 9/16/2012

2

3 Innehållsförteckning 1. Inledning Fuzzy Logic Crisp Sets Fuzzy Sets Operatorer IF-THEN Hedges Fuzzy Control Preprocessing Fuzzification Rule Base Inference Engine Defuzzification Postprocessing Diskussion Litteraturförteckning... 12

4 1. INLEDNING Denna rapport kommer att behandla grunderna vad gäller begreppen Fuzzy Logic och Fuzzy Sets, vad de är, hur de används och hur de skiljer sig från mer traditionell, tvåvärdig, sant-falskt-logik. Vidare kommer den att titta på hur ett Fuzzy Kontrollsystem kan vara uppbyggt. 1

5 2. FUZZY LOGIC Fuzzy Logic (FL) myntades som begrepp i och med Lotfi A. Zadehs artikel Fuzzy Sets från Tidigare hade man bara använt sig av tvåvärdig logik, där en sak antingen kan vara sann, som brukar tilldelas siffran 1, eller falsk, som brukar tilldelas siffran 0, och det inte fanns ett tredje alternativ. I kontrast mot detta söker fuzzy logic att representera just det som tidigare inte gick, nämligen grader av sanningar. Detta behövs för att kunna formalisera människans naturliga språk, eftersom detta är fyllt av definitioner som inte är absoluta. Ett exempel på detta är hur vi som människor definierar längd på oss själva och de runt omkring oss. Vi kan visserligen säga att en människa är lång eller kort baserat på våra ramar om vilka längder som faller inom respektive definition. Men vi är inte låsta vid att en människa antingen är lång eller kort, utan vi kan acceptera att någon är mer lång eller något kort. I den traditionella tvåvärdeslogiken skulle vi bara kunna säga att någon är lång eller kort, det finns ingen grad av längd. Hur man skulle definiera detta i en sådan logik blir alltså ganska olikt människans synsätt på längd. Om gränsen vid att vara lång skulle gå vid 185 cm och allt där under därmed skulle klassas som kort skulle alltså en person som är 184,9 cm klassas som kort medan en person som är 185,1 cm skulle kategoriseras som lång. På grund av vårat synsätt på saker som denna introducerade Zadeh FL (Zadeh, 1965), han ansåg att det inom logiken behövdes något sätt att beskriva grader av sanningar på. Zadeh definierade en logik där ett värde kan ha en viss sanningsmängd i fler än en variabel. Sanningsvärden kan då ligga mellan 0 och 1, vilket ger en möjlighet att bestämma hur stor del ett värde skulle finnas i respektive variabel. En person som är 183 cm lång skulle därför delvis befinna sig i kategorin kort, men samtidigt också ha medlemskap i kategorin lång. För att illustrera detta på ett tydligare sätt använder vi oss av fuzzy sets och crisp sets. 2

6 3. CRISP SETS Som tidigare nämnts hade man tidigare bara använt sig av en tvåvärdig logik. Denna har som sagt uppenbara komplikationer när det kommer till att försöka formalisera ett naturligt språk. Vi fortsätter med exemplet med personers längd för att tydligare visa detta. Ett så kallat crisp set är ett set där samtliga element med full säkerhet, alltså en sannolikhet på 1, ingår. För att koppla det till längdexemplet skulle alltså alla personer som är under 185 cm vara korta, medan alla som är över 185 cm skulle vara långa. Figuren nedan visar detta samband. Figur 1. Crisp set med två variabler På y-axeln i denna graf ser vi graden av sannolikhet och på x-axeln värdet. Det vill säga, alla värden som faller mellan 0 och 185 cm är korta, alla värden över 185 är långa. Skulle vi som ett tillägg till detta lägga in en ny variabel, vi kallar den för enkelhetens skull medellång, skulle vi behöva definiera vilka värden som skulle falla inom denna variabels räckvidd. Vi definierar om våra variabler så att kort ligger mellan 0 och 170, medellång får alla värden mellan 170 och 185, medan lång får behålla sina värden på 185 och uppåt. En figur för detta skulle därför se ut på följande vis. 3

7 Figur 2. Crisp set med tre variabler Y-axel samt x-axel visar fortfarande sannolikhet respektive värde. Vi ser nu att vi har tre olika variabler med väldigt bestämda värden. Vi skulle kunna fortsätta med detta för att lägga in ytterligare variabler om vi vill kunna definiera väldigt lång, extremt lång, väldigt kort och så vidare. Men istället för att göra detta så använder vi oss av FL. 4. FUZZY SETS Om vi stannar kvar vid exemplet med längder, men byter från ett crisp set till ett fuzzy set så kommer vi se skillnaderna mellan de olika typerna av set på ett tydligare sätt. Figur 3. Fuzzy Set 4

8 Vi kan nu tydligt se att ett fuzzy set inte har absoluta gränser, samt att det i de områden som är färgade röd samt ljusblå innebär att värden kan höra till fler variabler. Hur vi använder oss av detta visas mer noggrant i nästa stycke. 4.1 Operatorer För att kunna använda oss av FL behöver vi vissa operatorer för att kunna räkna ut värden på variabler. Standardmodellen för att räkna ut sanningsvärdet på ett fuzzy set är (Norvig & Russell, 2010); T(A B) = min(t(a),t(b)) T(A B) =max(t(a),t(b)) T( A) = 1 T(A) Detta innebär att man får ett sanningsvärde för unionen (A B) som är det minsta värdet på T(A) och T(B). Sanningsvärdet för disjunktionen (A B) är det högsta värdet på T(A) och T(B). Vi ser även att A är 1 T(A), då sanningsvärdet högst kan vara 1. Snittet mellan U och V, alltså A = U V, har medemsfunktionen µ A (x) = min(µ U (x), µ V (x)), vilket vi kan jämställa med operatorn AND, alltså de värden som ingår i båda seten. De feta linjerna i grafen visar snittet. Figur 4. Snitt 5

9 Unionen för U och V ger ett fuzzy set B = U V. Medlemsfunktionen för unionen blir således µ B (x) = max(µ U (x), µ V (x)), vilket innebär att resultatet är det samma som operatorn OR, alla värden som ingår i något av seten. Den feta linjen i grafen visar unionen. Figur 5. Union Komplementet för U och V ger oss medlemsfunktionen µ U (x) = 1 - µ U (x), alltså det inverterade setet, vilket innebär operatorn NOT, det vill säga alla värden som inte ingår i vårat set. Figur 6. Komplement 6

10 4.2 IF-THEN En annan stor del i användandet av FL är IF-THEN-regeln, som även kallas fuzzy implication. Denna regel används för att kunna representera kunskap genom att man ställer upp en premiss och en konsekvens. Premissen i denna regel är en input som när den är uppfylld leder till en output, alltså konsekvensen. Denna ser då ut på följande vis. IF premiss THEN konsekvens I detta kan man sedan byta ut premiss och konsekvens mot värden. Vi kan börja med att som premiss ha x är A och som konsekvens y är B. Detta leder då till att vi får IF x är A then y är B vilket vi i sin tur kan förtydliga ytterligare med hjälp av lingvistiska variabler. Om vi tänker oss en biltur som ett fuzzy system och vi ser ett rödljus kan vi använda oss av regeln för att fatta ett lämpligt beslut, i detta fall IF trafikljuset är rött THEN stanna bilen Detta exempel skulle fungera bra om vi såg att ljuset var rött, eftersom man då måste stanna. På samma sätt kan vi köra om ljuset visar grönt. Men om vi tar exemplet ur det verkliga livet så har inte ett trafikljus bara två värden, rött och grönt, utan det finns ett tredje värde, nämligen gult. Tittar vi på trafiken vid ett trafikljus ser vi att människor inte bara stannar vid rött och kör vid grönt, utan om ljuset är gult och det nyss var grönt så vet de att det snart kommer att bli rött och det är bäst att stanna bilen innan det slagit över. Det är här operatorerna AND och OR kommer in i bilden. Genom att använda oss av dessa operatorer kan vi specificera lite problemet lite noggrannare. Med hjälp av detta kan man sätta upp en regel även för värdet gult i trafikljuset. IF trafikljuset är gult AND trafikljuset var nyss rött THEN kör På samma sätt kan vi sätta in operatorn OR i premissen i de situationer det räcker att den ena av flera premisser är uppfylld. 4.3 Hedges Med hjälp av så kallade hedges, det vill säga lingvistiska variabler som kan liknas vid adjektiv, kan man ändra formen på medlemsfunktioner. För att förtydliga kan vi titta på en hedge som kallas very. Zadeh definierade denna hedge som kvadratroten av medlemsfunktionen (Zadeh, 1972). Den nya medlemsfunktionen ser alltså ut på följande vis; µ verya (x)=(µ A (x)) 2. På samma sätt definierade han en hedge somwhat som kvadratroten av medlemsskapsfunktionen, alltså; µ somewhata (x)= (µ A (x)). Genom att titta på dessa ekvationer kan vi snabbt se att detta inte gäller för värden som innebär inget medlemsskap och fullt medlemsskap, då rot och kvadrat av 1 och 0 7

11 förblir 1 och 0. Man brukar säga att very intensifierar funktionen och somewhat försvagar den. Detta innebär alltså att man får ett lite smalare set av very och ett lite bredare sådant av somewhat. Skillnaderna mellan dessa hedges blir tydligare om ritar upp en graf. Figur 7. Hedges very och somewhat Den blå linjen i grafen representerar vårat set omodifierat, medan den röda linjen visar µ verya och den gröna visar µ somewhata. Genom att använda sig av hedges kan man begränsa eller öppna upp sina sets efter eget tycke. Vi skulle till exempel kunna lägga in en hedge extremt och säga att den representeras av µ extremta (x)=(µ A (x)) 3 för att på så vis få en ännu smalare del av µ, och så vidare. 5. FUZZY CONTROL Nu när vi har grunderna i hur FL fungerar kan vi gå in på hur de kan användas. Ett exempel på detta är så kallade Fuzzy Kontrollsystem. Bilden nedan visar ett sådant system kan vara uppbyggt och vi kommer sedan gå in lite mer på djupet i de olika stegen och vad de har för uppgift. (Jantzen, 1998) 8

12 Figur 8. Fuzzy controller. (Jantzen, 1998) 5.1 Preprocessing Det första steget i systemet är preprocessing, där det oftast kommer in ett crisp inputvärde från något mätinstrument. Dessa värden är inte nödvändigtvis användbara i en fuzzy controller och behöver därför korrigeras innan de kan användas. Detta sker i en preprocessor och kan bland annat innefatta att man rundar av inputvärden som inte finns definierade i dess universum. Exempelvis om U = (-3, -2,..., 2, 3) och systemet får en input på 2,4, så måste detta rundas av till det närmsta lämpliga värdet i dess universum. Den kan även leta efter medelvärden, filtrera värden för att bli av med störningar, och så vidare. Syftet med en preprocessor är alltså att den ska göra datan användbar för systemet. (Jantzen, 1998) 5.2 Fuzzification Detta stadie innebär att systemet gör om de crisp-värden som gått igenom en preprocessor till användbara fuzzy-värden. Dessa crisp-värden konverteras till fuzzy genom att använda de olika medlemsskapsfunktioner som finns definierade i systemet. Värden matchas alltså till de olika lingvistiska variablerna som finns, detta för att controllern ska kunna använda dessa värden då ett beslut ska fattas. (Jantzen, 1998) 5.3 Rule Base Nästa stadie är att köra de fuzzy sets som systemet nu har genom något man kan likna vid en databas av regler. Det är här vi får användning av det vi tidigare gått igenom. Reglerna är 9

13 uppbyggda på samma sätt som förklarades i 4.2, alltså IF-THEN, med logiska konnektiv som AND och OR, samt användandet av hedges. (Jantzen, 1998) 5.4 Inference Engine I detta steg bekräftar systemet den input det har med de regler som finns. Om det finns en regel som säger att IF trafikljuset är rött THEN måste jag stå still och vi vet att våran input är trafikljuset är rött, så kan vi dra slutsatsen att Jag måste stå still. Vidare räknas graden till vilken en regels villkor är uppfyllt ut, ibland kallat regelns firing strength. En regel vi kallar för A skulle få ett fuzzy medlemsvärde µ xa där x är en godtycklig input och värdet µ ya där y är en annan godtycklig input. Aggregering av dessa inputs skulle alltså leda till en kombination av de två, µ xa AND µ ya. Aggregering är likställt med fuzzification om det bara finns en input till en fuzzy controller. Efter att graden med vilken samtliga regler i systemet är uppfyllda räknats ut samlar vi ihop dessa och skapar ett nytt fuzzy set. Detta skickas i sin tur vidare. (Jantzen, 1998) 5.5 Defuzzification Det fuzzy set vi fått av att utföra de tidigare stegen behöver nu konverteras till ett crisp värde som i sin tur kan skickas vidare till processen. Detta steg kallas defuzzification och är raka motsatsten av fuzzification, nämligen att man tar det fuzzy set som finns och gör om det till en crisp signal. Det finns ett flertal olika metoder att använda sig av för att defuzzifiera ett set, där Centre of gravity är en av de mest populära. Denna metod innebär att man räknar ut den punkt där en rak linje skulle dra ett streck mitt i det aggregerade fuzzy setet. (Jantzen, 1998) 5.6 Postprocessing Vi har nu nått den sista av de moduler som bygger upp ett Fuzzy kontrollsystem. På samma sätt som preprocessing som första steg i kedjan finjusterade värden så att man kunde applicera FL på de så kan postprocessen justera värden så att de kan användas som output. Det är inte nödvändigtvis sant att det crisp värde som togs fram av defuzzifiern kan appliceras direkt på 10

14 systemet, utan det kan behöva omvandlas till exempelvis andra enheter som finns i systemets universum. (Jantzen, 1998) 6. DISKUSSION Efter att ha gått igenom de olika stegen i ett fuzzy kontrollsystem så verkar inte logiken speciellt luddig längre. Ett regelverk där man kan använda sig av input som inte bara består av booleska värden tycks onekligen ha en ljus framtid eftersom vi med hjälp av detta kan uttrycka ett mänskligt språk och resonerande på en mer precis nivå. Däremot står klart att FL inte är någon sorts mirakelupptäckt då det dels till stor del ignorerades i västvärlden efter dess introduktion, samt att vi fortfarande har lång väg att gå innan vi kan bygga ett generellt system som efterliknar människan. Dock ska sägas att fuzzy kontrollsystem har stort värde inom vissa uppgifter. Efter att tågtrafiken i Sendai i Japan börjat styras av ett fuzzy system så förbättrades effektiviteten märkbart. Det finns som väntat en stor mängd skeptiker som anser att FL är överflödigt och att man kan utföra samma uppgifter med en tvåvärdig logik och vi kommer nog inte få veta om det hade fungerat lika bra om de som utvecklade Sendai-systemet istället använt sig av en sådan. Det finns även andra exempel på produkter där FL används med stor framgång, exempelvis luftkonditionerings-apparater, där termostaterna är fuzzy, som verkar spara in energi genom att effektivisera systemet. Hur man än vänder och vrider på saken så kommer det nog alltid finnas utrymme för olika sorters logiker, det enda som spelar roll är ändamålet och vem som designar systemet. Liksom all annan utveckling finns det alltid en lösning som är bättre än de andra, och tittar man på exemplen med Sendai och AC-enheter så tyder detta på att det finns saker som FL utför bättre än någonting annat. 11

15 LITTERATURFÖRTECKNING Jantzen, J. (1998). Design of Fuzzy Controllers. Jantzen, J. (1998). Tutorial on Fuzzy Logic. Klingenberg, B. (u.d.). Getting started with Fuzzy Logic. Hämtat från den 16 September 2012 Norvig, P., & Russell, S. (2010). Artificial Intelligence: A Modern Approach. Upper Saddle River, New Jersey, USA: Pearson. Zadeh, L. A. (1965). Fuzzy Sets. Information and Control, Zadeh, L. A. (1972). A fuzzy-set-theoretic interpretation of linguistic hedges. Journal of Cybernetics,