Siguiente: Bibliography Un nivel arriba: Introducción a la lógica Anterior: Cálculo de predicados difuso

Problema fundamental de la lógica difusa

Se puede identificar como problema fundamental el de inferencia enunciado anteriormente. En efecto, un programa de lógica difusa corresponde de una lista de parejas $\left[(\phi_i,v(\phi_i))\right]_i$ consistente, cada una, de una fórmula y de un valor de verdad asociado. En estas condiciones se ha de resolver el problema de inferencia: Determinar los valores de verdad que debieron haber asumido los átomos involucrados para obtener las condiciones establecidas en el programa lógico. En jerga técnica, decimos que se ha de satisfacer la consulta (query satisfaction) planteada por el programa lógico. Existen diversos procedimientos para localizar una solución a este problema, y tanto en el artículo de Mauricio Osorio como en el conjunto de José Alfredo Amor y Raymundo Morado se presentan técnicas, considerando lógicas deterministas. Propiamente las técnicas pueden repetirse aquí, mas en este caso, se ha de tener especial cuidado en el manejo de valores de incertidumbre. No abundamos más en este tema y remitimos al lector a la literatura especializada.