La lógica difusa es un método de razonamiento estadístico que permite especificar los problemas de control del mundo real en términos probabilísticos, sin necesidad de recurrir a modelos matemáticos y con un nivel de abstracción mucho más elevado.
Se diferencia de la lógica simbólica en los conceptos que utiliza para referirse a una realidad, en la lógica formal se utilizan conceptos absolutos mientras que la lógica difusa la define la realida en grados variables de pertenencia a los mismos, siguiendo patrones de razonamiento similares a los del pensamiento humano. Las condiciones extremas o absolutas asumidas por la lógica formal son solo un caso particular dentro de lógica difusa.