Glossário IA
O dicionário completo da Inteligência Artificial
DNF-Net
Arquitetura de rede neural projetada para aprender e representar regras lógicas na forma normal disjuntiva (FND), combinando interpretabilidade e desempenho preditivo.
Literal Lógico
Variável proposicional ou sua negação, constituindo a unidade básica em uma expressão lógica na forma normal disjuntiva.
Conjunção de Literais
Cláusula elementar da FND combinando vários literais por um operador E lógico, representando uma condição específica a ser satisfeita.
Aprendizagem de Regras Lógicas
Processo pelo qual um modelo DNF-Net extrai automaticamente regras lógicas interpretáveis a partir de dados estruturados.
Ativação Binária
Função de ativação dos neurônios em um DNF-Net produzindo saídas binárias (0 ou 1) para modelar diretamente a verdade dos literais lógicos.
Camada de Conjunção
Camada neural especializada que implementa o operador E lógico para combinar as ativações dos literais em cláusulas conjuntivas.
Camada de Disjunção
Camada final do DNF-Net que realiza o operador OU lógico para agregar as saídas das cláusulas conjuntivas na previsão final.
Binarização de Features
Pré-processamento de variáveis contínuas em variáveis binárias para facilitar sua interpretação como literais lógicos no DNF-Net.
Expressão Lógica Aprendida
Fórmula DNF final extraída da rede treinada, representando o conhecimento adquirido na forma de regras lógicas explícitas.
Interpretabilidade Simbólica
Capacidade da DNF-Net de produzir modelos compreensíveis por humanos na forma de símbolos lógicos, em vez de pesos numéricos opacos.
Gating Network
Mecanismo na DNF-Net que controla a ativação seletiva de diferentes cláusulas conjuntivas com base nas características de entrada.
Regra de Extração
Algoritmo pós-treinamento que converte os pesos da rede neural em uma expressão lógica formal equivalente em DNF.
Disjunção de Conjunções
Estrutura matemática fundamental da DNF-Net onde a saída final é um OU lógico de vários E lógicos de condições.
Neurônio Lógico
Unidade de cálculo especializada na DNF-Net que implementa diretamente uma operação lógica (E ou OU) em vez de uma combinação linear clássica.
Otimização Booleana
Processo de treinamento da DNF-Net visando ajustar os parâmetros para minimizar o erro de classificação, respeitando as restrições lógicas.
Cláusula de Decisão
Conjunção específica de literais na DNF-Net correspondendo a uma regra de decisão parcial que contribui para a previsão final.
Separabilidade Linear Lógica
Propriedade dos dados que podem ser corretamente classificados por uma expressão lógica em FND, condição de otimalidade para a DNF-Net.
Quantificação de Literais
Processo de determinação automática da importância relativa de cada literal lógico nas cláusulas da DNF-Net.