Från Rilpedia

Du har inte behörighet att redigera denna sida, av följande anledning:

Du kan se och kopiera denna sidas källtext:

<noinclude>{{rpsv.from.wpsv}}</noinclude> {{logiskasystem}} '''Suddig logik''' (engelska '''fuzzy logic'''), vanligen kallad '''Oskarp logik''', utvecklad av [[Lotfi Asker Zadeh]] under 1960- och 70-talen, är en form av [[logik]] där [[lagen om det uteslutna tredje]] inte gäller. I fuzzy logic kan en proposition vara delvis sann och delvis falsk, vilket resulterar i en gradskala av sanning. Man använder oftast reella tal från 0 till 1 som sanningsvärden, där 0 står för '''tveklöst falskt''' och 1 för '''tveklöst sant''' och värden däremellan står för gradskillnader mellan falskt och sant. Ett exempel är påståendet '''Anna är lång''', vars sanningshalt kan debatteras om Annas längd inte är mycket avvikande från det normala. Logiken kallas '''suddig''' eftersom man utgår från att påståendens sanningshalt kan vara oklara. == Exempel == I badet vill man ha vattnet behagligt varmt, som är ett litet område mellan kallt och hett. Vad som är lagom varmt bestäms av [[kontext]]en samt i detta fall av den subjektiva upplevelsen. Dock är det flytande gränser mellan områdena så att där finns t.ex. ett område som upplevs "kallare än varmt men varmare än kallt". Detta hanterar den suddiga logiken så att det tre påståendena "det är kallt", "det är varmt" och "det är hett" har sina [[temperatur]]områden där de är helt sanna (cold, warm och hot i figuren nedan). I glappet mellan dessa områden övergår de gradvis i varandra och båda påståendena tilldelas en grad av [[sanning]] mellan 1 och 0 (dvs mellan 100% och 0%). Vid temperaturen vid linjen i figuren har påståendena "det är kallt" hög grad av sanning medan "det är varmt" har låg grad av sanning: [[Bild:Warm fuzzy logic member function.gif]] ==Logiska funktioner== {{logiskafunktioner2}} [[logisk operator|Logiska funktioner]] i suddig logik är [[sanningsfunktion]]ella och formuleras vanligen: :¬P = 1 - P :P ∨ Q = max(P, Q) :P ∧ Q = min(P, Q) [[Kategori:Datavetenskap]] [[Kategori:Delområden inom logik]] {{logikstub}} [[ar:منطق ضبابي]] [[az:Qeyri-səlis məntiq]] [[cs:Fuzzy logika]] [[de:Fuzzylogik]] [[en:Fuzzy logic]] [[eo:Neakra logiko]] [[es:Lógica difusa]] [[et:Hägusloogika]] [[fa:منطق فازی]] [[fi:Sumea logiikka]] [[fr:Logique floue]] [[he:לוגיקה עמומה]] [[hu:Elmosódott halmazok logikája]] [[id:Logika fuzzy]] [[it:Logica fuzzy]] [[ja:ファジィ論理]] [[ko:퍼지 논리]] [[ms:Logik kabur]] [[nl:Fuzzy logic]] [[pl:Logika rozmyta]] [[pt:Lógica difusa]] [[ro:Logica fuzzy]] [[ru:Нечёткая логика]] [[simple:Fuzzy logic]] [[sk:Fuzzy logika]] [[sl:Mehka logika]] [[sr:Расплинута логика]] [[su:Logika Fuzzy]] [[ta:இடைநிலை தருக்கம்]] [[th:ตรรกศาสตร์คลุมเครือ]] [[tr:Bulanık mantık]] [[uk:Нечітка логіка]] [[vi:Lôgic mờ]] [[zh:模糊逻辑]]

Tillbaka till Suddig logik.