Sumea logiikka

Sumea logiikka on matemaattisen logiikan laajennus, jossa propositiolla on diskreetin totuusarvon (tosi tai epätosi) sijasta reaalinen totuusarvo suljetulla välillä nollasta yhteen.

Sumean logiikan sovellusalueita
Sumea logiikka on kehitetty vastaamaan sumeiden järjestelmien tarpeita. Tällaisia ovat ne järjestelmät, joissa ei voida perinteisen logiikan tavoin tehdä suoria johtopäätöksiä oletuksista, koska ne eivät yleensä täysin vastaa tilanteen vaatimuksia. Esimerkiksi ihminen toimii eri tilanteissa erilaisilla lähtöarvoilla. Erityisesti tekoälyn tutkiminen on eräs sumean logiikan sovellusalueista. 

Sumea säätö on sumeaa logiikkaa hyödyntävä säätötekniikan osa-alue. Esimerkiksi auton automaattivaihteistossa voidaan käyttää sumean logiikan periaatetta pehmeämpään vaihtamiseen pääsemiseksi.

Logiikka
Sumeassa logiikassa peruskonnektiiveilla  ("ei"),  ("ja") ja  ("tai" eli "joko ... tai ... tai molemmat") ei ole yksiselitteistä määritelmää, vaan ne voidaan määritellä erilaisilla funktioilla, kunhan ne käyttäytyvät arvoilla nolla ja yksi perinteisen logiikan konnektiivien tapaan. Eräs mahdollisuus on käyttää min- ja max-funktioita seuraavasti (A ja B ovat totuusarvoja välillä [0,1]):

Määritelmiä ja esimerkkejä

Jos klassisessa logiikassa voidaan selkeästi määritellä, että kuuluuko x ryhmään X, on sumeassa logiikassa kysymyksenasettelu ennemminkin, että kuinka paljon x kuuluu ryhmään X. Klassisen logiikan mukaan tulisi esimerkiksi määritellä, että  kesä- ja heinäkuut kuuluvat kesäkuukausiin, ja muut kuukaudet eivät. Sumean logiikan mukaan myös touko- ja elokuut voivat kuulua kesäkuukausiin, mutta vähemmän, kuin kesä- ja heinäkuut ja enemmän, kuin huhti- ja syyskuut.

Katso myös 

 Sumea joukko

Kirjallisuutta

Aiheesta muualla 

 Koskensilta, Risto Miksi sumea logiikka haisee? . Paatos 2/08.
 

Logiikka
Tekoäly