Operaciones en Conjuntos Difusos

M.Sc. Ricardo Rodrguez Bustinza

robust@uni.edu.pe

Indice
1. Conjunto Clasicos a Conjuntos Difusos
1.1. Definicion de Conjunto Difuso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2
3

2. Operaciones en Conjuntos Difusos

2.1. Definicion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

6
6

3. Extensiones de Operaciones en Conjunto Difusos

3.1. Complemento Difuso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2. Union Difusa - La Norma S . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.3. Union Difusa - La Norma T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

9
9
10
11


1 CONJUNTO CLASICOS
A CONJUNTOS DIFUSOS

1. Conjunto Clasicos a Conjuntos Difusos

Sea U el universo de discurso, o conjunto universal, que contiene todos los posibles elementos que
conciernen a cada contexto particular o aplicacion. Llamaremos a un conjunto clasico (crisp), o simplemente conjunto A, en el universo de discurso U que puede ser definido por una lista de todos los
miembros (metodo de la lista) o por las propiedades especficas que deben ser satisfechas por los miembros del conjunto (metodo de la regla). El metodo de la lista puede ser solo para conjuntos finitos y es por
consiguiente de uso limitado. El metodo de la regla es mas general. En el metodo de la regla, un conjunto
A es representado por:
A = {x U | x encuentra algunas condiciones}

(1)

Hay un tercer metodo para definir un conjunto A, el metodo de la funcion de pertenencia que introduce un
uno o un cero en la funcion de pertenencia (tambien llamada funcion caracterstica, funcion de discriminacion, o funcion del indicador) para A, que se denota por A (x), tal que:
{
1 si x A
(2)
A (x) =
0 si x A
El conjunto A es matematicamente equivalente a la funcion de pertenencia A (x), es decir, si A (x) es
conocido, entonces sera el mismo que A.
Ejemplo 1
Considere el conjunto de todos los carros en la UNI; este es el universo de discurso U. Podemos definir
diferentes conjuntos difusos en U de acuerdo con las propiedades de los carros. La Figura nos muestra
dos tipos de propiedades que pueden ser usadas para definir estos conjuntos en U:
a) carro Americano o carro no Americano.
b) numero de cilindros.

Figura 1: Particion del conjunto para todos los carros en la UNI y sus subconjuntos.

Por ejemplo podemos definir un conjunto A de todos los carros en U que tiene 4 cilindros, esto es.
A = {x U | x tiene 4 cilindros}

(3)

