La lógica difusa es un tipo de matemáticas y programación que representa con mayor precisión cómo el cerebro humano categoriza los objetos, evalúa las condiciones y procesa las decisiones. En el sistema lógico tradicional, un elemento que pertenece o no estrictamente a un grupo se denomina conjunto. Por ejemplo, un animal es o no es un perro. La lógica difusa permite que un objeto pertenezca a un conjunto en cierto grado o con cierta confianza. Las aplicaciones de la lógica difusa en los sistemas informáticos contemporáneos son demasiado numerosas para citarlas, pero controlan cosas como mezclas de calentamiento y piezas de herramientas.
El mundo es increíblemente complejo, tanto en amplitud como en profundidad. De alguna manera, es difícil adherirse a las limitaciones lógicas de la teoría de conjuntos tradicional al describir cómo se toman las decisiones diarias simples, como cocinar un asado o conducir con tráfico. Sin embargo, se espera que las computadoras tomen estas decisiones simplificando o colapsando la complejidad y sin tener en cuenta la incertidumbre. La lógica difusa fue inventada y acuñada por el Dr. Lotfi Zadeh en UC Berkeley en 1965, cuando pensaba en matemáticas, lingüística y sentido común.
Para comprender cómo la lógica difusa no es un sistema vago y tentativo, pero puede usarse de manera muy práctica para enseñar a las computadoras cómo tomar decisiones, un ejemplo puede ser útil. Comenzando con la regla, “No hay perros en la casa”, lógicamente esto significa que SI el objeto es un perro, ENTONCES no debe estar en la casa. De alguna manera, se puede deducir que se permitirá la entrada a un animal de peluche parecido a un dálmata, pero no a un dálmata vivo real. Sin embargo, pueden quedar algunas preguntas, como si se permiten perros lazarillos o si se permiten animales que son mitad husky y mitad lobo en el interior.
La lógica difusa permite estos intermedios cuando se trata de cumplir con los requisitos e inicializar las consecuencias. En lugar de ser un animal absolutamente perteneciente al grupo de los perros, puede pertenecer hasta cierto punto. Un golden retriever podría tener un valor asociado de 1.0, lo más cercano a un perro «completamente» como sea posible, mientras que un Chihuahua podría tener 0.8, debido a su tamaño. Un perro lazarillo puede tener un valor de solo 0.4, ya que a menudo se permite donde no se permiten otros perros.
Este sistema flexible resuelve problemas y controla máquinas que un sistema lógico simplista no podría. La salida, o la decisión, siempre es clara y no borrosa; en otras palabras, la salida es siempre «nítida». Con el tiempo, el perro está en la casa o en el porche, nunca está a la mitad. Por eso, «borroso» no significa inseguro o desconocido.