Glosario IA
El diccionario completo de la Inteligencia Artificial
DNF-Net
Arquitectura de red neuronal diseñada para aprender y representar reglas lógicas en forma de Forma Normal Disyuntiva (FND), combinando interpretabilidad y rendimiento predictivo.
Literal Lógico
Variable proposicional o su negación que constituye la unidad básica en una expresión lógica en forma normal disyuntiva.
Conjunción de Literales
Cláusula elemental de la FND que combina varios literales mediante un operador Y lógico, representando una condición específica a satisfacer.
Aprendizaje de Reglas Lógicas
Proceso mediante el cual un modelo DNF-Net extrae automáticamente reglas lógicas interpretables a partir de datos estructurados.
Activación Binaria
Función de activación de las neuronas en un DNF-Net que produce salidas binarias (0 o 1) para modelar directamente la verdad de los literales lógicos.
Capa de Conjunción
Capa neuronal especializada que implementa el operador Y lógico para combinar las activaciones de los literales en cláusulas conyuntivas.
Capa de Disyunción
Capa final del DNF-Net que realiza el operador O lógico para agregar las salidas de las cláusulas conyuntivas en la predicción final.
Binarización de Características
Preprocesamiento de variables continuas en variables binarias para facilitar su interpretación como literales lógicos en el DNF-Net.
Expresión Lógica Aprendida
Fórmula FND final extraída de la red entrenada, representando el conocimiento adquirido en forma de reglas lógicas explícitas.
Interpretabilidad Simbólica
Capacidad del DNF-Net para producir modelos comprensibles por los humanos en forma de símbolos lógicos en lugar de pesos numéricos opacos.
Red de Puerta
Mecanismo en el DNF-Net que controla la activación selectiva de las diferentes cláusulas conjuntivas según las características de entrada.
Regla de Extracción
Algoritmo post-entrenamiento que convierte los pesos de la red neuronal en una expresión lógica formal equivalente en FND.
Disyunción de Conjunciones
Estructura matemática fundamental del DNF-Net donde la salida final es un OR lógico de varios AND lógicos de condiciones.
Neurona Lógica
Unidad de cálculo especializada en el DNF-Net que implementa directamente una operación lógica (AND u OR) en lugar de una combinación lineal clásica.
Optimización Booleana
Proceso de entrenamiento del DNF-Net que busca ajustar los parámetros para minimizar el error de clasificación mientras respeta las restricciones lógicas.
Cláusula de Decisión
Conjunción específica de literales en el DNF-Net que corresponde a una regla de decisión parcial contribuyendo a la predicción final.
Séparabilidad Lineal Lógica
Propiedad de los datos que pueden ser correctamente clasificados por una expresión lógica en FND, condición de optimalidad para el DNF-Net.
Cuantificación de Literales
Proceso de determinación automática de la importancia relativa de cada literal lógico en las cláusulas del DNF-Net.