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 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. Se ha considerado de manera general que el
concepto de lgica difusa apareci en 1965, en la Universidad de California en
Berkeley, introducido por Lotfi A. Zadeh [7]. Las lgicas difusas, pues de hecho
hay que hablar de ellas en plural, son esencialmente lgicas multivaluadas que
extienden a las lgicas clsicas. Estas ltimas imponen a sus enunciados
nicamente valores falso o verdadero. Bien que stas han modelado
satisfactoriamente a una gran parte del razonamiento ``natural'', es cierto que
el razonamiento humano utiliza valores de verdad que no necesariamente son
``tan deterministas''. Por ejemplo, al calificar que ``el cielo es azul'' uno est
tentado a graduar qu tan ``azul'', en efecto, es el cielo, e igualmente, si ``un
vehculo se mueve rpido'', tambin se est obligado a considerar qu tan
rpido es el vehculo, aunque esto ltimo no implique necesariamente
cuantificar la velocidad del vehculo con toda precisin. Las lgicas difusas
procuran crear aproximaciones matemticas en la resolucin de ciertos tipos de
problemas. Pretenden producir resultados exactos a partir de datos imprecisos,
por lo cual son particularmente tiles en aplicaciones electrnicas o
computacionales. El adjetivo ``difuso'' aplicado a ellas se debe a que los valores
de verdad no-deterministas utilizados en ellas tienen, por lo general, una
connotacin de incertidumbre. Un vaso medio lleno, independientemente de
que tambin est medio vaco, no est lleno completamente ni est vaco
completamente. Qu tan lleno puede estar es un elemento de incertidumbre, es
decir, de difusidad, entendida esta ltima como una propiedad de
indeterminismo. Ahora bien, los valores de verdad asumidos por enunciados
aunque no son deterministas, no necesariamente son desconocidos. Por otra
parte, desde un punto de vista optimista, lo difuso puede entenderse como la
posibilidad de asignar ms valores de verdad a los enunciados que los clsicos
``falso'' o ``verdadero''. As pues, reiteramos, las lgicas difusas son tipos
especiales de lgicas multivaluadas. Las lgicas difusas han tenido aplicaciones
de suma relevancia en el procesamiento electrnico de datos.
Por estas propiedades es que ciertos sistemas de lgica difusa aparentan una
labor de aprendizaje, y son excelentes mecanismos de control de procesos.
Desde el punto de vista tecnolgico, las lgicas difusas se encuadran en el rea
de la llamada Inteligencia Artificial y han dado origen a sistemas expertos de
tipo difuso y a sistemas de control automtico.
En Inteligencia artificial, la lgica difusa, o lgica borrosa se utiliza para la resolucin de una
variedad de problemas, principalmente los relacionados con control de procesos industriales
complejos y sistemas de decisin en general, la resolucin la compresin de datos. Los sistemas
de lgica difusa estn tambin muy extendidos en la tecnologa cotidiana, por ejemplo en cmaras
digitales, sistemas de aire acondicionado, lavarropas, etc. Los sistemas basados en lgica difusa
imitan la forma en que toman decisiones los humanos, con la ventaja de ser mucho ms rpidos.
Estos sistemas son generalmente robustos y tolerantes a imprecisiones y ruidos en los datos de
entrada. Algunos lenguajes de programacin lgica que han incorporado la lgica difusa seran por
ejemplo las diversas implementaciones de Fuzzy PROLOG o el lenguaje Fril.
Consiste en la aplicacin de la lgica difusa con la intencin de imitar el razonamiento humano en
la programacin de computadoras. Con la lgica convencional, las computadoras pueden
manipular valores estrictamente duales, como verdadero/falso, s/no o ligado/desligado. En la
lgica difusa, se usan modelos matemticos para representar nociones subjetivas,
como caliente/tibio/fro, para valores concretos que puedan ser manipuladas por los ordenadores.