Teoría de la lógica difusa

Introducción

Como se menciono anteriormente el universo de discurso (universe of discourse) es

toda la información posible de un problema dado. Y se define se pueden definir ciertos
eventos dentro del universo de información. X representa al universo de discurso en la
figura 1, A es el conjunto o evento de interés definido dentro del universo. Como se ve
la diferencia entre un conjunto clásico (crisp set) y un conjunto difuso (fuzzy set) es su
frontera. En el primer caso esta definida completamente y los elementos del universo,
pertenencen o no al conjunto A. Sin embargo en el conjunto difuso, existe una frontera
que no esta completamente definida, pero sabemos que los elementos del conjunto,
entre más se acerquen al centro del conjunto es mayor su membresía. Si proponemos un
valor de membresía de 1 para los que pertenecen y un 0 para los que no pertenecen,
entonces los elementos dentro de la frontera tendrán que tener un valor entre este rango
[0,1]

X X
A A
a a
c
b b

Fig. 1. Izquierda, conjunto certero y derecha conjunto difuso.

Teoría de conjuntos

La teoría de conjuntos clásica, se puede aplicar a los conjuntos difusos y los preceptos,
axiomas y operaciones se pueden aplicar, de hecho se considera a los conjuntos certeros
como un caso especial de los conjuntos difusos.

Sea X el universo de discurso, definido como una colección de objetos que tienen las
mismas características, cada elemento del universo le denominaremos x, donde x puede
ser discreto, continuo, entero o real y se pueden representar en una línea real. Si
pensamos en problemas de ingeniería, se puede deducir que normalmente son numeros
reales dentro de un rango finito y positivo.

Por lo tanto, recordemos un poco sobre esa teoría.

Ver diapositivas 1 a 6 de “Tema 1: Fundamentos de la lógica difusa”

Una definición útil dentro de la teoría de conjuntos es el numero cardinal, definido
como el numero total de elementos en el universo por lo cual se denota como nx, Si el
conjunto es discreto y limitado, se tendrá un valor definido para nx,, pero si X es
infinito entonces nx será infinito también. Los conjuntos vacios son eventos
imposibles, y los conjuntos que contienen todos los datos son eventos completamente
certeros. Todos los conjuntos posibles dentro de un universo se denomina conjunto
potencia P(X).
Ejemplo: si X={a,b} entonces los conjuntos posibles son:
P(X)={∅,{a},{b},{a,b}} y entonces nP(X)=22=4
Operaciones en los conjuntos clásicos
Las principales operaciones son:
• Unión
• Intersección
• Complemento
• Diferencia

Las principales propiedades de los conjuntos son:

• Conmutativa
• Asociativa
• Distributiva
• Idem potencia
• Identidad
• Transitividad
• Involutiva
• Ley de la mitad excluida
• Ley de la contradicción
• Leyes de Morgan generalizadas.
Las definiciones de estas propiedades pueden ser analizadas en las diapositivas [2] y
profundizar en [1] páginas 20 a la 24.

Mapeo de los conjuntos certeros

Si consideramos un universo como una línea, entonces la interacción de dos universos,

sería similar a un par de ejes [X,Y]
Entonces si un elemento x de X, corresponde aun elemento de Y y lo denominamos y,
entonces se puede mapear de X a Y, es decir f : X→Y

En un mapeo, la función característica o indicadora es

χA(x) = { 1 si x∈ A y 0 si x∉A

La función expresa la membresía de un elemento a un conjunto en el universo X,

χ χ
A A
1 1

0 0
x x
Fig. 2. Función de membresía para conjunto certero (izquierda) y conjunto difuso (derecha).

Para cada conjunto A definido en X, existe un conjunto teórico que genera una función
denominada conjunto valor V(A). Por convención, al conjunto vació se le asigna
V(χA(x))=0 y al conjunto universo, se le define como χA(x)=1.
 χ χ
A A
1 1

0 0
x x

Fig. 3. Definición de V(A) para conjuntos certeros (izquierda) y para conjuntos difusos (derecha).

Ejemplo:
Sea X={a,b,c} y Y={0,1} entonces P(X)={∅,{a},{b},{c},{a,b},{a,c},{b,c}, {a,b,c}};
Entonces su conjunto valor para el mapeo del P(X) sería:
V{P(X)}= {{0,0,0},{1,0,0},{0,1,0},{0,0,1},{1,1,0},{0,1,1},{1,0,1},{1,1,1}}

Lo que nos genera un mapeo de todos los posibles valores del conjunto y sus grados de
membresía.
Chequemos el primer caso.
La función de membresía del conjunto vacio (∅) en el conjunto es 0, porque existen
valores en X.
La función del subconjunto {a}, es {1,0,0} porque ahí solo existe a.
La función del subconjunto {a,b,c} es {1,1,1} porque es lo máximo que se puede
proponer para las funciones de membresía y están todos los elementos. Esto se puede
representar como un cubo donde se encuentran todos los posibles valores de membresía
de la combinación de todos los valores del universo.

Operaciones entre conjuntos, utilizando funciones de membresía

Si tenemos dos conjuntos A y B en el universo X, entonces la unión de estos dos

elementos en términos de la función teórica del universo se da de la siguiente forma:

Unión
AUB →χAUB(x) = χA(x) V χB(x)= max(χA(x),χB(x))

La intersección
A∩B →χA∩UB(x) = χA(x) Λ χB(x)= min(χA(x),χB(x))

Complemento

Ā→χĀ(x) = 1-χA(x)

Contenido
Si A⊆B →χA(x)≤ χB(x)

Diferencia
A|B →min(χA(x),χB(x))
Estos conceptos los podemos ver gráficamente en las diapositivas 9 a 12 [2].

Conjuntos difusos como funciones

Como se vio en los conjuntos certeros la función de membresía pretende describir la

transición en las fronteras, a través de una función, con cambios abruptos.
Por lo que en un conjunto difuso, tendremos que proponer una función que permita
describir los cambios graduales de la frontera a través de una función.
Por lo cual un conjunto difuso lo describe tanto su valor en X, como el grado de
membresía de ese valor en el conjunto difuso (Fig. 2, derecha).

Entonces se usara la siguiente nomenclatura:

A={χA(x1)/x1 + χA(x2)/x2 + χA(x3)/x3 +…}= {∑χA(xi)/xi}

Consideraciones para la definición de las funciones de membresía asociadas a cada

variable.
Un conjunto difuso es aquel donde el cambio de pertenencia a no
Pertenencia o viceversa es gradual.
2. Un conjunto difuso debe ser continuo y monotónicamente creciente o decreciente.
3. Un conjunto difuso puede pasar de no pertenencia a pertenencia y de nuevo a no
pertenencia, pero, una vez que decae, no puede volver a adquirir valores numéricos
mayores al anterior.
4. Al menos un elemento del conjunto difuso debe tener el mayor
grado de pertenencia posible (uno).
5. El conjunto difuso debe estar definido en todo el universo

Ejercicio o tarea
Proponer las funciones teóricas asociadas a los conjuntos de las variables de estatura
alta y baja, con los rangos propuestos en el ejercicio anterior.

[1] Ross,Timothy, “Fuzzy logic with engineering aplication”, chapter 2, pag. 17-45.
[2] González, Yesenia, “Tema 1: Fundamentos de la Lógica difusa”, presentado en el
curso intersemestral, “Principios de los sistemas Neurodifusos”, Julio, 2010.