LOGICA DIFUSA Y CONTROL DIFUSO (FUZZY)

Introduccin
La lgica difusa (Fuzzy Logic) ha surgido como una herramienta lucrativa para el control de subsistemas y procesos industriales complejos, as como tambin para la electrnica de entretenimiento y hogar, sistemas de diagnstico y otros sistemas expertos. Aunque la lgica difusa se invent en Estados Unidos el crecimiento rpido de esta tecnologa ha comenzado desde Japn y ahora nuevamente ha alcanzado USA y tambin Europa. La lgica difusa es todava un boom en Japn, el nmero de cartas patentando aplicaciones aumenta exponencialmente. Principalmente se trata de aplicaciones ms bien simples de lgica difusa. Lo difuso ha llegado a ser una palabra clave para vender. Los artculos electrnicos sin componentes difusos se estn quedando gradualmente desfasados. Como una mordaza, que muestra la popularidad de la lgica difusa, cada vez es ms frecuente un sello con "fuzzy logic" impreso sobre el producto. En Japn la investigacin sobre lgica difusa es apoyada ampliamente con un presupuesto enorme. En Europa y USA se estn realizando esfuerzos para alcanzar al tremendo xito japons. Por ejemplo, la NASA emplea lgica difusa para el complejo proceso de maniobras de acoplamiento. La lgica difusa es bsicamente una lgica multivaluada que permite valores intermedios para poder definir evaluaciones convencionales como s/no, verdadero/falso, negro/blanco, etc. Las nociones como "ms bien caliente" o "poco fro" pueden formularse matemticamente y ser procesados por computadoras. De esta forma se ha realizado un intento de aplicar una forma ms humana de pensar en la programacin de computadoras. La lgica difusa se inici en 1965 por Lotfi A. Zadeh, profesor de ciencia de computadoras en la Universidad de California en Berkeley.

Qu es un conjunto difuso?
La nocin ms elemental de sistemas difusos es un subconjunto difuso. Veamos un ejemplo: En primer lugar consideramos un conjunto X con todos los nmeros reales entre 0 y 10 que nosotros llamamos el universo de discurso. Ahora, definimos un subconjunto A de X con todos nmeros reales en el rango entre 5 y 8.

A = [5,8]
Ahora mostramos el conjunto A por su funcin caracterstica, es decir esta funcin asigna un nmero 1 o 0 al elemento en X, dependiendo de si el elemento est en el subconjunto A o no. Esto conlleva a la figura siguiente, nosotros podemos interpretar los elementos que han asignado el nmero 1 como los elementos que estn en el conjunto A y los elementos que han asignado el nmero 0 como los elementos que no estn en el conjunto A.

Este concepto es suficiente para muchas reas de aplicacin. Pero podemos encontrar fcilmente

situaciones donde carece de flexibilidad. Para comprender este concepto veamos un ejemplo: Queremos describir el conjunto de gente joven. Ms formalmente podemos denotar

B = {conjunto de gente joven}

Como - en general - la edad comienza en 0, el rango ms inferior de este conjunto est claro. El rango superior, por otra parte, es ms bien complicado de definir. Como un primer intento colocamos el rango superior en 20 aos. Por lo tanto nosotros definimos B como un intervalo denominado:

B = [0,20]
Ahora la pregunta es por qu alguien es en su 20 cumpleaos joven y al da siguiente no? Obviamente, este es un problema estructural, porque si movemos el lmite superior del rango desde 20 a un punto arbitrario podemos plantear la misma pregunta. Una manera ms natural de construir el conjunto B estara en suavizar la separacin estricta entre el joven y el no joven. Nosotros haremos esto para permitir no solamente la (crispada) decisin "l/ella SI est en el conjunto de gente joven" o "l/ella NO est en el conjunto de gente joven", sino tambin las frases ms flexibles como "l/ella SI pertenece un poquito ms al conjunto de gente joven" o "l/ella NO pertenece aproximadamente al conjunto de gente joven". Pasamos a continuacin a mostrar como un conjunto difuso nos permite definir una nocin como "l/ella es un poco joven". Tal y como constatamos en la introduccin podemos usar conjuntos difusos para hacer computadoras ms sabias, y ahora tenemos que codificar la idea ms formalmente. En nuestro ejemplo primero codificamos todos los elementos del Universo de Discurso con 0 o 1. Una manera de generalizar este concepto est en permitir ms valores entre 0 y 1. De hecho, nosotros permitimos infinitas alternativas entre 0 y 1, denominando el intervalo de unidad Yo = [0, 1]. La interpretacin de los nmeros ahora asignados a todos los elementos del Universo de Discurso es algo ms difcil. Por supuesto, el nmero 1 asignado a un elemento significa que el elemento est en el conjunto B y 0 significa que el elemento no est definitivamente en el conjunto el B. El resto de valores significan una pertenencia gradual al conjunto B. Para ser ms concretos mostramos ahora grficamente el conjunto de gente joven de forma similar a nuestro primer ejemplo por su funcin caracterstica.

De esta forma unos 25 aos de edad todava sera joven al grado de 50 por ciento. Ahora sabemos qu es un conjunto difuso. Pero qu se puede hacer con l?

Operaciones con conjuntos difusos

Ahora que tenemos una idea de lo que son conjuntos difusos, podemos introducir las operaciones bsicas sobre conjuntos difusos. Parecido a las operaciones sobre conjuntos booleanos nosotros tambin podemos interseccionar, unificar y negar conjuntos difusos. En su primersimo artculo sobre conjuntos difusos, L. A. Zadeh sugiri el operador mnimo para la interseccin y el operador mximo para la unin de dos conjuntos difusos. Es fcil ver que estos operadores coinciden con la unificacin booleana, e interseccin si nosotros nicamente consideramos los grados miembros 0 y 1. A fin de aclarar esto, mostraremos varios ejemplos. Sea A un intervalo difuso entre 5 y 8 (color rojo), y B un conjunto difuso en torno a 4 (color verde). Las figuras correspondientes se muestran a continuacin.

La operacin AND (Y) del conjunto difuso A y el conjunto difuso B (el resultado es la lnea azul).

La operacin OR (O) del conjunto difuso A con el conjunto difuso B se muestra en la prxima figura

(nuevamente, el resultado es la lnea azul).

Esta figura da un ejemplo para una negacin. La lnea azul es la NEGACION del conjunto difuso A.

Definiciones
Interseccin de Conjuntos: Un nuevo conjunto generado desde dos conjuntos determinados A y B, interseccin de A y B, si el nuevo conjunto contiene exactamente esos elementos que estn contenidos en A y en B. Unificacin de Conjuntos: Un nuevo conjunto generado desde dos conjuntos determinados A y B, unificacin de A y B, si el nuevo conjunto contiene todos los elementos que se contienen en A o en B o en ambos.

Negacin de Conjuntos: Un nuevo conjunto que conteniendo todos los elementos que estn en el universo de discurso pero no en el conjunto A la negacin de A.

Variables lingsticas Un variable lingstica es un quntuple (X,T(X),U,G,M,), donde X es el nombre de la variable, T(X) es el trmino conjunto (es decir, el conjunto de nombres de valores lingsticos de X), U es el universo de discurso, G es la gramtica para generar los nombres y M es un conjunto de reglas semnticas para asociar cada X con su significado.