43

LGICA DIFUSA: INTRODUCCIN A LA LGICA DIFUSA Y AL CONTROL

DIFUSO
Edwin Rodrguez Medina
lvaro Wilches Olivo
Luis C. Tovar Garrido
Raul J. Martelo Gmez (*)
Recibido: noviembre 6 de 2009
Aprobado: diciembre 1 de 2009
(*) Ingeniero de Sistemas, Especialista en Telecomunicaciones, Magster en Informtica.
Docente catedrtico del Programa de Ingeniera de Sistemas de la Universidad de San
Buenaventura - Cartagena
rmartelog}@unicartagena.edu.co
RESUMEN
La realidad no se puede comprender o valorar de forma absoluta, en muchas ocasiones
manipulamos valores con cierto grado de incertidumbre, pero esto no nos impide la toma de
decisiones. Los sistemas automatizados, como las computadoras, operan de acuerdo con
una lgica clsica de valores precisos, la cual no permite reflejar un comportamiento
sesgado a la realidad. La teora de la Lgica Difusa abre la posibilidad para que los
procesos reales puedan ser automatizados por sistemas computacionales que maniobren de
acuerdo a nuestra realidad. En este artculo se describe la propuesta de la teora de la
Lgica Difusa, explicando de forma comparativa sus ventajas frente a la Lgica Clsica,
con el fin de introducir adems en el funcionamiento de los sistemas de Control Automtico
aplicando dicha teora de Conjuntos Difusos.
PALABRAS CLAVES: Lgica, Difuso, Conjuntos, Lgica Difusa, Control Automtico.
DIFFUSE LOGIC: INTRODUCTION TO THE DIFFUSE LOGIC AND TO THE
DIFFUSE CONTROL
ABSTRACT.
Our reality cannot be understood or appreciated in strict, we often manipulate values with
some uncertainty, but this does not prevent us from making decisions. Automatic systems,
like computers, operate under a classical logic of precise values, which does not reflect a
behavior closer to reality. The theory of Fuzzy Logic opens the possibility for real
processes can be automated by computer systems that act according to our reality. In this
article there is described the proposal of the theory of the Diffuse Logic, explaining
comparatively its advantages with regard to the Classic Logic, in order to introduce us also
in the functioning of the systems of Automatic Control applying the above mentioned
theory of Diffuse Sets.

INGENIATOR | REVISTA VIRTUAL DE LOS PROGRAMAS DE INGENIERA|UNIVERSIDAD DE SAN BUENAVTURA, SECCIONAL

CARTAGENA | Vol.1, N1, julio diciembre del 2010 | ISSN 2027-9396 (en lnea) | CARTAGENA, COLOMBIA | PP. 43-56

44

KEYWORDS: Logic, Fuzzy, Sets, Fuzzy Logic, Automatic Control.

INTRODUCCIN.
La expresin Lgica Difusa resulta un poco contradictoria en s misma, si la fragmentamos
en las palabras que la componen; en primer lugar el trmino Lgica, se define como una
serie de razonamientos claros, coherentes y fciles de demostrar. Por otro lado la definicin
del trmino Difusa hace referencia a confusin, vaguedad, borroso o poco preciso.
Contrario a la anterior aseveracin, la lgica difusa es una teora formal, bien fundamentada
que propone una visin matemtica ms cercana a la realidad humana, en donde se
reconoce valores desiguales e intermedios entre los ordinarios de verdad y falsedad.
La lgica borrosa (fuzzy logic) trata de acercar la matemtica al lenguaje impreciso del
hombre comn. El ser humano se maneja habitualmente con conceptos vagos, los cuales no
se pueden representar con la matemtica tradicional. (I.T. Informtica de Sistemas, 2004)
La Lgica Difusa es una lgica de mltiples valores, que permite que sean definidos los
valores intermedios entre las evaluaciones convencionales como: verdadero falso, s no,
alto bajo, etc. Nociones como ms alto o muy rpido pueden ser formuladas
matemticamente y procesadas por computadoras, a fin de aplicar una forma de
pensamiento humano a la programacin de computadores.
El padre de la Lgica Difusa, Lofti A. Zadeh, para representar esta teora, emple un
ejemplo cotidiano que busca simbolizar una situacin en la cual el uso de conjuntos difusos
permita una solucin ms sesgada a la realidad que lo que posibilita la lgica clsica. El
conjunto de los hombres altos, segn la lgica clsica, esta dado por los hombres que
superan una estatura determinada, en consecuencia los hombres que tengan una estatura
menor a esta quedaran excluidos de dicho conjunto. Supongamos que el valor de la
estatura determinada para este ejemplo es de 1.80, entonces el conjunto clsico de hombres
altos (A) con respecto al conjunto universal de medidas de hombres (U) se puede expresar
de la siguiente forma:
A={x

U | x > 1.80 }

