FUNCIN DE PERTENENCIA

Es aquella aplicacin que asocia a cada elemento de un conjunto difuso el

grado con que pertenece al valor lingstico asociado. Los conjuntos difusos son
caracterizados por sus funciones de pertenencia.

Figura 1: Funcin de Pertenencia
Aunque en principio cualquier funcin sera vlida para definir conjuntos
difusos, en la prctica hay ciertas funciones tpicas que siempre se suelen usar, tanto
por la facilidad de computacin que su uso conlleva como por su estructura lgica para
definir su valor lingstico asociado.

Figura 2: Funciones L, Gamma, Lambda, PI
Las funciones "L" y "GAMMA" se usan para calificar valores lingsticos
extremos. Su ventaja es que la funcin se extiende al infinito.
Las funciones "PI" y "LAMBDA" se usan para describir valores intermedios. Su
diferencia reside en que la funcin "PI" implica un margen de tolerancia alrededor del
valor que se toma como ms representativo del valor lingstico asociado al conjunto
difuso.
1
Tomando como entradas a estos conjuntos de valores la salidas sern grados
de pertenencias a los conjuntos difusos considerados.
Luego, con los grados de pertenencia de las entradas a cada conjunto difuso,
se relacionan los conjuntos difusos de entrada y de salida, mediante los mecanismos
de inferencia que se describirn ms adelante, y que representa a las reglas que
definen el sistema. Las entradas a este bloque son conjuntos difusos (grados de
pertenencia) y las salidas son tambin conjuntos difusos, asociados a la variable de
salida. Por ltimo, la desfusificacin, en la cual a partir del conjunto difuso obtenido en
el mecanismo de inferencia y mediante los mtodos matemticos de desfusificacin,
se obtiene un valor concreto de la variable de salida, es decir, el resultado.

Fusificacin. Conjuntos Difusos y Funciones de Pertenencia

Como ya se mencion anteriormente, la fusificacin es la primera etapa de un
sistema difuso. Para ello, el universo de discurso (U) de cada entrada (o dominio de
cada entrada si se ve como una funcin matemtica) se divide en conjuntos difusos.
Un ejemplo para ilustrar el concepto de conjunto difuso puede ser un conjunto de
hombres ricos, de acuerdo a la lgica clsica, para pertenecer a este grupo de
hombres ricos se debe tener una cierta cantidad de dinero, fijmoslo en 10.000.000 de
dlares. As, si un hombre tiene los $ 10.000.000 exactos, puede pertenecer a dicho
Club, pero si olvido pagar una cuenta de tan solo un dlar, pasa a tener $ 9.999.999 y
quedara expulsado del Club, solo por un dlar!!!. Sin duda que no nos parece lgico, y
mucho menos al infortunado hombre al ser echado del Club, tal como si fuera un
mendigo, a pesar de tener ms de nueve millones. El enfoque de la lgica difusa
considera que el conjunto hombres ricos es un conjunto que no tiene una frontera
clara para pertenecer o no pertenecer a l, mediante una funcin que define la
transicin de rico a pobre se asigna a cada capital un grado de pertenencia al
conjunto, entre 0 y 1. As por ejemplo, un hombre que tenga 9 millones podra
pertenecer al conjunto difuso hombres ricos con un grado 0.9 de pertenencia, uno
que tenga solo un milln con un grado 0.1. Visto desde esta perspectiva se puede
considerar que la lgica clsica es un caso lmite de la lgica difusa. De esta manera,
los conjuntos difusos pueden ser considerados como una generalizacin de los
conjuntos clsicos [8], la teora clsica de conjuntos slo contempla la pertenencia o
no pertenencia de un elemento a un conjunto, sin embargo la teora de conjuntos
difusos contempla la pertenencia parcial de un elemento a un conjunto, es decir, cada
elemento presenta un grado de pertenencia a un conjunto difuso que puede tomar
cualquier valor entre 0 y 1. Este grado de pertenencia se define mediante una funcin
2
caracterstica, llamada funcin de pertenencia, asociada al conjunto difuso: para cada
valor que pueda tomar un elemento o variable de entrada x la funcin de pertenencia
A(x) proporciona el grado de pertenencia de este valor de x al conjunto difuso A


Lgica clsica versus lgica difusa

Muchos conceptos de teora clsica de conjuntos se pueden hacer extensivos a
los conjuntos difusos, otros son exclusivos e inherentes a la teora de conjuntos
difusos.
La funcin de pertenencia proporciona una medida del grado de pertenencia de
un elemento de U con el conjunto difuso. La forma de la funcin de pertenencia
utilizada, depende del criterio aplicado en la resolucin de cada problema. La nica
condicin que debe cumplir una funcin de pertenencia es que tome valores entre 0 y
1, y estar definida en todo el rango de U. Las funciones de pertenencia ms
comnmente utilizadas por su simplicidad matemtica y su manejabilidad son:
triangular, trapezoidal, gausiana, sigmoidal, gamma, pi, campana, L, etc..
Conceptualmente existen dos aproximaciones para determinar la funcin de
pertenencia asociada a un conjunto: la primera aproximacin est basada en el
conocimiento humano de los expertos, y la segunda aproximacin es utilizar una
coleccin de datos para disear la funcin.
El nmero de funciones de pertenencia asociadas a una misma variable es
elegido por el experto: a mayor nmero de funciones tendremos mayor resolucin pero
tambin mayor complejidad computacional; adems estas funciones pueden estar
solapadas o no, el hecho de estar solapadas pone de manifiesto un aspecto clave de
3
la lgica difusa: una variable puede pertenecer con diferentes grados a varios
conjuntos difusos a la vez , es decir, el vaso puede estar medio lleno y medio vaco a
la vez.
Las operaciones bsicas entre conjuntos difusos son las siguientes:

Estas tres operaciones definidas para conjuntos difusos cumplen, al igual que en la
teora clsica de conjuntos, asociatividad, conmutatividad y distributividad as como las
leyes de Morgan. Tambin hay que destacar que existen dos leyes fundamentales de
la teora clsica de conjuntos, el Principio de contradiccin [9]: U A A = , y el
Principio de exclusin: = A A , que no se cumplen en la teora de conjuntos
difusos.
De lo anterior, se puede diferenciar la teora clsica de conjuntos de la teora difusa,
explicando que estas dos leyes en trminos de lgica difusa no se cumplen. En
consecuencia, algunas de las teoras derivadas de la teora de conjuntos como por
ejemplo la de la probabilidad ser planteada muy diferente en trminos difusos. Las
funciones que definen la unin y la interseccin de conjuntos difusos pueden
generalizarse, a condicin de cumplir ciertas restricciones. Las funciones que cumplen
estas condiciones se conocen como Conorma Triangular (T-Conorma) y Norma
Triangular (T-Norma). Los principales operadores que cumplen las condiciones para
ser t-conormas son el operador mximo y la suma algebraica
y los principales operadores que cumplen las
condiciones para ser t-normas son el operador mnimo y el producto algebraico

Mecanismos de Inferencia Difusa. Base de Reglas
4
Los mecanismos de inferencia son aquellos en los que se realiza un mapeo de los
conjuntos difusos de entrada hacia los conjuntos difusos de salida[11]. Esto se realiza
a travs de la base de reglas difusas. Cada regla es interpretada como una implicacin
difusa. Es decir, el mecanismo inferencia es aquel en el cual se realiza la
interpretacin matemtica de las reglas difusas. Una regla difusa base es un conjunto
de reglas SI-ENTONCES que pueden ser expresadas de la siguiente forma:


5