Lgica difusa

La lgica difusa (tambin llamada lgica borrosa) se Los mtodos de inferencia para esta base de reglas deben
basa en lo relativo de lo observado como posicin dife- ser sencillos, verstiles y ecientes. Los resultados de di-
rencial. Este tipo de lgica toma dos valores aleatorios, chos mtodos son un rea nal, fruto de un conjunto de
pero contextualizados y referidos entre s. As, por ejem- reas solapadas entre s (cada rea es resultado de una
plo, una persona que mida dos metros es claramente una regla de inferencia). Para escoger una salida concreta a
persona alta, si previamente se ha tomado el valor de per- partir de tanta premisa difusa, el mtodo ms usado es el
sona baja y se ha establecido en un metro. Ambos valores del centroide, en el que la salida nal ser el centro de
estn contextualizados a personas y referidos a una me- gravedad del rea total resultante.
dida mtrica lineal. Las reglas de las que dispone el motor de inferencia de
Fue formulada en 1965 por el ingeniero y matemtico un sistema difuso pueden ser formuladas por expertos o
Lot A. Zadeh.[1] bien aprendidas por el propio sistema, haciendo uso en
este caso de redes neuronales para fortalecer las futuras
tomas de decisiones.
1 Funcionamiento Los datos de entrada suelen ser recogidos por sensores
que miden las variables de entrada de un sistema. El mo-
tor de inferencias se basa en chips difusos, que estn
La lgica difusa (fuzzy logic, en ingls) se adapta mejor al
aumentando exponencialmente su capacidad de procesa-
mundo real en el que vivimos, e incluso puede compren-
miento de reglas ao a ao.
der y funcionar con nuestras expresiones, del tipo hace
mucho calor, no es muy alto, el ritmo del corazn Un esquema de funcionamiento tpico para un sistema di-
est un poco acelerado, etc. fuso podra ser de la siguiente manera:
La clave de esta adaptacin al lenguaje se basa en com-
prender los cuanticadores de cualidad para nuestras
inferencias (en los ejemplos de arriba, mucho, muy
y un poco).
En la teora de conjuntos difusos se denen tambin las
operaciones de unin, interseccin, diferencia, negacin
o complemento, y otras operaciones sobre conjuntos (ver
tambin subconjunto difuso), en los que se basa esta l-
gica.
Para cada conjunto difuso, existe asociada una funcin de
Funcionamiento de un sistema de control difuso.
pertenencia para sus elementos, que indica en qu medi-
da el elemento forma parte de ese conjunto difuso. Las
En la gura, el sistema de control hace los clculos con
formas de las funciones de pertenencia ms tpicas son
base en sus reglas heursticas, comentadas anteriormente.
trapezoidal, lineal y curva.
La salida nal actuara sobre el entorno fsico, y los valo-
Se basa en reglas heursticas de la forma SI (anteceden- res sobre el entorno fsico de las nuevas entradas (modi-
te) ENTONCES (consecuente), donde el antecedente y cado por la salida del sistema de control) seran tomadas
el consecuente son tambin conjuntos difusos, ya sea pu- por sensores del sistema.
ros o resultado de operar con ellos. Sirvan como ejemplos
Por ejemplo, imaginando que nuestro sistema difuso fue-
de regla heurstica para esta lgica (ntese la importan-
se el climatizador de un coche que se autorregula segn
cia de las palabras muchsimo, drsticamente, un
las necesidades: Los chips difusos del climatizador reco-
poco y levemente para la lgica difusa):
gen los datos de entrada, que en este caso bien podran ser
la temperatura y humedad simplemente. Estos datos se
SI hace muchsimo fro. ENTONCES aumento someten a las reglas del motor de inferencia (como se ha
drsticamente la temperatura. comentado antes, de la forma SI... ENTONCES... ), re-
sultando un rea de resultados. De esa rea se escoger el
SI voy a llegar un poco tarde. ENTONCES aumento centro de gravedad, proporcionndola como salida. De-
levemente la velocidad. pendiendo del resultado, el climatizador podra aumentar