O tambien.
{

A (x) =
M.Sc. Ricardo Rodrguez Bustinza

1 si x U
0 si x U

y x tiene 4 cilindros
y x no tiene 4 cilindros

(4)
2


1 CONJUNTO CLASICOS
A CONJUNTOS DIFUSOS

1.1 Definicion de Conjunto Difuso

Nosotros podemos definir un conjunto en A de acuerdo a si el carro es Americano o no lo es, entonces nos
enfrentamos ante una dificultad. Una perpectiva es que un carro es Americano si lleva en nombre de una
manufactura Americana; el otro caso es que no sea Americano. As mismo muchas personas pueden hacer
distincion crisp (determinista, discreta) entre un carro Americano y carro no Americano, porque muchos
de los componentes para los que consideremos carros Americanos son producidos fuera de los Estados
Unidos (por ejemplo, Ford, GM, Chrylers).
Esencialmente la dificultad del Ejemplo 1, muestra algunos conjuntos no tiene los lmites claros. La
teora de conjuntos clasicos requiere que el conjunto tenga propiedades bien definidas por consiguiente
es incapaz de definir el conjunto como todos los automoviles americanos en la UNI. Para superar esta
limitacion de la teora de conjuntos clasica, se introduce el concepto de conjunto difuso. Resulta que esta
limitacion es fundamental y la nueva teora necesita de la teora de los conjuntos difusos.

1.1. Definicion de Conjunto Difuso

Un conjunto difuso en un universo de discurso U es caracterizado por una funcion de pertenencia A (x)
que toma valores en el intervalo [0, 1]. As mismo, un conjunto difuso es generalizado desde un conjunto
clasico permitiendo las funciones de pertenencia tomar algunos valores en el intervalo [0, 1]. En otras
palabras la funcion de pertenencia de un conjunto clasico puede tomar solo dos valores el uno o cero,
mientras que la funcion de pertenencia para un conjunto difuso en una funcion continua en el rango de
[0, 1]. Nosotros vemos, que desde la definicion no hay nada difuso sobre el conjunto difuso; esto es
simplemente un conjunto con funcion de pertenencia continua.
Un conjunto difuso A en U puede ser representado por un conjunto de pares ordenados de un elemento
generico x y su valor de pertenencia, es decir:
A = {(x, A (x)) | x U}

(5)

Cuando U es continuo (por ejemplo U = R), el conjunto difuso A se escribe comunmente como:

A=
U

A (x)/x

(6)

Donde el signo integral no denota integracion; denota la coleccion para todos los puntos x U que estan
asociados a la funcion de pertenencia A (x). Cuando U es discreto, A es comunmente escrito como:
A = A (x)/x

(7)

El signo sumatoria no representa adicion aritmetica; denota la coleccion para todos los puntos x U que
estan asociados a la funcion de pertenencia A (x).
Ejemplo 2
Podemos definir el conjunto Carros Americanos en la UNI denotado por D, como un conjunto difuso
de acuerdo al porcentaje de las partes de los carros que estan hechos en los EE.UU. Especficamente, D
esta definido por la funcion de pertenencia:

D (x) = p(x)

(8)

Donde p(x) es el porcentaje de las partes de los carros x hechos en Estados Unidos, y ellos toman valores
desde 0 % hasta 100 %. Por ejemplo, si un carro en particular x0 tiene el 60 % de las partes hechos en
los EE.UU. entonces nosotros decimos que el carro x0 pertenece al conjunto difuso D con un grado
M.Sc. Ricardo Rodrguez Bustinza


1 CONJUNTO CLASICOS
A CONJUNTOS DIFUSOS

1.1 Definicion de Conjunto Difuso

de pertenencia de 0.6. Similarmente podemos definir el conjunto Carros no Americanos en la UNI,

denotado por F, como un conjunto difuso que tiene la funcion de pertenencia:

F (x) = 1 p(x)

(9)

Siendo p(x) es el mismo que en (8). As, si un carro particular x0 tiene 60 % de sus partes hechos en
los EE.UU., entonces nosotros decimos que el carro x0 pertenece al conjunto difuso F con un grado de
pertenencia de 1 0.6 = 0.4.
La Figura 2 muestra las ecuaciones (8) y (9). Claramente, un elemento puede pertenecer a conjuntos
difusos diferentes a los mismos o a diferentes grados.

1.5

0.5
0
0.5

50

100

Figura 2: Funciones de pertenencia para los carros Americanos (D ) y no Americanos (F ).

Ejemplo 3
Sea Z un conjunto difuso llamado numeros cercanos a cero como se muestra en la Figura 3.

Figura 3: Una posible funcion de pertenencia que caracteriza numeros cercanos a cero.

Una posible funcion de pertenencia para Z es:

Z (x) = ex

(10)

Donde x R. Esta es una funcion Gaussiana con media igual a cero y desviacion estandar igual a uno.
Conforme con la funcion de pertenencia, el numero 0 y 2 pertenencen al conjunto Z con grados e0 = 1 y
e4 respectivamente. Podemos definir la funcion de pertenencia de la forma:
M.Sc. Ricardo Rodrguez Bustinza


1 CONJUNTO CLASICOS
A CONJUNTOS DIFUSOS

1.1 Definicion de Conjunto Difuso

0
x+1
Z (x) =
1x

si
si
si
si

x < 1
1 x < 0
0x<1
1x

(11)

Conforme con esta funcion de pertenencia, los numeros 0 y 2 pertenencen al conjunto difuso Z con grados
de pertenencia 1 y 0 respectivamente, la ecuacion (10) es mostrada graficamente en la Figura 3. Tambien
de (11) es otra funcion de pertenencia que caracteriza a los numeros cercanos a cero y que se muestra
en la Figura 4.

Figura 4: Otra posible funcion de pertenencia que caracteriza numeros cercanos a cero.
Para este ejemplo es importante remarcar: las propiedades de los conjuntos difusos son usados para caracteristicas normalmente difusas, por ejemplo numeros cercanos a cero que no es precisamente una
descripcion.
Ejemplo 4
Sea U en el intervalo [0, 100] representando la edad de los humanos. Definimos los conjuntos difusos
joven y viejo.
25

joven =

100

1/x +
0

25

100

viejo =

(1 + (
50

(1 + (

x 25 2 1
) ) /x
5

x 50 2 1
) ) /x
5

(12)
(13)

La represntacion difusa para (12) y (13) se muestra en la Figura 5

Figura 5: Diagrama de la representacion joven y viejo.

M.Sc. Ricardo Rodrguez Bustinza

2 OPERACIONES EN CONJUNTOS DIFUSOS

Ejemplo 5
Sea U de los numeros enteros de 0 a 10, tal que, U = {1, 2, ..., 10}. Entonces el conjunto difuso algunos
puede ser definido como:
algunos = 0.5/3 + 0.8/4 + 1/5 + 1/6 + 0.8/7 + 0.5/8

(14)

Esto es, 5 y 6 pertenecen al conjunto difuso algunos con grado de pertenencia 1, 4 y 7 con grado de
pertenencia 0.8, 3 y 8 con grado de pertenencia 0.5, y 1,2,9 y 10 con grado de pertenencia 0, tal como se
muestra en la Figura 6.

Figura 6: Otra posible funcion de pertenencia que caracteriza numeros cercanos a cero.

2. Operaciones en Conjuntos Difusos

Los conceptos basicos de las operaciones en conjuntos difusos introducidos en la seccion anterior, conciernen solo a conjuntos difusos. En esta seccion estudiaremos las operaciones basicas de los conjuntos difusos. Nosotros asumiremos que los conjuntos difusos A y B se definen en el mismo universo de discurso
U.

2.1. Definicion
La igualdad, contencion, complemento, union y interseccion de dos conjuntos difusos A y B se definen de
la siguiente forma:
1. Igualdad
Se dice que A y B son iguales si y solo si:

A (x) = B (x) x U
2. Contencion
Se dice que B contiene a A, denotado por A B, si y solo si:

A (x) B (x) x U
3. Complemento
El complemento de A es un conjunto difuso A en U y su funcion de pertenencia es definida por:
M.Sc. Ricardo Rodrguez Bustinza

2.1 Definicion

2 OPERACIONES EN CONJUNTOS DIFUSOS

A (x) = 1 A (x) = A (x)

(15)

Propiedades
Propiedad del medio excluido: A A = 1
Propiedad de la contradiccion: A A =
Propiedades: 1X =

= 1X

Las leyes del medio excluido y contradiccion no son satisfechas en logica difusa, tal como lo indican los siguientes lemas:
Lema 1: Ley del medio excluido no valida: Sea A (x) = 1/2, x R, entonces:
1
1 1
( A A )(x) = max{ A (x), A (x)} = max{1 , } =
2 2
2

= 1

Lema 2: Ley de la contradiccion no valida: Sea A (x) = 1/2, x R, entonces:

1 1
1
( A A )(x) = min{ A (x), A (x)} = min{1 , } =
2 2
2
Nota: En logica difusa se satisface la ley DMorgan.

= 0

(A B ) = A B
(A B ) = A B
4. Union
La union (disyuncion) de A y B es un conjunto difuso en U, denotado por A B, donde su funcion
de pertenencia es definida por:

AB (x) = max[A (x), B (x)]

(16)

5. Interseccion
La interseccion (conjuncion) de A y B es un conjunto difuso en U, denotado por A B, donde su
funcion de pertenencia es definida por:

AB (x) = min[A (x), B (x)]

(17)

Podemos preguntarnos por que usamos max para la union y min para la interseccion; daremos
una explicacion intuitiva. Una manera intuitiva de definir la union es la siguiente: la union de A y B
es el conjunto difuso mas pequeno que contiene A y B. mas precisamente, si C es cualquier conjunto
difuso que contiene A y B, entonces tambien contiene la union de A y B. Entonces esta definicion
intuitiva es equivalente a (16), notamos primero, que A B definida en (16) contiene a ambos A y B
porque max[A , B ] A y max[A , B ] B . As mismo si C es un conjunto difuso que contiene
a ambos A y B, entonces C A y C B . As mismo C max[A , B ] = AB que produce
que A B sea definida por (16) que es un conjunto difuso pequeno que contiene a ambos A y B. La
interseccion definida por (17) puede justificarse de la misma manera.

M.Sc. Ricardo Rodrguez Bustinza

2.1 Definicion

2 OPERACIONES EN CONJUNTOS DIFUSOS

Ejemplo 6
Considere dos conjuntos difusos D y F definidos por las ecuaciones (8) y (9), tal como se muesra en la
Figura 2.
El complemento de F, F, es un conjunto difuso definido por:

F (x) = 1 F (x) = 1 p(x)

(18)

que es mostrado en la Figura 7. Comparando (18) con (9) vemos que F = D. Esto tiene el sentido porque
si un carro no es un carro Americano (que es el complemento medio de F intuitivamente), entonces debe
ser un carro Americano.

1.5

~F

0.5
0
0.5

50

100

Figura 7: Las funciones de pertenencia para F y F.

La union de F y D es un conjunto difuso F D (ver Figura 8.) definido por:
{
F (x) si 0 p(x) 0.5
FD (x) = max[F , D ] =
D (x) si 0.5 p(x) 1

(19)

1.5

F D

1
0.5
0
0.5

50

100

Figura 8: Funcion de pertenencia F D.

La interseccion de F y D es un conjunto difuso F D (ver Figura 9) definido por:
M.Sc. Ricardo Rodrguez Bustinza

3 EXTENSIONES DE OPERACIONES EN CONJUNTO DIFUSOS

FD (x) = min[F , D ] =

F (x) si 0 p(x) 0.5

D (x) si 0.5 p(x) 1

(20)

1.5

F D

1
0.5
0
0.5

50

100

Figura 9: Funcion de pertenencia F D.

3. Extensiones de Operaciones en Conjunto Difusos

En esta seccion estudiaremos otros tipos de operadores para el complemento, union, y interseccion de
conjuntos difusos. Nos preguntamos porque es necesario estudiar estos tipos de operadores?. La principal
razon es que los operadores descritos en (15), (16) y (17) no satisfacen algunas situaciones. Por ejemplo,
cuando queremos tomar la interseccion de dos conjuntos difusos nosotros queremos un conjunto difuso
mas grande para tener un impacto en el resultado. Pero si usamos el operador min de (17) el conjunto
difuso mas grande no tendra el impacto. Los nuevos operadores se propondra en las bases de axiomas.
Podemos empezar con los axiomas del complemento, union y interseccion que satisfacen un orden de
calificacion de estas operaciones.

3.1. Complemento Difuso

Sea c : [0, 1] [0, 1] un mapeo tal que transforma la funcion de pertenencia del conjunto difuso A en la
funcion de pertenencia del complemento de A, es dado por:
c[A (x)] = A (x)

(21)

En el caso de (15), c[A (x)] = 1 A (x). En el orden para la funcion c para ser calificada como complemento, debe satisfacer por lo menos dos requisitos:
Axioma c1. c(0) = 1 y c(1) = 0 (condicion de lmite)
Axioma c2. Para todo a y b [0, 1], si a < b, entonces c(a) c(b) (condicion de no incremento).
Donde a y b denotan funciones de pertenencia en muchos conjuntos difusos, es decir, a = A (x) y
b = B (x).
El axioma c1 muestra que si un elemento pertenece a un conjunto difuso de grado cero (uno), entonces el
pertenece al complemento de este conjunto difuso de grado uno (cero). El axioma c2 requiere incrementar
el valor de la funcion de pertenencia debe resultar decreciente o sin cambio en el valor de la funcion
de pertenencia para el complemento. Claramente la violacion de estos dos requerimientos resulta en un
operador no aceptable para el complemento.
M.Sc. Ricardo Rodrguez Bustinza

3.2 Union Difusa - La Norma S 3 EXTENSIONES DE OPERACIONES EN CONJUNTO DIFUSOS

3.2. Union Difusa - La Norma S

Sea s : [0, 1] [0, 1] [0, 1] un mapeo tal que transforma la funcion de pertenencia de los conjuntos
difusos A y B en la funcion de pertenencia de la union de A y B, es dado por:
s[A (x), B (x)] = AB (x)

(22)

En el caso de (16), s[A (x), B (x)] = max[A (x), B (x)]. En el orden para la funcion s para ser calificada
como la union, debe satisfacer por lo menos cuatro requisitos:
Axioma s1. s(1, 1) = 1, s(0, a) = s(a, 0) = a (condicion de lmite)
Axioma s2. s(a, b) = s(b, a) (condicion conmutativa)
Axioma s3. Si a a y b b , entonces s(a, b) s(a , b ) (condicion no decreciente)
Axioma s4. s(s(a, b), c) = s(a, s(b, c)) (condicion asociativa)
El axioma s1 indica que la funcion union debe estar en los casos extremos. El axioma s2 asegura que
el orden en que los conjuntos difusos se combinan no tiene la influencia en el resultado. El axioma
s3 muestra un requerimiento natural para la union: un incremento en los valores de las funciones de
pertenencia en dos conjuntos difusos puede resultar un incremento en los valores de las funciones de
pertenencia de la union de dos conjuntos difusos. El axioma s4 muestra el uso extendido de la operacion
union para mas de dos conjuntos difusos.

Definicion
Cualquier funcion s : [0, 1] [0, 1] [0, 1] que satisface los axiomas s1-s4 son llamados una norma-s.
Listamos algunas de ellas:
1. Suma Drastica:

b=0
a si
b si
a=0
ssd (a, b) =

1 otro caso

(23)

2. Suma de Lukasiewicz:
ssl (a, b) = min{1, a + b}

(24)

3. Suma de Einstein:
sse (a, b) =

a+b
1 + ab

(25)

4. Suma Algebraica:
ssa (a, b) = a + b ab

(26)

sm (a, b) = max{a, b}

(27)

5. Maximo:

M.Sc. Ricardo Rodrguez Bustinza

10

3.3 Union Difusa - La Norma T3 EXTENSIONES DE OPERACIONES EN CONJUNTO DIFUSOS

Por que tantas normas-s se propusieron en la literatura?. La razon teorica es que ellos se ponen identicos cuando los valores de la pertenencia se restringen a poner cero o uno; es decir, ellos son todas las
extensiones del conjunto union no difusa. La razon practica es que algunas normas-s pueden ser mas
significantes que otras en algunas aplicaciones.

Teorema
Para algunas normas-s, esto es, para una funcion s : [0, 1] [0, 1] [0, 1] que satisface los axiomas s1-s4,
se sostiene la siguiente desigualdad:
max(a, b) s(a, b) ssd (a, b)

(28)

para todo a, b [0, 1].

3.3. Union Difusa - La Norma T

Sea t : [0, 1] [0, 1] [0, 1] es una funcion que transforma la funcion de pertenencia de los conjuntos
difusos A y B en la funcion de pertenencia de la interseccion de A y B, es dado por:
t[A (x), B (x)] = AB (x)

(29)

En el caso de (17), t[A (x), B (x)] = min[A (x), B (x)]. En el orden para la funcion t para ser calificada
como la interseccion, debe satisfacer por lo menos cuatro requisitos:
Axioma t1. t(0, 0) = 0, t(a, 1) = t(1, 0) = a (condicion de lmite)
Axioma t2. t(a, b) = t(b, a) (condicion conmutativa)
Axioma t3. Si a a y b b , entonces t(a, b) t(a , b ) (condicion no decreciente)
Axioma t4. t(t(a, b), c) = t(a,t(b, c)) (condicion asociativa)
Estos axiomas deben de justificarse de la misma manera que los Axiomas s1-s4.

Definicion
Cualquier funcion t : [0, 1] [0, 1] [0, 1] que satisface los axiomas t1-t4 son llamados una norma-t.
Listamos algunas de ellas:
1. Producto Drastico:

b=1
a si
b si
a=1
t pd (a, b) =

0 otro caso

(30)

2. Diferencia de Lukasiewicz:
tdl (a, b) = max{0, a + b 1}

(31)

3. Producto de Einstein:
t pe (a, b) =

M.Sc. Ricardo Rodrguez Bustinza

ab
2 (a + b ab)

(32)

11

3.3 Union Difusa - La Norma T3 EXTENSIONES DE OPERACIONES EN CONJUNTO DIFUSOS

4. Producto Algebraico:
t pa (a, b) = ab

(33)

tm (a, b) = min{a, b}

(34)

5. Mnimo:

Teorema
Para algunas normas-t, esto es, para una funcion t : [0, 1] [0, 1] [0, 1] que satisface los axiomas t1-t4,
se sostiene la siguiente desigualdad:
t pd (a, b) t(a, b) min(a, b)

(35)

Para todo a, b [0, 1].

Ejemplo 7
Sea la norma-t Lukasiewicz t(a,b)=max{a+b-1,0}, a, b U = {2, 1, 0, 1, 2, 3, 4} y sean los
conjuntos difusos:
0.0 0.3 0.6 1.0 0.6 0.3 0.0
+
+
+
+
+
+
2 1
0
1
2
3
4
0.1 0.3 0.9 1.0 1.0 0.3 0.2
B=
+
+
+
+
+
+
2 1
0
1
2
3
4
Entonces la interseccion de A y B toma la siguiente forma:
A=

0.0 0.0 0.5 1.0 0.6 0.0 0.2

+
+
+
+
+
+
2 1
0
1
2
3
4
Aplicamos la operacion de la norma-t para el tercer termino:
AB =

max{0.6 + 0.9 1, 0} = max{0.5, 0} = 0.5

En forma analoga encontramos la pertenencia para los demas elementos de la interseccion.
Sea la norma-s de Lukasiewicz s(a,b)=min{a+b,1}, a, b U = {2, 1, 0, 1, 2, 3, 4} y sean los
conjuntos difusos A y B.
Entonces la union de A y B toma la siguiente forma:
0.1 0.6 1.0 1.0 1.0 0.6 0.2
+
+
+
+
+
+
2 1
0
1
2
3
4
Aplicamos la operacion de la norma-s para el segundo termino:
AB =

0.6 = min{0.3 + 0.3, 1} = min{0.6, 1}

M.Sc. Ricardo Rodrguez Bustinza

12