LGICA DIFUSA

Conjuntos clsicos y conjuntos

difusos.
Operaciones Fundamentales.
Operadores y propiedades de
conjuntos difusos.
Funciones de Membresa.
Variables Lingusticas.
Funciones de Membresa
En la teora de los conjuntos clsicos, se utiliza la
notacin de funcin caracterstica (_
A
), para indicar
cuando un elemento cualquiera pertenece o no a un
conjunto.

El universo de discurso es el universo de toda la
informacin disponible en un problema dado.

Un conjunto difuso es un conjunto que contiene
elementos, los cuales varan su grado de pertenencia en
el conjunto.

El concepto de funcin de membresa en la teora de
los conjuntos difusos, es una medida de la pertenencia
graduada de un elemento en un conjunto difuso.
Funcin de Membresa
Un elemento x de X.

Puede no pertenecer a A: (
A
(x) = 0)

Pertenecer un poco: (
A
(x) = valor cercano a 0)

Pertenecer moderadamente: (
A
(x) = valor no muy
cercano a 0 pero tampoco a 1)

Pertenecer demasiado: (
A
(x) = con un valor muy
cercano a 1)

Pertenecer totalmente a: (
A
(x) = 1)
Se han desarrollado muchas tcnicas para definir la
forma de las funciones de membresa (FM)
utilizando tcnicas estadsticas, redes neuronales
artificiales y algoritmos genticos.

Se debe de tener especial cuidado al disear las
FMs. Aunque se puede definir una FM de forma
arbitraria, se recomienda que se utilicen FM
parametrizables que puedan ser definidas por un
nmero pequeo de parmetros.
Funcin de Membresa
Funcin de Membresa
Para la representacin de los grados de pertenencia de
cada uno de los elementos que conforman el conjunto
difuso, lo ms natural es extraer los datos de los
fenmenos que se va a representar y con ellos definir la
forma de la funcin de membresa.
De otra manera existen metodologas que permiten
asignar grados de membresa a cada uno de los
elementos del conjunto.
Existen funciones de membresa convencionales y no
convencionales que permiten realizar un mapeo de un
universo ntido a un universo difuso.
Entre las convencionales tenemos:
Funcin saturacin

Es la ms sencilla. Tiene un valor 0 hasta cierto punto
y despus crece con pendiente constante hasta
alcanzar el valor de 1, en donde se estaciona.

Este tipo de funciones describe muy bien situaciones
en donde se alcanza un nivel mximo a partir de cierto
punto, por ej. la estatura de las personas o el
rendimiento acadmico de un alumno. Se podra
considerar que una persona es alta con grado de
pertenencia unitario a partir de 1.90 m, o que un
alumno es excelente con grado de pertenencia unitario
a partir de un promedio general de 95.
Funcin saturacin
Funcin hombro

Contraparte de la funcin saturacin. En este tipo de
funciones se inicia en un valor unitario y se desciende
con constante pendiente hasta alcanzar el valor de 0.

Este tipo de funcin es til cuando el grado de
pertenencia es total en valores pequeos y decae
conforme el valor de la variable aumenta; por ejemplo:
el nivel de oxigeno es suficiente; a medida que el
numero de peces aumente, el oxgeno ser mas
limitado hasta que llegue el punto en que no sea
suficiente y los peces mueran.
Funcin hombro
Funcin triangular

Su forma consta de una parte de pendiente positiva
constante hasta alcanzar la unidad, y una vez que lo
ha logrado desciende de manera uniforme.

La funcin triangular es muy adecuada para definir
situaciones en las que se tiene un valor ptimo central,
el cual se va perdiendo conforme uno se aleja de el.
Un ejemplo de esta situacin es la temperatura
corporal, que tiene un valor ptimo de 37 centgrados,
pero que por debajo de 35 o por encima de 39 se
considera peligrosa, es decir, el nivel de pertenencia al
conjunto de temperaturas seguras en el cuerpo
humano es 0.
Funcin triangular
Funcin trapecio

Una generalizacin de la funcin triangular es la funcin
de trapecio o funcin Pi. En el caso de esta funcin de
membresa, no solo se tiene un valor para el cual la
pertenencia es unitaria, sino toda una franja que varia su
ancho dependiendo del fenmeno observado.

La forma de esta funcin es muy utilizada, ya que como
se menciono se emplea cuando hay un rango de valores
ptimos, alrededor de los cuales las condiciones no son
adecuadas. Un buen ejemplo de esto es la iluminacin de
un saln de clases. Existe un rango en el cual la
iluminacin es agradable para las personas, pero por
debajo de dicho rango la luz no es suficiente para leer el
pizarrn, y por encima de l es molesto para la vista de
los estudiantes.
Funcin trapecio
Funcin S o sigmoidal