1
2 3 LA MODELIZACIN DE LA VAGUEDAD EN LA LGICA DIFUSA COMPENSATORIA

la temperatura o disminuirla dependiendo del grado de la 3 La modelizacin de la vaguedad

salida.
en la Lgica Difusa Compensato-
ria

2 Lgica Difusa Compensatoria En la LDC la modelizacin de la vaguedad se logra a tra-

vs de variables lingsticas, lo que permite aprovechar el
(LDC) conocimiento de los expertos, al contrario de lo que ocu-
rre en otros mtodos ms cercanos a las cajas negras y
La LDC es un modelo lgico multivalente que permite exclusivamente basados en datos, como por ejemplo las
la modelacin simultnea de los procesos deductivos y redes neuronales.
de toma de decisiones. El uso de la LDC en los mode- Existen autores como Jess Cejas Montero en su Artcu-
los matemticos permite utilizar conceptos relativos a la lo La Lgica Difusa Compensatoria publicado en el 2011
realidad siguiendo patrones de comportamiento similares por la Revista Ingeniera Industrial del Instituto Superior
al pensamiento humano. Las caractersticas ms impor- Politcnico Jos Antonio Echeverra, que marc un hi-
tantes de estos modelos son: La exibilidad, la tolerancia to en la difusin de la LDC, que recomiendan el uso de
con la imprecisin, la capacidad para moldear problemas funciones de pertenencia sigmoidales para funciones cre-
no lineales y su fundamento en el lenguaje de sentido co- cientes o decrecientes. Los parmetros de estas funcio-
mn. Bajo este fundamento se estudia especcamente nes quedan determinados jando dos valores. El primero
cmo acondicionar el modelo sin condicionar la realidad. de ellos es el valor a partir del cual se considera que la
La LDC utiliza la escala de la LD, la cual puede variar armacin contenida en el predicado es ms cierta que
de 0 a 1 para medir el grado de verdad o falsedad de sus falsa, por ejemplo pudiera establecerse a partir de 0.5. El
segundo es el valor para el cual el dato hace casi inacep-
proposiciones, donde las proposiciones pueden expresar-
se mediante predicados. Un predicado es una funcin del table la armacin correspondiente, por ejemplo pudiera
establecerse a partir de 0.1.
universo X en el intervalo [0, 1], y las operaciones de con-
juncin, disyuncin, negacin e implicacin, se denen En la actualidad existe un Sistema de Soporte a Decisio-
de modo que restringidas al dominio [0, 1] se obtenga la nes Basado en rboles con Operadores de Lgica Difusa
Lgica Booleana. cuyo nombre es Fuzzy Tree Studio 1.0, desarrollado en
Las distintas formas de denir las operaciones y sus pro- forma conjunta entre Universidad CAECE y la Univer-
piedades determinan diferentes lgicas multivalentes que sidad Nacional de Mar del Plata (Argentina), que posee
son parte del paradigma de la LD. Las lgicas multiva- un mdulo que trabaja con la LDC. Ello permite al agen-
lentes se denen en general como aqullas que permiten te decisor despreocuparse por el trasfondo matemtico y
valores intermedios entre la verdad absoluta y la falsedad centrarse en la formulacin verbal del modelo que le per-
total de una expresin. Entonces el 0 y el 1 estn asociados mita tomar una decisin.
ambos a la certidumbre y la exactitud de lo que se arma En general los modelos basados en LDC combinan la ex-
o se niega y el 0,5 a la vaguedad y la incertidumbre m- periencia y el conocimiento con datos numricos, por lo
ximas. En los procesos que requieren toma de decisiones, que puede ser visto como una caja gris. Los modelos
el intercambio con los expertos lleva a obtener formula- basados en LD pueden verse como cajas blancas, dado
ciones complejas y sutiles que requieren de predicados que permiten ver su estructura explcitamente. En contra-
compuestos. Los valores de verdad obtenidos sobre es- posicin a los modelos basados en datos exclusivamente,
tos predicados compuestos deben poseer sensibilidad a como las Redes Neuronales, que corresponderan a cajas
los cambios de los valores de verdad de los predicados negras.
bsicos. Estos modelos pueden ser optimizados cuando se dispo-
Esta necesidad se satisface con el uso de la LDC, que re- ne de datos reales numricos. El mtodo de optimizacin
nuncia al cumplimiento de las propiedades clsicas de la puede provenir de la Inteligencia Computacional. En este
conjuncin y la disyuncin, contraponiendo a stas la idea contexto, los Algoritmos Genticos presentan una alter-
de que el aumento o disminucin del valor de verdad de nativa interesante. Este enfoque constituye el fundamento
la conjuncin o la disyuncin provocadas por el cambio de los sistemas hbridos.
del valor de verdad de una de sus componentes, puedeLa tendencia de las investigaciones sobre gestin empre-
ser compensado con la correspondiente disminucin o
sarial, mediante las tcnicas de la LDC, est orientada a
aumento de la otra. Estas propiedades hacen posible de
la creacin de sistemas hbridos que integren esta con las
manera natural el trabajo de traduccin del lenguaje na-
habilidades de las Redes Neuronales y las posibilidades
tural al de la Lgica, incluidos los predicados extensos si
de los Algoritmos Genticos y la Lgica de Conjuntos. La
stos surgen del proceso de modelacin. creacin e implementacin de estos sistemas mixtos per-
En la LDC, el operador conjuncin, expresado como c mite resolver problemas complejos y de difcil solucin;
(and) es la media geomtrica. en las que se usan estimaciones subjetivas sustentadas en
4.2 Lgica difusa en inteligencia articial 3

