Mehka logika

(Preusmerjeno s strani Mehka množica)

Mehka logika (angleško fuzzy logic) je matematična razširitev Boolove logike, ki pozna samo dve stanji (0 in 1) na neskončno število stanj (interval .

Mehko logiko je javnosti leta 1965 prvič predstavil znanstvenik Lofti A. Zadeh.

Mehka množicaUredi

 
Slika 1: Primer pripadnostne funkcije za mehko množico »mlad človek«. Kot je razvidno s slike, je pripadnost 30 let starega človeka množici A enaka 0,4. Izbira pripadnostne funkcije je lahko zelo subjektivna.

Mehke množice (angleško fuzzy sets) so razširitev običajnih, ostrih množic (angleško crisp sets). Medtem ko ima lahko pripadnostna funkcija ostre množice zalogo vrednosti   (tj. določen element pripada ali ne pripada tej množici), ima pripadnostna funkcija mehke množice ( ) zalogo vrednosti znotraj intervala  . Torej je lahko določen element v mehki množici vsebovan s pripadnostjo  .

Primer
Opazujemo skupino ljudi. Definirajmo množico
 
Torej množica vsebuje vse ljudi, ki so mladi. Če na množico gledamo kot na običajno množico, ji lahko posamezen človek v celoti pripada ali pa v celoti ne pripada. Problem nastopi z definicijo mladosti. Lahko rečemo, da je človek, ki je mlajši od tridesetih let mlad. Iz tega sledi, da človeka, ki je star trideset let in en mesec nimamo več za mladega, kar je nesmisel. Medtem, ko so pri običajnih množicah prehodi med pripadnostjo in nepripadnostjo ostri, diskretni, so pri mehkih množicah le ti počasni, zvezni. Če gledamo na množico   kot na mehko množico, ji bo človek, ki je star 30 let in en mesec pripadal z za malenkost manjšo pripadnostjo kot človek, ki je star 29 let in 11 mesecev. Primer pripadnostne funkcije za množico   ilustrira slika 1.

Mehka logikaUredi

Mehka logika se kot običajna logika ukvarja z izjavami. V običajni logiki so lahko izjave pravilne ali napačne, torej njihova zaloga vrednosti zasede vrednosti 1 in 0. Mehka logika dovoljuje tudi vmesne vrednosti, torej dovoljuje delno pravilnost. Temu rečemo stopnja pravilnosti (degree of truth).

Operatorji v mehki logikiUredi

S pomočjo operatorjev lahko združujemo enostavnejše izjave v kompleksnejše. Osnovni trije operatorji, ki tvorijo poln nabor so NOT (ne), AND (in), OR (ali). Te operatorje lahko definiramo tudi v mehki logiki, in sicer na več načinov. Operatorji, ki jih je uvedel že Zadeh, so definirani kot:

  • NOT  ,
  • AND   ali  ,
  • OR   ali  ,

pri čemer je   stopnja pravilnosti prve izjave in   stopnja pravilnosti druge izjave.

Zunanje povezaveUredi

  • Andreja Rojko Položajno vodenje nelinearnih mehanizmov z uporabo mehke logike (PDF)