Es obvio que muchas de las evaluaciones obtenidas a partir de esta expresin de lgica
clsica seran ambiguas e irreales, es decir, no podramos excluir a un hombre cuya estatura
sea de 1.79 del conjunto de los hombres altos, pero tampoco es totalmente verdico incluirlo
en dicho grupo. Si se desea manejar este problema de una forma trincada a la realidad, es
aqu donde se hace meramente necesario el uso de los conjuntos difusos, que permiten
utilizar grados de verdad no absolutos, posibilitando con esto, el manejo de grados,
tambin, en la pertenencia de los valores a los conjuntos.
Segn la teora de conjuntos difusos podemos definir el conjunto de los hombres altos (A)
con respecto al conjunto universal de medidas de hombres (U), usando una funcin

INGENIATOR | REVISTA VIRTUAL DE LOS PROGRAMAS DE INGENIERA|UNIVERSIDAD DE SAN BUENAVTURA, SECCIONAL

CARTAGENA | Vol.1, N1, julio diciembre del 2010 | ISSN 2027-9396 (en lnea) | CARTAGENA, COLOMBIA | PP. 43-56

45

auxiliar, llamada funcin de membresa, A(x), que relaciona el conjunto universal (U) con
un valor {0,1}. Indicando cuando toma el valor de 1 que pertenece al conjunto y el valor de
0 que NO pertenece al conjunto, pero adems de esto toma valores intermedios que
determinan numricamente el grado de pertenencia al conjunto. Esto se expresa a
continuacin:
A={

x, A(x) ) | x U , A(x) = {0, 1} }

De esta forma, un hombre que mida 1.79 puede pertenecer al conjunto de hombres altos en
un grado de 0.8 de perteneca, por ejemplo.
En contraste a la lgica clsica la lgica difusa permite definir los conjuntos sin lmites
estrictos, dando la posibilidad de evaluarlos dentro del conjunto con un grado de
pertenencia al mismo. (Ver Figura 1)
Figura 1. Lgica Difusa vs Lgica Clsica.

La lgica difusa ha cobrado una fama grande por la variedad de sus aplicaciones, las cuales
van desde el control de complejos procesos industriales, hasta el diseo de dispositivos

INGENIATOR | REVISTA VIRTUAL DE LOS PROGRAMAS DE INGENIERA|UNIVERSIDAD DE SAN BUENAVTURA, SECCIONAL

CARTAGENA | Vol.1, N1, julio diciembre del 2010 | ISSN 2027-9396 (en lnea) | CARTAGENA, COLOMBIA | PP. 43-56

46

artificiales de deduccin automtica, pasando por la construccin de artefactos electrnicos