la experiencia y en la informacin disponible, como son: tico y economista espaol Jaume Gil Aluja.
modelos de decisin utilizados con criterios de optimiza- A continuacin se citan algunos ejemplos de su aplica-
cin, ubicacin de centros comerciales, estrategia de en- cin:
trada a mercados, seleccin de carteras de productos y
servicios, desarrollo de aplicaciones informticas, mto-
dos para problemas de descubrimiento de conocimiento, Sistemas de control de acondicionadores de aire
mtodos para evaluar la eciencia de diferentes tipos de
instituciones, entre otras. Sistemas de foco automtico en cmaras fotogrcas
La Lgica Difusa Compensatoria es un modelo lgico Electrodomsticos familiares (frigorcos, lavado-
multivalente que renuncia a varios axiomas clsicos pa- ras...)
ra lograr un sistema idempotente y sensible, al permitir
la compensacin de los predicados. En la LD el valor Optimizacin de sistemas de control industriales
de verdad de la conjuncin es menor o igual a todas las
componentes, mientras que el valor de verdad de la dis- Sistemas de escritura
yuncin es mayor o igual a todas las componentes. La
renuncia de estas restricciones constituye la idea bsica Mejora en la eciencia del uso de combustible en
de la LDC. motores
En conclusin la LDC es un nuevo enfoque para los sis-
temas multivalentes basado en la Media Geomtrica que, Sistemas expertos del conocimiento (simular el
adems de aportar un sistema formal con propiedades l- comportamiento de un experto humano)
gicas de notable inters, constituye un puente entre la L-
gica y la Toma de Decisiones. La LDC entra a formar Tecnologa informtica
parte del arsenal de mtodos para la evaluacin multicri-
terio, adecundose especialmente a aquellas situaciones Bases de datos difusas: Almacenar y consultar in-
en que el agente decisor puede describir verbalmente, fre- formacin imprecisa. Para este punto, por ejemplo,
cuentemente en forma ambigua, la heurstica que utiliza existe el lenguaje FSQL.
cuando ejecuta acciones de evaluacin/clasicacin mul-
ticriterio. Sin embargo, la consistencia de la plataforma ...y, en general, en la gran mayora de los sistemas
lgica dota a esta propuesta de una capacidad de formali- de control que no dependen de un S/No.
zacin del razonamiento que rebasa los enfoques descrip-
tivos de los procesos de decisin. Es una oportunidad pa-
ra usar el lenguaje como elemento clave de comunicacin 4.2 Lgica difusa en inteligencia articial
en la construccin de modelos semnticos que faciliten la
evaluacin, la toma de decisiones y el descubrimiento de La lgica difusa es una rama de la inteligencia articial
conocimiento. que le permite a una computadora analizar informacin
del mundo real en una escala entre lo falso y lo verdadero,
manipula conceptos vagos, como caliente o hmedo,
y permite a los ingenieros construir dispositivos que juz-
4 Aplicaciones gan la informacin difcil de denir.
En Inteligencia articial, la lgica difusa, o lgica borro-
4.1 Aplicaciones generales sa se utiliza para la resolucin de una variedad de pro-
blemas, principalmente los relacionados con control de
La lgica difusa se utiliza cuando la complejidad del pro-
procesos industriales complejos y sistemas de decisin en
ceso en cuestin es muy alta y no existen modelos mate- general, la resolucin y la compresin de datos. Los sis-
mticos precisos, para procesos altamente no lineales y temas de lgica difusa estn tambin muy extendidos en
cuando se envuelven deniciones y conocimiento no es- la tecnologa cotidiana, por ejemplo en cmaras digitales,
trictamente denido (impreciso o subjetivo). sistemas de aire acondicionado, lavar ropas, etc. Los sis-
En cambio, no es una buena idea usarla cuando algn mo- temas basados en lgica difusa imitan la forma en que to-
delo matemtico ya soluciona ecientemente el proble- man decisiones los humanos, con la ventaja de ser mucho
ma, cuando los problemas son lineales o cuando no tienen ms rpidos. Estos sistemas son generalmente robustos y
solucin. tolerantes a imprecisiones y ruidos en los datos de entra-
Esta tcnica se ha empleado con bastante xito en la da. Algunos lenguajes de programacin lgica que han
industria, principalmente en Japn, extendindose sus incorporado la lgica difusa seran por ejemplo las diver-
aplicaciones a multitud de campos. La primera vez que sas implementaciones de Fuzzy PROLOG o el lenguaje
se us de forma importante fue en el metro japons, con Fril.
excelentes resultados. Posteriormente se generaliz segn Consiste en la aplicacin de la lgica difusa con la
la teora de la incertidumbre desarrollada por el matem- intencin de imitar el razonamiento humano en la
4 8 ENLACES EXTERNOS

