Algo sobre Lógica
Difusa
Recomendamos visitar un site de matemáticos especializados
en Sistemas Expertos,
Inteligencia Artificial y Control de Procesos: http://www.mathworks.com/products/fuzzylogic/index.shtml
que ofrecen un paquete de lógica matemática: Fuzzy
Logic ToolBox aplicada a la lógica difusa y MATLAB
Toolbox del que puede solicitarse un "kit" gratuito a info@mathworks.com. De todos ellos hemos
extraído la siguiente síntesis:
La lógica difusa
se ha convertido en una de las tecnologías más exitosas para el desarrollo de Sistemas de Control sofisticados. La lógica
difusa es muy "humana" con infinitos matices entre lo verdadero y lo
falso entre un SI y un NO pues nuestro lenguaje es justamente vago, difuso y
eminentemente subjetivo. Por ejemplo, ¿cómo se puede llegar a precisar el
"valor de verdad de proposiciones tales como:
Pedro es rico; Juan es alto.
Este tipo de problemas aparece también cuando se busca introducir la sabiduría
profesional, por ejemplo médica, a la computadora, particularmente tratando de
cuantificar la lógica esencialmente difusa de la medicina clínica con
expresiones tales como:
muy..
más o menos...
algo...
más bien...
una especie de...
Aplicado a "tal o cual cosa".
La lógica formal
es la lógica Aristotélica, que dice que una cosa es o verdadera o falsa estando
excluida una tercera acepción para el valor de verdad de una proposición: Principio del Tercero Excluido de Parménides,
400 a.C. La lógica difusa nace con Platón
y en tiempos mucho más recientes con Lukasiewicz
quien plantea el espectro de lo posible entre lo verdadero y lo falso y explora
una lógica de 3, 4, 5 y más elementos.
La lógica difusa tal como es hoy concebida ha sido creada
por Lotfi A. Zadeh, Profesor
de la Universidad de Berkeley en el
año 1965 con su "Fuzzy Logic" y "Fuzzy
Subsets", subconjuntos difusos, que considera valores de
verdad sobre el rango de los números reales comprendidos entre 0.0 y 1.0,
correspondiendo a esos extremos. Pueden verse algunas aplicaciones de ésta
lógica en FuzzyTech http://www.fuzzytech.com .