LOGICA DIFUSA, CONCEPTOS BASICOS Y APLICACIONES

Luis C.Tovar Garca1, Julio C.Deavila Pertuz 2, Kenny A.Morelo Tapia3, Robert A. Florez Yunez4 Ingeniero de Sistemas, Universidad de Cartagena, Correo Electrnico: ltovarg@unicartagena.edu.co 2 Estudiante, Universidad de Cartagena, Correo Electrnico: juliodeavila25@hotmail.com 3 Estudiante, Universidad de Cartagena, Correo Electrnico: kamt1128@hotmail.com 4 Estudiante, Universidad de Cartagena, Correo Electrnico: fray256@hotmail.com

Resumen
En este artculo dimos a conocer el concepto, las caractersticas y aplicaciones la lgica difusa. La Lgica difusa surgi debido a la necesidad de solucionar problemas complejos con informacin imprecisa para los cuales la lgica tradicional no era suficiente. Este modelo resulta aplicable al momento de tratar de solucionar problemas de incertidumbre de manera ms "natural" y ms "humana" que la lgica y la teora de conjuntos clsicas. Palabras Claves. Lgica Difusa, Conjuntos Borrosos, Lgica, Conjuntos. Abstract. In this article we presented the concept, characteristics andapplications of fuzzy logic. Fuzzy Logic arose from the need to solvecomplex problems with imprecise information for which thetraditional logic was not enough. This model is applicable at the time of trying to solve problems of uncertainty in a more "natural"and more "human" that logic and classical set theory.

Keywords 1. Fuzzy Logic, Fuzzy Sets, Logic, Sets.

Introduccin. La Lgica Difusa es capaz de resolver problemas relacionados con la incertidumbre de la informacin o del conocimiento, proporcionando un mtodo formal para la expresin del conocimiento en forma entendible y compresible por los humanos, bsicamente eso es lo que la diferencia de otras herramientas en la solucin de problemas, debido a su gran sencillez.

La Lgica Difusa es una herramienta moderna y una de sus aplicaciones ms importantes es el Control de Procesos Industriales. Se sale del tradicional

esquema de control de lazo realimentado y del rgido modo de pensar de los programas de una microcomputadora para comenzar a emplear variables lingsticas muchas veces consideradas imprecisas. An cuando parece ser sinnimo de imprecisin, la Lgica Difusa est basada en una disciplina fuertemente rigurosa que permite describir exactamente un Sistema de Control sin utilizar complicadas expresiones matemticas. A esta nueva rama del Control Automtico es a la que se le llama Inteligencia Artificial o simplemente Control Inteligente, dentro del cual se destaca la Lgica Fuzzy o Difusa el cual es un algoritmo muy utilizado en la actualidad.

Una de las principales metas en control inteligente de procesos industriales es la construccin de sistemas borrosos que controlen con garanta sistemas complejos de alta dimensionalidad, mediante implementaciones generales, robustas y fcilmente entendibles por el usuario.

2. Marco Terico

El trmino "difuso" procede de la palabra inglesa "fuzz". Este trmino significa "confuso, borroso, indefinido o desenfocado"[9]. La principal motivacin de la teora de conjuntos difusos fue la construccin de un marco formal que permitiera el tratamiento y la manipulacin de la incertidumbre presentes en numerosos mbitos del conocimiento humano.

Desde su aparicin en la dcada de los 60's hasta nuestros das, las aplicaciones de la Lgica Difusa se han ido consolidando paulatinamente. El concepto de Lgica Difusa fue concebido por Lofti Zadeh un profesor de la Universidad de California en Berkley, quien inconforme con los conjuntos clsicos que solo

permiten dos opciones, la pertenencia o no de un elemento a dicho conjunto, present una forma de procesar informacin permitiendo pertenencias parciales a unos conjuntos que en contraposicin a los clsicos los denomin Conjuntos Difusos.

Pocos aos despus en 1974, el Britnico Ebrahim Mandani, demuestra la aplicabilidad de la lgica difusa en el campo del control. Desarrolla el primer sistema de control difuso (Fuzzy Control) prctico, la regulacin de un motor de vapor. Las aplicaciones de la lgica difusa en el control no se pudieron ser implementadas con anterioridad a estos aos debido a la poca capacidad de cmputo de los procesadores de esa poca. Despus varios aos comenzaron a nacer nuevas aplicaciones en soluciones a problemas de control industrial, en prediccin de series de tiempo, como metodologas de archivo y bsqueda de Bases de Datos, en Investigacin Operacional, en estrategias de mantenimiento predictivo y en otros campos ms.