de uso domstico y de entretenimiento, as como tambin de sistemas de diagnstico. De
hecho, desde hace ya, al menos, dcada y media, la expedicin de patentes industriales de
mecanismos basados en la lgica difusa tiene un crecimiento sumamente rpido en todas
las naciones industrializadas del orbe. (Morales Luna, 2002)
HISTORIA
Los principios de la teora de la lgica difusa se remontan a los tiempos del filsofo griego
Aristteles quien dio una primera visin de las denominadas Leyes del Pensamiento, la cual
sirvi luego como plataforma para fomentar algunos de sus aportes tericos mas
importantes al mundo: la lgica formal y las matemticas. Dentro de este pensamiento,
Aristteles plante la Ley del Tercero Excluido, Ley Bsica del Pensamiento, que establece
que: dados los enunciados {A es x} y {A es diferente de x}, slo uno de los dos puede ser
verdadero, al mismo tiempo y dentro de la misma relacin. (Bustamante Zamudio, 2008)
Fu Herclito el primero en proponer la simultaneidad de la verdad, es decir, que las cosas
pueden ser simultneamente ciertas o simultneamente falsas.
Pero sera Platn, quien pusiera el primer cimiento solido a una nueva lgica que apenas se
estaba edificando. En su obra La Repblica, el filosofo indica que hay una variedad de
regiones donde el grado de verdad de la realidad varia: Pero correspondiendo las dos
secciones de lo inteligible a entes y conocimiento de mayor realidad y verdad que los entes
de lo visible, hay sin embargo diferencia en grados de realidad, conocimiento y verdad
entre ellas. Los entes de la tercera seccin tienen menor grado de realidad y verdad que los
de la cuarta; los de la cuarta, son entes de realidad y verdad absolutas. (Suzzarini Baloa,
2007)
La primera formulacin sistemtica de una lgica polivalente, diferente a la lgica formal
planteada por Aristteles, fu formulada por J. Lukasiewicz entre 1917 y 1920.
En la lgica trivaluada de Lukasiewicz, si hay lugar para la tercera opcin, un enunciado no
tiene que ser aceptado o no aceptado, puede ser indeterminado. (Gmez Marn, 2006)
Lukasiewicz, continu explorando las teoras de la lgica polivalente y abri la posibilidad
de lgicas de ms de tres valores, incluso lgicas infinito-valoradas, siendo estas ltimas
para l, las ms interesantes desde el punto de vista de sus propiedades.
Paralelamente, otros autores contribuyeron a la exploracin de nuevas teoras lgicas:
Un ejemplo de ello es el matemtico escocs Hugh MacColl, quien fundamenta toda la
lgica en la lgica de proposiciones y establece un sistema de lgica proposicional en el
que las proposiciones pueden tomar uno de los cinco valores de verdad siguientes: verdad,
falsedad, certeza (siempre verdad), imposibilidad (siempre falsa) y variabilidad
(contingencia). (Velarde Lombraa, 1978)

INGENIATOR | REVISTA VIRTUAL DE LOS PROGRAMAS DE INGENIERA|UNIVERSIDAD DE SAN BUENAVTURA, SECCIONAL

CARTAGENA | Vol.1, N1, julio diciembre del 2010 | ISSN 2027-9396 (en lnea) | CARTAGENA, COLOMBIA | PP. 43-56

47

C. S. Peirce (1839-1914) Se acerca a la lgica polivalente desde la problemtica filosfica

en torno a los futuros contingentes dentro del contexto Aristotlico. Hace referencia a una
matemtica tricotmica considerada como una matemtica basada sobre una lgica de tres
valores llegando a la elaboracin del mtodo de las tablas de verdad para una lgica
trivalente. (Velarde Lombraa, 1978)
La teora de la lgica difusa o conjuntos difusos como tal, fu estructurada y planteada
formalmente por el matemtico azerbaiyano Lotfi Asker Zadeh.
La paradoja del conjunto de Bertrand Russell, el principio de incertidumbre de la fsica
cuntica de W. Heisenberg, la teora de los conjuntos vagos de Max Black, sin olvidar la
fundamental aportacin del polaco Jan Lukasiewicz, creador de la lgica multivaluada,
influyeron para que Zadeh publicase su famoso ensayo Fuzzy Sets en Informations and
Control en 1965 y ms tarde Fuzzy algorithm en la misma revista en 1968. Mientras que
Russell y Black utilizaron el termino vagueness (vaguedad, vago) para referirse a la nueva
lgica o para calificar a los conjuntos en la teorizacin sobre los mismos, Zadeh prefiri el
termino fuzzy (borroso, difuso) para denominar a sus conjuntos y a la lgica en la que se
apoya su anlisis. (Prez Pueyo, 2005)
Finalmente, en los aos sesenta, Lofti Zadeh invent la lgica difusa, que combina los
conceptos de la lgica y de los conjuntos de Lukasiewicz mediante la definicin de grados
de pertenencia. (Aranguren & Muzachiodi, 2003)
ESTADO DEL ARTE
En 1974, el britnico Ebrahim Mamdani, demuestra la aplicabilidad de la lgica difusa en
el campo de control. Desarrolla el primer sistema de control fuzzy prctico: la regulacin
de un motor de vapor.
A finales de los 70, los ingenieros daneses Lauritz Meter Hombland y Jens-Jurgen
Ostergaard desarrollan el primer sistema de Control Difuso comercial, destinado a una
planta de cemento. Los japonenses empiezan a explotar la lgica difusa de forma masiva.
Los occidentales asumieron una actitud reacia principalmente por dos razones: la primera
porque la palabra fuzzy sugera algo confuso y sin forma, y la segunda porque no haba
forma de probar analticamente que la teora funcionaba correctamente pues el control
difuso no estaba basado en modelos matemticos.
Aparecen toda una serie de investigadores japoneses en el campo de la lgica difusa como:
Sugeno, Togai, Bart Kosko, etc.
En 1986, Yamakawa publica Fuzzy Controller hardware system. Desarrolla
controladores fuzzy en circuitos integrados.