programacin de computadoras. Con la lgica conven- Sistema complejo

cional, las computadoras pueden manipular valores es-
trictamente duales, como verdadero/falso, s/no o liga- Sistema dinmico
do/desligado. En la lgica difusa, se usan modelos mate-
mticos para representar nociones subjetivas, como ca-
liente/tibio/fro, para valores concretos que puedan ser 7 Referencias
manipuladas por los ordenadores.
[1] El Mundo. La Fundacin BBVA premia a Lofti Zadeh, el
En este paradigma, tambin tiene un especial valor la va-
padre de los electrodomsticos 'inteligentes. Consultado
riable del tiempo, ya que los sistemas de control pue-
el 15 de enero de 2013.
den necesitar retroalimentarse en un espacio concreto de
tiempo, pueden necesitarse datos anteriores para hacer
una evaluacin media de la situacin en un perodo ante-
rior... 8 Enlaces externos
Centro de investigacin espaol, organiza cursos y
5 Ventajas e inconvenientes seminarios sobre lgica difusa
FuzzyLite: A Fuzzy Logic Control Library written
Como principal ventaja, cabe destacar los excelentes re- in C++
sultados que brinda un sistema de control basado en l-
gica difusa: ofrece salidas de una forma veloz y precisa, Lgica difusa: Introduccin a la lgica difusa y su
disminuyendo as las transiciones de estados fundamen- relacin con el control de procesos
tales en el entorno fsico que controle. Por ejemplo, si Morillas Raya, A. (2006): Introduccin al anlisis de
el aire acondicionado se encendiese al llegar a la tempe- datos difusos PDF
ratura de 30, y la temperatura actual oscilase entre los
2930, nuestro sistema de aire acondicionado estara Curso Introductorio de Conjuntos y Sistemas Difu-
encendindose y apagndose continuamente, con el gas- sos (Lgica Difusa y Aplicaciones), por el Dr. Jos
to energtico que ello conllevara. Si estuviese regulado Galindo G., Universidad de Mlaga (Espaa)
por lgica difusa, esos 30 no seran ningn umbral, y el
sistema de control aprendera a mantener una temperatu- Aplicacin de la lgica difusa compensatoria en el
ra estable sin continuos apagados y encendidos. sector empresarial, por el Msc. Jess Cejas Monte-
ro, Dr. Daniel Alfonso Robaina, Dr. Rafael Espn
Tambin est la indecisin de decantarse bien por los ex- Andrade Universidad de La Habana (Cuba)
pertos o bien por la tecnologa (principalmente mediante
redes neuronales) para reforzar las reglas heursticas ini-
ciales de cualquier sistema de control basado en este tipo
de lgica.

