3.

Funciones de pertenencia
La funcin de pertenencia de un conjunto nos indica el grado en que cada
elemento de un universo dado, pertenece a dicho conjunto. Es decir, la funcin de
pertenencia de un conjunto A sobre un universo X ser de la forma: A:X [0,1],
donde A (x) = r si r es el grado en que x pertenece a A.
Si el conjunto es ntido, su funcin de pertenencia (funcin caracterstica) tomar
los valores en {0,1}, mientras que si es borroso, los tomar en el intervalo [0,1]. Si
A(x) = 0 el elemento no pertenece al conjunto, si A(x) = 1 el elemento s pertenece
totalmente al conjunto.
Las funciones de pertenencia son una forma de representar grficamente un
conjunto borroso sobre un universo.

La funcin caracterstica del conjunto de los elementos que verifican un predicado

clsico est perfectamente determinada. No ocurre lo mismo cuando se intenta obtener
la funcin de pertenencia de un conjunto formado por los elementos que verifican un
predicado borroso. Dicha funcin depender del contexto (o universo) en el que se
trabaje, del experto, del usuario, de la aplicacin a construir, etc.
A la hora de determinar una funcin de pertenencia, normalmente se eligen
funciones sencillas, para que los clculos no sean complicados. En particular, en
aplicaciones en distintos entornos, son muy utilizadas las triangulares y las
trapezoidales:

Funcin Triangular
Definida mediante el lmite inferior a, el superior b y el valor modal m, tal
que a<m<b. La funcin no tiene porqu ser simtrica.

Si lo desea puede dibujar funciones triangulares con diferentes

parmetros.

Funcin Trapezoidal
Definida por sus lmites inferior a, superior d, y los lmites de soporte
inferior b y
superior c,
tal
que a<b<c<d.
En este caso, si los valores de b y c son iguales, se obtiene una funcin
triangular.

Casos especiales de estas funciones trapezoidales son aqullas en las que

algunos parmetros toman valores no finitos:
o Funciones Trapezoidales con parmetros a = b = -

o Funciones Trapezoidales que tienen los parmetros c = d = +

Puede dibujar funciones trapezoidales con diferentes parmetros.

Adems de las funciones de tipo lineal anteriormente expuestas, tambin se usan

las siguientes:

Funcin Gamma
Definida
por
su
lmite
inferior a y
el
valor k>0.
Esta funcin se caracteriza por un rpido crecimiento a partir de a; cuanto mayor
es el valor de k, el crecimiento es ms rpido.
Nunca toma el valor A (x) = 1, aunque tienen una asntota horizontal en
dicho valor.

Ejemplo
Cuando los valores de los parmetros son a = 5 y k = 3, se obtienen las
siguientes funciones:

Funcin Sigmoidal
Definida por sus lmites inferior a, superior b y el valor m o punto de inflexin,
tales
que a<m<b.
El crecimiento es ms lento cuanto mayor sea la distancia a-b. Para el caso
concreto de m=(a+b)/2, que es lo usual, se obtiene la siguiente grfica.

Ejemplo
Cuanto se toma el valor de a = 3, el valor de b = 10 y m = (3+10)/2 = 6.5 se
obtiene la siguiente grfica:

Funcin Gaussiana
Definida
por
su
valor
medio m y
el
parmetro k>0.
Esta funcin es la tpica campana de Gauss y cuanto mayor es el valor de k, ms
estrecha es dicha campana.

Ejemplo
Para los valores k = 5 y m = 3:

Si lo desea puede dibujar funciones gaussianas. Al modificar los

parmetros se puede observar la variacin de la grfica.

Funcin Pseudo-Exponencial
Definida
por
el
valor
medio m y
el
parmetro k>1.
Cuanto mayor es el valor de k, el crecimiento es ms rpido y la campana es
ms estrecha.

Ejemplo
Para los valores de k = 4 y m = 7 se obtiene:

Puede dibujar
parmetros.

funciones

pseudo-exponenciales modificando

los