INGENIATOR | REVISTA VIRTUAL DE LOS PROGRAMAS DE INGENIERA|UNIVERSIDAD DE SAN BUENAVTURA, SECCIONAL

CARTAGENA | Vol.1, N1, julio diciembre del 2010 | ISSN 2027-9396 (en lnea) | CARTAGENA, COLOMBIA | PP. 43-56

48

En 1987, se inaugura en Japn el subterrneo de Sendai, uno de los ms espectaculares

sistemas de control difuso creados por el hombre. Desde entonces el controlador inteligente
ha mantenido los trenes rodando eficientemente.
En 1987, Fuzzy Boom, se comercializan multitud de productos basados en la lgica
difusa (sobre todo en Japn). Productos como cmaras fotogrficas y de video, lavadoras,
aparatos de aire acondicionado, frigorficos, alarmas, electrodomsticos, etc., as como una
gran variedad de controladores industriales, dispositivos mdicos, sistemas de seguridad en
reactores nucleares, robots y otros sistemas relativamente complejos, estn basados en
lgica difusa.
El Sistema ms espectacular funcionando actualmente todos los das, es el Metro de la
Ciudad Japonesa de Sendai. Desde 1987 es usado un Sistema de Control difuso para
mantener los trenes rodando rpidamente a lo largo de la ruta, frenando y acelerando
suavemente, deslizndose entre las estaciones, parando con precisin sin perder un solo
segundo o sacudir fuertemente a los pasajeros.
Los japoneses manipulan productos gigantes como el Matsushita, una mquina aspiradora
automtica que limpia y lava. La mquina de lavado, evala la carga y ajusta por s misma,
el detergente necesario, la temperatura del agua y el ciclo de lavado.
Entre otros sistemas se encuentran: el televisor SONY, que automticamente ajusta
contraste, brillo y tonalidades de color.
En la tecnologa automotriz, los coches NISSAN, poseen transmisin automtica y frenos
antibloqueo.
Las industrias Mitsubishi, tienen designado un sistema de control difuso para elevadores,
mejorando la eficiencia en el procedimiento manual que siempre se presenta cuando
grandes grupos esperan para tomar el ascensor al mismo tiempo. Este sistema ha sido
capturado por muchas compaas en el mundo. En EE.UU. la compaa de elevadores
OTIS, est desarrollando sus propios productos para horarios en ascensores segn las
demandas de variaciones de tiempos. (I.T. Informtica de Sistemas, 2004)
APLICACIN
CONJUNTOS DIFUSOS.
La forma bsica de los Sistemas Difusos son los Conjuntos Difusos (Fuzzy Sets). (Hellman,
2008)
En las matemticas clsicas se mencionan los denominados Conjuntos Definidos (Crisp
Sets), en las cuales se define un conjunto X de valores g entre 0 y 1. Dentro del conjunto X
puede ser definido un subconjunto A (por ejemplo, 0 g 0.2). La funcin caracterstica
para los conjuntos definidos, es una funcin que asigna un valor 0 1, dependiendo de si
pertenece o no a un conjunto. (Ver Figura 2)

INGENIATOR | REVISTA VIRTUAL DE LOS PROGRAMAS DE INGENIERA|UNIVERSIDAD DE SAN BUENAVTURA, SECCIONAL

CARTAGENA | Vol.1, N1, julio diciembre del 2010 | ISSN 2027-9396 (en lnea) | CARTAGENA, COLOMBIA | PP. 43-56

49