6 Vase tambin
Sistema formal

Lgica

Lgica matemtica

Lgica bivalente

Lgica trivalente

Lgica plurivalente

Red neuronal

Inteligencia articial

Lgica paraconsistente

Sistema

Dinmica de sistemas
 5

9 Origen del texto y las imgenes, colaboradores y licencias

9.1 Texto
Lgica difusa Fuente: https://es.wikipedia.org/wiki/L%C3%B3gica_difusa?oldid=95966077 Colaboradores: Romero Schmidtke, 4lex,
Oblongo, Moriel, Sauron, JorgeGG, ManuelGR, Robbot, Dodo, Ascnder, Sms, Camilosw, Enric Naval, Benjavalero, Renabot, Jhoropopo,
Petronas, AlfonsoERomero, Emijrp, Rembiapo pohyiete (bot), RobotQuistnix, Unf, Unicacion, Yrbot, FlaBot, Vitamine, Didac, Yurik-
Bot, Chanchi, Baneld, Chlewbot, Folkvanger, CEM-bot, Alexav8, Baiji, Julian Mendez, Daniel JG, Ingenioso Hidalgo, Thijs!bot, Tatets,
Isha, JAnDbot, Joragupra, TXiKiBoT, Rei-bot, DonBarredora, VolkovBot, Technopat, Urumi, Matdrodes, Hornet69~eswiki, Muro Bot,
Numbo3, BotMultichill, SieBot, PaintBot, Ensada, Loveless, Macarrones, Apohis, Drinibot, Raul.lara, PipepBot, Tirithel, Jarisleif, Dnu72,
HUB, Alejandrocaro35, Nerika, Raulshc, AVBOT, Krzysiulek~eswiki, Angel GN, Diegusjaimes, Jorge.maturana, Arjuno3, Luckas-bot,
Ptbotgourou, Jorge 2701, Felipe Schenone, ArthurBot, Megustalastrufas, Xqbot, Jkbw, SassoBot, Rubinbot, Ricardogpn, Fgomez58, Jcra-
da, Afrasiab, EmausBot, JackieBot, Garciparedes, Acratta, LlamaAl, Elvisor, Santga, LauraBot, Alanvr7, Fran 81, Addbot, BrobdingnaG,
Sebastian.gesualdo, JacobRodrigues, Jarould, Matiia, BenjaBot, NoeliaBelenFerreyra, Lectorina y Annimos: 117

9.2 Imgenes
Archivo:SistemaDifuso.JPG Fuente: https://upload.wikimedia.org/wikipedia/commons/0/0c/SistemaDifuso.JPG Licencia: Public do-
main Colaboradores: ? Artista original: ?

9.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0