La lógica difusa tiene como base los denominados conjuntos difusos y posee un sistema de inferencia basado en reglas de producción "SI antecedente ENTONCES consecuente", donde los valores lingüísticos del antecedente y el consecuente están definidos por conjuntos difusos.
En la inteligencia artificial, la lógica difusa se encarga de analizar información de la realidad en una escala entre lo verdadero y lo falso y manipula conceptos vagos, por ejemplo: caliente, húmedo o despacio.
Esto permite a los ingenieros y expertos construir dispositivos que juzguen la información de una manera determinada y actúen tras interpretar esa información.
Un ejemplo de decisión sería: Si hace muchísimo calor, entonces pongo el aire acondicionado al máximo Existen algunos lenguajes de programación lógica, como PROLOG, que han incorporado lógica difusa en sus implementaciones.
Aquí podemos observar un ejemplo de implementación en PROLOG: Con la lógica tradicional, las computadoras sólo pueden trabajar con dos valores, 0 o 1 o verdadero o falso; pero en lógica difusa se emplean métodos matemáticos para describir estados subjetivos, es decir, se asocia un valor concreto para ese estado y según ese valor el computador actúa de una manera u otra dependiendo de cómo esté programado para actuar.