Figura 2. Funcin Caracterstica de un Conjunto Definido.

Los elementos que se les asignan el valor de 1 pueden ser interpretados como elementos
que pertenecen al conjunto definido y los elementos a los que se les asigna el valor de 0 se
pueden interpretar como elementos que NO pertenecen al conjunto definido. Esta
conceptualizacin es suficiente para muchas reas de aplicacin, pero es fcilmente notorio,
que carece de flexibilidad para algunas aplicaciones donde se necesite un tipo raciocinio
ms humano.
Supongamos que el conjunto X de valores g entre 0 y 1, representan las notas posibles
dentro del curso de inteligencia artificial. Entonces, el subconjunto A con un intervalo
definido A = [0 , 0.2] representa el conjunto de Las Notas Bajas. Los valores g para el
subconjunto A comienzan desde 0, por lo que resulta sencillo definir un lmite inferior
claro. Por otro lado, el rango superior es difcil de determinar, vindolo desde un punto de
vista real, si tomamos el valor de su rango superior 0.2 podemos decir que pertenece al
grupo de las notas bajas, pero si tomamos como valor 0.21 entonces debemos decir que no
pertenece a las notas bajas, as mismo sucedera para cualquier valor arbitrario por encima
del rango superior del subconjunto A. Obviamente, esta apreciacin no es totalmente
verdadera, puesto que incluso si se analiza como valor de entrada 0.3, es una nota de alguna
forma baja, por tanto en algn nivel pertenece al grupo de las notas bajas.
Otra forma para construir el conjunto A podra ser flexibilizar la estricta separacin entre
las notas bajas y las notas no bajas. Esto se puede hacer permitiendo no solo las estrictas
decisiones de si no, sino tambin posibilitando reglas flexibles como bastante bajo. Un
conjunto difuso nos permite contemplar estas nociones.
En el ejemplo, los datos han sido codificados con valores de 0 1. Una alternativa para
formalizar este concepto de reglas flexibles, es permitir mas valores entre 0 y 1, inclusive
pueden permitirse valores infinitos entre los lmites de 0 y 1. Partiendo de la anterior
concepcin se hace ms difcil la interpretacin de los nmeros asignados a los elementos;
de igual forma los elementos cuyo nmero asignado sea 1 indica que pertenecen al
subconjunto A y los que tengan valor 0 no pertenecen. Todos los dems valores indicaran
una pertenencia gradual al subconjunto A.

INGENIATOR | REVISTA VIRTUAL DE LOS PROGRAMAS DE INGENIERA|UNIVERSIDAD DE SAN BUENAVTURA, SECCIONAL

CARTAGENA | Vol.1, N1, julio diciembre del 2010 | ISSN 2027-9396 (en lnea) | CARTAGENA, COLOMBIA | PP. 43-56

50

Para los conjuntos difusos la funcin caracterstica es conocida como la funcin de

membresa, representa la magnitud de participacin de cada elemento. Asocia un peso con
cada una de los elementos que son analizados, define un acoplamiento funcional entre estos
y determina un valor de salida.
Las funciones de membreca usa el elemento de entrada como factor del peso para
determinar su influencia en el conjunto difuso de salida. (Ver Figura 3)
Figura 3. Funcin Caracterstica de un Conjunto Difuso.

Aplicndolo al ejemplo, un valor de 0.3 puede tener una membreca de 0.5 en el conjunto
de las notas bajas.
Es importante sealar la diferencia entre la lgica difusa y la probabilidad. Ambos operan
sobre el mismo rango numrico, y tienen valores similares: 0,0 representacin falsa (o no
pertenencia), y 1,0 que representa verdicamente (completo o miembros). Sin embargo,
existe una distincin entre los dos enfoques: Para el enfoque probabilstico la sentencia de
lenguaje natural es, "Hay un 50% de probabilidad de 0.3 sea una nota baja", mientras que la
terminologa difusa expresa que "el grado de pertenencia de 0.3 dentro del conjunto de las
notas bajas es de 0.5".
La diferencia semntica es importante: el primer punto de vista supone que 0.3 es o no es
bajo, slo se tiene un 50% de probabilidades de saber que se est en el conjunto. Por el
contrario, la terminologa difusa supone que 0.3 es una nota "ms o menos" baja, o en otras
palabras que corresponde al valor 0.5.
Tambin, podemos introducir operaciones bsicas de los conjuntos definidos, sobre los
conjuntos difusos de forma similar, tales como, interseccin, unin y negacin. (Ver Figura
4)

