La lgica difusa, tambin conocida como lgica heurstica, es el modo de procesamiento de la informacin basado en lo relativo del fenmeno observado desde una posicin y contexto en particular.
Es una forma de lgica de mltiples valores o lgica probabilstica. sta trata con el razonamiento, el cual es aproximado y no fijo y exacto.
La lgica difusa permite valores y deducciones aproximadas, como tambin informacin ambigua o incompleta (datos difusos) en lugar de basarse solo en valores precisos (elecciones binarias SI/NO).
El trmino fuzzy logic o lgica difusa fue presentado con la propuesta de 1965, de la teora de los conjuntos difusos por Lotfi A. Zadeh.
Sin embargo, la logica difusa se estudia desde la dcada de 1920 como lgica de valores infinitos, por Lukasiewicz y Tarski. El hecho de que fuera inventada por Zadeh es una idea popular falsa.
Los primeros en utilizar la lgica difusa para aplicaciones prcticas fueron los japoneses.
Lukasiewicz Tarski Ambas trabajan con valores de verdad infinitos entre 0 y 1, pero con diferentes interpretaciones.
En la lgica difusa corresponden a grados de verdad, mientras que la lgica probabilstica corresponde a probabilidad, similitud.
La lgica difusa y la lgica probabilstica trabajan con diferentes modelos de las mismas situaciones del mundo real.
En lgica difusa se utilizan con frecuencia variables lingsticas no numricas con el fin de facilitar la expresin de reglas y hechos.
La lgica difusa se basa en reglas heursticas de la forma SI (antecedente) ENTONCES (consecuente). Las reglas por lo general son expresadas en la forma:
SI variable EST propiedad ENTONCES accin.
SI temperatura EST muy fra ENTONCES apaga abanico. SI temperatura EST fra ENTONCES frena abanico. SI temperatura EST normal ENTONCES mantn el nivel. SI temperatura EST caliente ENTONCES acelera abanico.
No hay un SI NO, todas las reglas son evaluadas pues la temperatura podra estar fra y normal al mismo tiempo a diferentes grados de verdad.
En la lgica difusa se pueden aplicar los operadores lgicos AND, OR, NOT, definidos por lo general como el mnimo, mximo y complemento, cuando se definen de esta manera son llamados operadores Zadeh.
NOT x = (1 x)
x AND y = mnimo(x,y)
x OR y = mximo(x,y)
Al igual como se utilizan valores lingsticos, tambin son aplicados operadores lingsticos. Por lo general son adverbios como muy, algo, poco, levemente, entre otros.
La lgica difusa se utiliza cuando la complejidad del proceso en cuestin es muy alta y no existen modelos matemticos precisos, para procesos altamente no lineales y cuando se envuelven definiciones y conocimiento no estrictamente definido (impreciso o subjetivo). En cambio, no es una buena idea usarla cuando algn modelo matemtico ya soluciona eficientemente el problema, cuando los problemas son lineales o cuando no tienen solucin. Esta tcnica se ha empleado con bastante xito en la industria, principalmente en Japn, y cada vez se est usando en gran multitud de campos. La primera vez que se us de forma importante fue en el metro japons, con excelentes resultados. A continuacin se citan algunos ejemplos de su aplicacin:
Sistemas de control de acondicionadores de aire Sistemas de foco automtico en cmaras fotogrficas Electrodomsticos familiares (frigorficos, lavadoras...) Optimizacin de sistemas de control industriales Sistemas de escritura Mejora en la eficiencia del uso de combustible en motores Sistemas expertos del conocimiento (simular el comportamiento de un experto humano) Tecnologa informtica Bases de datos difusas: Almacenar y consultar informacin imprecisa. Para este punto, por ejemplo, existe el lenguaje FSQL. ...y, en general, en la gran mayora de los sistemas de control que no dependen de un S/No.