La Lgica Difusa es una rama de la inteligencia artificial que se funda en el concepto Todo es cuestin de grado, lo cual permite manejar informacin vaga o de difcil especificacin si quisiramos hacer cambiar con esta informacin el funcionamiento o el estado de un sistema especfico. En cierto nivel, puede ser vista como un lenguaje que permite trasladar sentencias sofisticadas en lenguaje natural a un lenguaje matemtico formal. Con la Lgica Difusa, es entonces posible gobernar un sistema por medio de reglas de sentido comn, las cuales se refieren a cantidades indefinidas. Establecen una frontera gradual entre la no-pertenencia y la pertenencia, y por tanto conforman una herramienta para el modelado de la imprecisin o la incertidumbre [10].

La Lgica Difusa es esencialmente una metodologa que proporciona una manera simple y elegante de obtener una conclusin a partir de informacin de entrada vaga, ambigua, imprecisa, con ruido o incompleta, en general la lgica difusa imita como un persona toma decisiones basada en informacin con las caractersticas mencionadas. Una de las ventajas de la lgica difusa es la posibilidad de implementar sistemas basados en ella tanto en hardware como en software o en combinacin de ambos.

La lgica tradicional de las computadoras opera con ecuaciones muy precisas y dos respuestas: si o no, uno o cero. Ahora, para aplicaciones digitales muy mal definidas o sistemas vagos se emplea la Lgica Difusa, donde las proposiciones pueden ser representadas con grados de certeza o falsedad.

Por ejemplo, la sentencia "hoy es un da soleado", puede ser 100% verdad si no hay nubes, 80% verdad si hay pocas nubes, 50% verdad si existe neblina y 0% si llueve todo el da [7].

Por medio de la Lgica Difusa pueden formularse matemticamente nociones como: un poco caliente o muy fro, para que sean procesadas por computadoras y cuantificar expresiones humanas vagas, tales como "Muy alto" o "luz brillante". De esa forma, es un intento de aplicar la forma de pensar humana a la programacin digital permitiendo cuantificar aquellas descripciones imprecisas que se usan en el lenguaje y las transiciones graduales.

La Lgica Difusa trata de crear aproximaciones matemticas en la resolucin de ciertos tipos de problemas. Pretende producir resultados exactos a partir de datos imprecisos, por lo cual es particularmente til en aplicaciones electrnicas o

computacionales. Est definida como un sistema matemtico que modela funciones no lineales, que convierte unas entradas en salidas acordes con los planteamientos lgicos que usa el razonamiento aproximado [11].

La Lgica Difusa ha cobrado fama por la variedad de sus aplicaciones. En general se aplica tanto a sistemas de control de complejos procesos industriales como para modelar cualquier sistema continuo de ingeniera, fsica, biologa o economa [7].

Conceptos bsicos de la Lgica Difusa Un universo es una coleccin de objetos de los que se hablar en una lgica especfica. Por ejemplo, el universo de los nmeros naturales o el universo de las edades.

Un conjunto en el universo es, desde un punto de vista intuitivo, una coleccin de objetos tal que sea posible decidir cundo un objeto del universo est o no en esa coleccin. Abstrayendo la nocin de conjunto, se puede considerar que un conjunto es exactamente una funcin del universo en el conjunto de valores 0,1 que asocia precisamente el valor 1 a los objetos que estn en el conjunto y el valor 0 a los que no [11].

Desde el punto de vista de la teora clsica de conjuntos se establece que los distintos elementos de un universo pueden pertenecer a un conjunto o no, siempre y cuando satisfagan o no una determinada propiedad, por ejemplo, el conjunto de los nmeros pares est formado por los nmeros que son divisibles por dos.

De esta manera, si consideramos el universo de los nmeros naturales positivos U={1, 2, 3, 4, 5,} podramos decir que 3 pertenece al conjunto de los nmeros impares, mientras que 8 no. Igualmente, 9 pertenece al conjunto de los nmeros mayores que 5, mientras que 3 no [10].

Este concepto es suficiente en muchas reas de aplicacin, pero fcilmente se puede encontrar situaciones donde se necesita ms flexibilidad. La mayora de los fenmenos que encontramos cada da son imprecisos, es decir, tienen implcito un cierto grado de difusidad en la descripcin de su naturaleza. Esta imprecisin puede estar asociada con su forma, posicin, momento, color, textura, o incluso en la semntica que describe lo que son.

Es decir que realmente no se puede tener una definicin exacta de cundo un valor de temperatura pasa del conjunto fro a caliente.

Este tipo de proposiciones forman parte de nuestras relaciones cotidianas, sin embargo, son incompatibles con el modelado tradicional de sistemas de informacin. Si se pudieran incorporar estos conceptos se lograra que los sistemas sean potentes y se aproximen ms a la realidad [7].

Los conjuntos clsicos se definen mediante un predicado que da lugar a una clara divisin del Universo de Discurso X en los valores "Verdadero" y "Falso". Sin embargo, el razonamiento humano utiliza frecuentemente predicados que no se pueden reducir a este tipo de divisin: son los denominados predicados difusos.