INGENIATOR | REVISTA VIRTUAL DE LOS PROGRAMAS DE INGENIERA|UNIVERSIDAD DE SAN BUENAVTURA, SECCIONAL

CARTAGENA | Vol.1, N1, julio diciembre del 2010 | ISSN 2027-9396 (en lnea) | CARTAGENA, COLOMBIA | PP. 43-56

51

Figura 4. Unin de Conjuntos Difusos.

SISTEMAS BASADOS EN LGICA DIFUSA.

Zadeh vea con gran asombro como un operador experto poda controlar un proceso
complejo utilizando nicamente una descripcin cualitativa de su dinmica. Opongamos la
capacidad de un piloto de frmula uno para controlar su auto de forma ms que aceptable,
contra las largas horas que se invertirn con las mejores computadoras para calcular la
trayectoria ptima del vehculo, utilizando todas las ecuaciones cinemticas y de dinmica
del automvil. (Aceves Lopez, 2001)
La estructura general de un sistema basado en lgica difusa est compuesta por tres
bloques: (Ver Figura 5)
Figura 5. Sistemas Basados en Sistemas Difusos

.
El Bloque Difusor: En este bloque los datos de entrada son procesados y les son asignados
sus respectivos grados de pertenencia a cada uno de los conjuntos difusos considerados.
Este bloque conoce todas las funciones caractersticas o funciones de membresa.

INGENIATOR | REVISTA VIRTUAL DE LOS PROGRAMAS DE INGENIERA|UNIVERSIDAD DE SAN BUENAVTURA, SECCIONAL

CARTAGENA | Vol.1, N1, julio diciembre del 2010 | ISSN 2027-9396 (en lnea) | CARTAGENA, COLOMBIA | PP. 43-56

52

El Bloque de Inferencia: Podemos definir la Inferencia como la accin y efecto de sacar

conclusiones a partir de una premisa. En este Bloque, mediante Mecanismos de Inferencia,
se relacionan conjuntos difusos de entrada y de salida. Este bloque 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.
Bloque Desdifusor: El bloque de Inferencia da como salida un conjunto difuso, que sirve
como datos de entrada para el Bloque Desdifusor, que a travs de un proceso llamado
desdifusion transforma esos datos en resultados concretos.
CONTROL DIFUSO
La lgica difusa propone una amplia gama de aplicaciones dentro de las reas de estudio
para el desarrollo tecnolgico e inteligencia artificial, tales como redes neuronales, sistemas
expertos, control automtico, entre otras.
La lgica difusa proporciona un medio para enfrentar situaciones del mundo real,
complejas y dinmicas, que son ms fcilmente caracterizadas por palabras que por
modelos matemticos.
En esencia un controlador difuso contiene un algoritmo capaz de convertir una estrategia de
control lingstica en una de control automtico, con lo que se busca imitar el razonamiento
humano. (Alzate & Mancera, 2007)
En la siguiente figura se muestra la arquitectura bsica de un controlador difuso (Ver Figura
6).
Figura 6. Arquitectura Bsica de un Controlador Difuso.

Es por lo dicho anteriormente que el control difuso se considera como una prctica
alternativa para manejar una gran variedad de complejas aplicaciones de control, ya que
proporciona un mtodo conveniente para la construccin de los controladores no lineales a
travs de la utilizacin de la informacin heurstica, esta informacin puede provenir de un
operador. En la metodologa de diseo de control difuso, utilizamos a este operador para
escribir una serie de reglas sobre cmo debe ser controlado un proceso y despus incorporar
esa informacin en un controlador difuso que emula el proceso de decisin de los humanos.

INGENIATOR | REVISTA VIRTUAL DE LOS PROGRAMAS DE INGENIERA|UNIVERSIDAD DE SAN BUENAVTURA, SECCIONAL

CARTAGENA | Vol.1, N1, julio diciembre del 2010 | ISSN 2027-9396 (en lnea) | CARTAGENA, COLOMBIA | PP. 43-56

53

En otros casos, la informacin heurstica puede provenir de un ingeniero de control que ha