Finalmente tenemos la funcin S. La forma de esta
funcin es similar a la de saturacin. Sin embargo,
como su nombre lo indica, el segmento de subida no
es una lnea recta, sino una curva de segundo orden,
la cual cambia de concavidad en un punto dado, y una
vez que llega a 1 se mantiene en este valor.

Esta funcin tambin define fenmenos como los
definidos por la funcin de saturacin. La diferencia
principal radica precisamente en que los cambios de
pertenencia a cierto conjunto no son tan drsticos, por
lo que se apega mas a la realidad. La pertenencia a la
clase media basada en el ingreso monetario mensual
es un ejemplo que puede ser definido por esta funcin.
Funcin S o sigmoidal
Funcin de Membresa
Descripcin matemtica de las
funciones de membresa.
Aplicaciones reales de las distintas
funciones de membresa.

Nota:
Las FMs que son diferenciables tienen ciertas ventajas en las
aplicaciones de sistemas neuro-difusos (sistemas que
aprenden funciones de membresa utilizando tcnicas de
aprendizaje de RNA).
Las funciones de membresa Gausianas han sido utilizadas
para dichos sistemas.





Directrices:
1. Siempre utilice FM parametrizables. No defina una funcin de
membresa punto por punto.
2. Utilice una FM triangular o trapezoidal, a menos que haya una
buena razn para hacer lo contrario.
3. Si desea que el sistema aprenda la funcin de membresa utilice
tcnicas de aprendizaje de RNA, escoja una funcin de
membresa diferenciable, como la Gaussiana.


Variable Lingstica
Como un conjunto convencional, un conjunto difuso se
puede utilizar para describir el valor de una variable.
Ejemplo:
El porcentaje de humedad es Bajo

Utiliza el conjunto difuso Bajo para describir la
cantidad de humedad en un da.

Ms formalmente, se expresa como:
Humedad es Baja

La variable humedad en este ejemplo demuestra un
concepto importante en la lgica difusa:
La variable lingstica

Definicin: Son variables cuyos valores se representan
mediante trminos lingsticos. El significado de estos
trminos lingsticos se determina mediante conjuntos
difusos.

Es importante subrayar que un conjunto difuso siempre
se define a partir del contexto de que se trate, aunque
dicho contexto no este explicito en el modelado del
sistema.

Tambin, el contexto de definicin de un trmino
lingstico generalmente es especificado implcitamente
dentro de la aplicacin en la cual es utilizado.


Una variable lingstica se caracteriza mediante
(v, T, X, g, m)

v : es el nombre de la variable
T : es el conjunto de trminos lingsticos de v
X : es el universo de discurso de la variable v
g : es una regla sintctica para generar trminos lingsticos, y
m : es una regla semntica que asigna a cada trmino
lingstico T su significado m(T) que es un conjunto difuso en
X

Ejemplo:

Restricciones
Difusas

Una variable lingstica se puede interpretar tanto
cualitativamente mediante un trmino lingstico
(etiqueta: nombre del conjunto difuso), como
cuantitativamente mediante su correspondiente
funcin de membresa (la cual expresa el
significado del conjunto difuso).

El trmino lingstico es utilizado para expresar
conceptos y conocimiento, mientras la funcin de
membresa se utiliza para procesar el dato
numrico de entrada.
Modificadores Lingsticos: Hedges
Existen muchos descriptores lingsticos como son:
moderado, algo caliente, muy bajo, medio normal, mas o
menos alto, bastante, etc.

Uno de los conceptos importantes en la Lgica Difusa es
que en vez de enumerar todos estos diferentes
descriptores, se pueden generar un conjunto esencial de
trminos lingsticos (llamado: Conjunto Trmino)
utilizando modificadores (por ejemplo: muy, mas o
menos) y conectivas (por ejemplo: y, o).

En Lgica Difusa a dichos modificadores se les
denomina: Hedges
Ejemplo: Variables lingsticas y valores
lingsticos.
Si edad es interpretada como una
variable lingstica, entonces su
conjunto trmino T(edad) puede ser:
( )

,
, , , , , ,
, , ,
, , , , ,
viejo muy no y joven muy no
viejo muy no viejo menos o mas viejo muy viejo no viejo
viejo medio no viejo medio
joven muy no joven muy joven no joven
edad T
Donde cada trmino en T(edad) se caracteriza por
un conjunto difuso de un universo de discurso X =
[0, 100], como se muestra en la siguiente figura.

Prctica N 02