La teora de conjuntos difusos propone la extensin del concepto de pertenencia para que admita graduacin entre la no-pertenencia y la pertenencia total al

conjunto. La fusificacin es independiente de cualquier capacidad para medir, ya que, un conjunto difuso, es un conjunto que no tiene lmites bien definidos y es tambin una funcin que asocia a cada objeto del universo un valor en el intervalo (0,1). Para poder presentar la teora de Conjuntos Difusos, es importante recordar algunos aspectos de la teora de conjuntos convencionales y a partir de all hacer una extensin a los conjuntos difusos: Un conjunto convencional se define como una coleccin de elementos que existen dentro de un Universo. As, si el universo consta de los nmeros enteros no negativos menores que 10:

U={0,1,2,3,4,5,6,7,8,9} Entonces podemos definir algunos conjuntos como, por ejemplo:

A={0,2,4,6,8} B={1,3,5,7,9} C={1,4,7}

Con estas definiciones hemos establecido que cada uno de los elementos del Universo pertenecen o no a un determinado conjunto. Por lo tanto, cada conjunto puede definirse completamente por una funcin de pertenencia, que opera sobre los elementos del Universo, y que le asigna un valor de 1 si el elemento pertenece al conjunto, y de 0 si no pertenece.

Tomando como ejemplo el conjunto C enumerado arriba, su funcin de pertenencia uC(x) sera de la siguiente forma:

uC(0)=0, uC(1)=1, uC(2)=0, uC(3)=0, uC(4)=1, uC(5)=0, uC(6)=0, uC(7)=1, uC(8)=0, uC(9)=0

Ahora bien, un Conjunto Difuso se define de forma similar, con una diferencia conceptual importante: un elemento puede pertenecer parcialmente a un conjunto. De esta forma, un conjunto difuso D definido sobre el mismo universo U puede ser el siguiente:

D={20%/1,50%/4,100%/7}1

La definicin anterior significa que el elemento 1 pertenece en un 20% al conjunto D (y por tanto pertenece en un 80% al complemento de D), en tanto que el elemento 4 pertenece en un 50%, y el elemento 7 en un 100%. En forma alternativa, diramos que la funcin de perteneca uD(x) del conjunto D es la siguiente: uD(0)=0.0, uD(1)=0.2, uD(2)=0.0, uD(3)=0.0, uD(4)=0.5, uD(5)=0.0,

uD(6)=0.0, uD(7)=1.0, uD(8)=0.0, uD(9)=0.0 Las primeras diferencias que se hacen evidentes entre los Conjuntos Concretos y los Conjuntos Difusos son las siguientes:

La funcin de pertenencia asociada a los conjuntos concretos slo puede

tener dos valores: 1 0, mientras que en los conjuntos difusos puede tener cualquier valor entre 0 y 1.
y

Un elemento puede pertenecer (parcialmente) a un conjunto difuso y

simultneamente pertenecer (parcialmente) al complemento de dicho conjunto. Lo anterior no es posible en los conjuntos concretos, ya que constituira una violacin al principio del tercer excluido.
y

Las fronteras de un conjunto concreto son exactas, en tanto que las de un

conjunto difuso son, precisamente, difusas, ya que existen elementos en las fronteras mismas, y estos elementos estn a la vez dentro y fuera del conjunto.

Operaciones entre Conjuntos Difusos

Las tres operaciones principales entre conjuntos concretos, Unin, Interseccin y Complemento, se definen tambin para los conjuntos difusos, intentando mantener el significado de tales operaciones. La definicin de estas operaciones se hace empleando el concepto de funcin de pertenencia de los conjuntos.

Interseccin: el resultado de efectuar la operacin de Interseccin entre dos conjuntos difusos A y B definidos sobre el mismo Universo, y con funciones de pertenencia uA(x) y uB(x) respectivamente es un nuevo conjunto difuso AB definido sobre el mismo universo, y con funcin de pertenencia uAB(x), dada por:

u B(x)= u (x)(*)uB(x)

x(*)y = y(*)x (x(*)y)(*)z = x(*)(y(*)z) si x<y y z<w ent nces x(*)z < y(*)w x(*)1=x ti N t l ill t min * ti t l l i i t l i t i j t t i l i l t l

: el result

difusos A y B definidos sobre el mismo Uni erso, y con funciones de pertenencia uA(x) y uB(x) respecti amente es un nuevo conjunto difuso A B definido sobre el mismo universo, y con funci n de pertenenciauA B(x), dada por:

(*)

ti

i i t

Fi

de efectuar la operaci

de Uni n entre dos conjuntos

uA B(x)= uA(x)(+)uB(x) En donde el operador (+) debe satisfacer las si uientes propiedades: x(+)y = y(+)x (x(+)y)(+)z = x(+)(y(+)z) si x<y y z<w ent nces x(+)z < y(+)w x(+)0=x