realizado el modelado matemtico, el anlisis y el desarrollo de algoritmos de control para
un proceso determinado. Una vez ms, estos conocimientos se cargan en el controlador de
lgica difusa para automatizar los procesos de razonamiento y las acciones de los expertos.
(M. Passino & Yurkovich, 1998)
Todo lo hasta aqu mencionado explica los conceptos bsicos de un controlador de lgica
difusa, para resumir estos conceptos se puede mencionar que un controlador de lgica
difusa se basa en (J. Norberto Pires, 2008):
1. Una base de conocimiento definida por reglas simples de tipo if <condicin> Then
<accin>, utilizando variables definidas o caracterizadas vagamente.
2. Un mecanismo de inferencia que permite obtener salidas de control.
Los mtodos difusos son particularmente apropiados para sistemas difciles o imposibles de
describir matemticamente.
Los algoritmos difusos pueden ofrecer aqu grandes ventajas, ya que la estrategia de
regulacin no se desarrolla a partir de una modelacin matemtica exacta, sino a partir de
una descripcin lingstica del proceso. Las variables de entrada adicionales y la base de
reglas se pueden completar fcilmente.
Para entender mejor estos conceptos se explican las siguientes aplicaciones del control
difuso (G.U.N.T):
BALANCN CON BOLA
El RT 121 permite una introduccin a la regulacin digital rpida en tiempo real por medio
de mtodos difusos. (Ver Figura 7)
Figura 7. Balancn con Bola.

Un modelo de balancn con bola sirve de sistema mecnico de una variable. Por medio de
un control difuso se intenta mantener la bola en una posicin determinada inclinando el
balancn, incluso cuando la posicin de la bola es modificada por intervenciones externas.

INGENIATOR | REVISTA VIRTUAL DE LOS PROGRAMAS DE INGENIERA|UNIVERSIDAD DE SAN BUENAVTURA, SECCIONAL

CARTAGENA | Vol.1, N1, julio diciembre del 2010 | ISSN 2027-9396 (en lnea) | CARTAGENA, COLOMBIA | PP. 43-56

54

La posicin de la bola se mide por medio de un sistema de medicin resistivo. Un

potencimetro registra la inclinacin del balancn. Estos transductores envan seales
exactas al regulador difuso. All las seales se transforman e infieren en valores de entrada
difusos, y por ltimo se vuelven a transformar en un valor de salida exacto. Un servomotor
con biela de empuje modifica la inclinacin del balancn y funciona como actuador.
(G.U.N.T)
CARRO CON PNDULO INVERTIDO
Como sistema mecnico multivariable se utiliza el pndulo de varilla invertido montado
sobre un carro. Con un control difuso se posiciona el pndulo de varilla en posicin central,
lo mantiene all y comprueba al mismo tiempo la posicin del carro.
Figura 8. Carro con Pndulo Invertido.

La posicin del carro se mide a travs del giro de las ruedas con un sensor de giro. Un
potencimetro giratorio capta la inclinacin del pndulo. Este sensor enva seales exactas
al regulador difuso. All las seales se transforman e infieren en valores de entrada difusos,
y se vuelven a transformar en un valor de salida exacto. Este valor de salida controla un
actuador, el motor de accionamiento del carro. Las exigencias a la regulacin se ven
aumentadas adems por el hecho de que el carro slo debe abandonar su posicin con
relacin a la inicial dentro de lmites muy estrechos. (G.U.N.T)
CONCLUSIONES
Gracias a la lgica difusa, las computadoras incorporan una nueva capacidad para realizar
evaluaciones y decisiones con un criterio ms amplio, volcndolas en un conjunto simple
de reglas del tipo if - then, que permiten describir el funcionamiento del sistema que se
pretende automatizar.

INGENIATOR | REVISTA VIRTUAL DE LOS PROGRAMAS DE INGENIERA|UNIVERSIDAD DE SAN BUENAVTURA, SECCIONAL

CARTAGENA | Vol.1, N1, julio diciembre del 2010 | ISSN 2027-9396 (en lnea) | CARTAGENA, COLOMBIA | PP. 43-56

55

