Você está na página 1de 4

c 

Dado un conjunto difuso A, se define como Ê Êde A, al conjunto deelementos que


pertenecen al conjunto difuso A con grado mayor o igual quealfa, es decir:

Se define como Ê Ê 


al conjunto de elementos con grado depertenencia
estrictamente mayor que alfa, es decir:

’ 
   
  


©ara representar la intersección de dos conjuntos borrosos, buscamos funciones del tipo T:
[0,1] x [0,1] ĺ [0,1], que nos permitan obtener la función de pertenencia del conjunto
intersección de la siguiente forma:

µ© x) = Tµ ©x), µx)), 0 x X

Si queremos que la intersección sea conmutativa, asociativa, que tenga por elemento neutro el
conjunto X y sea monótona creciente, se debe verificar:

Desde el punto de vista de las funciones de pertenencia se deben cumplir cuatro propiedades:

M |onmutativa:
µ© x) = µ ©x), y por tanto, Tµ© x), µ x)) = Tµ x),µ© x)) 0 x, con lo que
T ha de ser conmutativa.

M Asociativa:
µ© ) x) = µ©  )x), entonces, TTµ© x), µ x)),µ x)) = Tµ © x),
Tµ x),µ x))) 0 x, por lo que T ha de ser asociativa.

M ÿlemento neutro el conjunto X:


µ© Xx) = µ©x) con lo que Tµ© x), µX x)) = Tµ© x),1) = µ © x) 0 x, siendo el 1
el elemento neutro de T.

M onótona creciente:
Si µ© x) ” µ x) 0 x y µ x) ” µ S x) 0 x, entonces, µ©  x) ” µ  S x) 0 x.

De esta forma, Tµ© x), µV x)) ” Tµ x),µS x)) por lo tanto, T ha de ser creciente.
©or tanto buscamos las funciones T: [0,1] x [0,1] ĺ [0,1] que cumplan las siguientes
propiedades:

1. |onmutativa

Tx,y) = Ty,x) 0 x, y [0,1]

2. Asociativa

Tx,Ty,z)) = TTx,y),z) 0 x, y, z [0,1]

3. ÿlemento neutro

Tx,1) = x 0x [0,1]

4. onótona creciente

Si x ” y entonces Tx,z) ” Ty,z) 0 x, y, z [0,1]

A estas funciones se les denomina normas triangulares o t-normas. Las más conocidas son:

M  nimo

Tx,y) = in x,y), que es la mayor de las t-normas.


M ©roducto

©rod x,y) = x · y

M §peración de Lukasiewicz:

W x,y) = ax 0, x+y-1)

M ©roducto drástico

x, si y = 1
Zx, y) =
{ y, si x = 1
0, en otro caso

M que es discontinua y es la menor de todas las t-normas.


ÿstas t-normas se relacionan por medio de las desigualdades siguientes:

Zx,y) ” Wx,y) ” ©rodx,y) ” inx,y) 0x,y [0,1]