Todo operador que satisfaga las propiedades anteriores se conoce como una S Norma, y representa la Uni n de dos conjuntos difusos3. Uno de los operadores ms sencillo es el mximo (en adelante se denotar por max).

: el resultado de efectuar la operaci n de Complemento sobre un

confunto difuso A definido sobre un Universo, y con funcion de pertenencia uA(x) es un nuevo conjunto difuso A' definido sobre el mismo universo, y con funci n de pertenencia uA'(x), dada por:

Fi

uA'(x)= 1-uA(x)

Figura 3. Operacin Complemento

A continuacin se describen otras de las operaciones bsicas:

Contencin o Subconjunto: Se dice que A es subconjunto de B si todo elemento de A es tambin elemento de B, o sea, (A) (B).Se define como:

AB (A) (B)

Suma algebraica: La suma algebraica de los conjuntos difusos A y B se define como:

C = A + B Su funcin de pertenencia viene dada por:

(A+B) = (A) + (B) -(A) (B)

Producto algebraico: El producto algebraico de los conjuntos difusos A y B se define como C = A .B

Su funcin de pertenencia viene dada por: (A+B) = (A) . (B)

Potencia de orden m: La potencia de orden m de un conjunto difuso A es un conjunto difuso cuya funcin de pertenencia viene dada por: (Am) = [(A)]m

Algunos ejemplos de aplicaciones en la ingeniera.

La habilidad de la Lgica Difusa para procesar valores parciales de verdad ha sido de gran ayuda para la ingeniera. Esto hace que se le pueda asegurar y casi garantizar un amplio campo de aplicaciones con un alto grado de inters. Entre otras podemos enumerar las siguientes:

1. Diagnsticos mdicos como el anlisis de los ritmos cardacos o de la artera estenosis coronaria. 2. Fabricacin de electrodomsticos como lavadoras que evalan la carga y ajustan por s mismas, el detergente necesario, la temperatura del agua y el tipo de ciclo de lavado; televisores, que automticamente ajustan el contraste el , brillo y las tonalidades de color; tostadoras de pan; controles para la calefaccin. 3. Verificadores de ortografa, los cuales sugieren una lista de palabras probables para reemplazar una palabra mal escrita. 4. Control de sistemas de trenes subterrneos (mantener los trenes rodando rpidamente a lo largo de la ruta, frenando y acelerando suavemente, deslizndose entre las estaciones, parando con precisin sin sacudir fuertemente a los pasajeros). Aplicado por Hitachi en el metro de Sendai (julio de 1987). 5. Control de mquinas de perforacin de tneles. 6. Control de ascensores (Mitsusbishi-Elec., Hitachi, Fuji Tech) que mejoran la eficiencia en el procedimiento manual que siempre se presenta cuando grandes grupos esperan para usar el ascensor al mismo tiempo. 7. Procesado de imgenes y reconocimiento de caracteres como nmeros de cheques bancarios utilizando un sensor CCD y un micro controlador.

8. Correctores de voz para sugerir un listado de probables palabras para sustituir a una mal dicha. 9. Prediccin de terremotos 10. Reconocimiento de patrones y visin por ordenador (seguimiento de objetos con cmara, reconocimiento de escritura manuscrita, reconocimiento de objetos). 11. Control de cierre de compuertas en presas (Chile). 12. Control de secaderos de hojas de tabaco (Cuba). 13. Control de balanceo en puentes gra.

3. Conclusiones

La Lgica Difusa surgi debido a la necesidad de solucionar problemas complejos con informacin imprecisa para los cuales la lgica tradicional no era suficiente. Es un lenguaje que permite trasladar sentencias sofisticadas del lenguaje natural a un lenguaje matemtico formal.

Con este trabajo aprendamos las caractersticas fundamentales de la Lgica Difusa, el desarrollo de la misma y sus conceptos bsicos De igual manera . dimos a conocer alguna de las aplicaciones mas representativas.

4. Referencias Bibliogrficas
y

Annimo.

(2000).

Que

es

la

Lgica

Difusa?.

http://www.dei.uc.edu.py /tai2000/lgica/3.htm, accedido Abril 24, 2011.

y

Universidad de Santiago de Compostela. (2003). Conjuntos Borrosos y Lgica borrosa. http://www.puntolog.com /actual/ artculos/

uni_santiago2.htm, accedido Abril 23, 2011.

Corzo Y., (2002). La lgica difusa http://personales.ya.com/casanchi /mat/difusa01.htm., accedido Abril 23, 2011.

Annimo.

(2002).

Introduccin

la

Lgica

Borrosa.

http://delta.cs.cinvestav.mx/gmorales/ldifll.html accedido Abril 24, 2011.