Los sistemas basados en los conceptos de la lgica difusa, se rigen por una estructura
general. Para disear un controlador difuso se necesitan especificar al menos todos los
subconjuntos difusos, obtener todas las reglas difusas necesarias, elegir los operadores de
inferencia, el mtodo de desfusificacin y las ganancias normalizantes.
La lgica Difusa se est consolidando a travs del tiempo cada vez ms. Prueba fehaciente
de esto son las mltiples aplicaciones en el rea del Control Automtico, tales como,
Balancn con Bola y Carro con Pndulo Invertido. Algunos pases, de gran avance
tecnolgico, como Japn, y grandes Industrias, como NISSAN y Mitsubishi, han utilizado
los conceptos de la teora del Control Difuso para crear e implementar sistemas
automatizados que simulen de forma anloga el raciocinio humano. Ejemplo de lo anterior,
la mquina de lavado creada por Matsushita, los sistemas de transmisin automtica y
frenos antibloqueo.
Es posible cometer muchos errores en la inmersin a las teoras Difusas. No es posible
afirmar que el desarrollo y ajuste de un controlador difuso es una tarea muy fcil. Esto es
absolutamente falso.
Finalmente, Zadeh relaciona la complejidad de los sistemas con nuestra capacidad de
comprenderlos, definiendo el principio de incompatibilidad: Conforme la complejidad de
un sistema aumenta, nuestra capacidad para ser precisos y construir instrucciones sobre su
comportamiento disminuye hasta un umbral ms all del cual, la precisin y el significado
son caractersticas excluyentes.
REFERENCIAS
Aceves Lopez, A. (2001). Usos y abusos de la Logica Difusa para el control de procesos: Una alternativa
para modelar lo incompleto de la informacin y lo impreciso de una observacin. Con mantenimiento
productivo .
Alzate, A., & Mancera, D. (2007). Aplicacin del Control Difuso en un Statcom. Scientia et Technica Ao
XIII .
Aranguren, S. M., & Muzachiodi, S. L. (2003). Capitulo VIII - Lgica Difusa o Matemtica Borrosa. En S.
M. Aranguren, & S. L. Muzachiodi, Implicancias del Data Mining.
Bustamante Zamudio, G. (2008). Los tres principios de la lgica aristotlica:son del mundo o del hablar?
G.U.N.T. (s.f.). Control Difuso: Balancn con Bola.
G.U.N.T. (s.f.). Control Difuso: Carro con Pndulo Invertido.
Gmez Marn, R. A. (2006). Lgicas no Clsicas. Principios y Fundamentos. Universidad EAFIT.
Hellman, M. (2008). Fuzzy Logic Introduction.
I.T. Informtica de Sistemas. (2004). Lgica y Sistemas Difusos.
J. Norberto Pires, T. G. (2008). Control difuso de fuerza en robtica industrial. Revista Iberoamericana de
Ingeniera Mecnica .

INGENIATOR | REVISTA VIRTUAL DE LOS PROGRAMAS DE INGENIERA|UNIVERSIDAD DE SAN BUENAVTURA, SECCIONAL

CARTAGENA | Vol.1, N1, julio diciembre del 2010 | ISSN 2027-9396 (en lnea) | CARTAGENA, COLOMBIA | PP. 43-56

56

M. Passino, K., & Yurkovich, S. (1998). Fuzzy Control. Addison-Wesley Longman.

Morales Luna, G. (2002). Introduccin a la lgica difusa. Centro de Investigacin y Estudios Avanzados del
IPN .
Prez Pueyo, R. (2005). Conceptos Fundamentales de Lgica Difusa. En R. Prez Pueyo, Procesado y
Optimizacin de Espectros Raman mediante Tcnicas de Lgica Difusa: Aplicacin a la identificacin de
Materiales Pictricos.
Suzzarini Baloa, A. (2007). La Doctrina Platnica del Alma en la Repblica. Dikaiosyne No. 18 .
Velarde Lombraa, J. (1978). Lgica Polivalente. El Basilisco.

INGENIATOR | REVISTA VIRTUAL DE LOS PROGRAMAS DE INGENIERA|UNIVERSIDAD DE SAN BUENAVTURA, SECCIONAL

CARTAGENA | Vol.1, N1, julio diciembre del 2010 | ISSN 2027-9396 (en lnea) | CARTAGENA, COLOMBIA | PP. 43-56