Glossaire IA
Le dictionnaire complet de l'Intelligence Artificielle
DNF-Net
Architecture de réseau de neurones conçue pour apprendre et représenter des règles logiques sous forme de Forme Normale Disjonctive (FND), combinant interprétabilité et performance prédictive.
Littéral Logique
Variable propositionnelle ou sa négation constituant l'unité de base dans une expression logique en forme normale disjonctive.
Conjonction de Littéraux
Clause élémentaire de la FND combinant plusieurs littéraux par un opérateur ET logique, représentant une condition spécifique à satisfaire.
Apprentissage de Règles Logiques
Processus par lequel un modèle DNF-Net extrait automatiquement des règles logiques interprétables à partir de données structurées.
Activation Binaire
Fonction d'activation des neurones dans un DNF-Net produisant des sorties binaires (0 ou 1) pour modéliser directement la vérité des littéraux logiques.
Couche de Conjonction
Couche neuronale spécialisée implémentant l'opérateur ET logique pour combiner les activations des littéraux en clauses conjonctives.
Couche de Disjonction
Couche finale du DNF-Net réalisant l'opérateur OU logique pour agréger les sorties des clauses conjonctives en prédiction finale.
Binarisation de Features
Prétraitement des variables continues en variables binaires pour faciliter leur interprétation comme littéraux logiques dans le DNF-Net.
Expression Logique Apprise
Formule FND finale extraite du réseau entraîné, représentant la connaissance acquise sous forme de règles logiques explicites.
Interprétabilité Symbolique
Capacité du DNF-Net à produire des modèles compréhensibles par les humains sous forme de symboles logiques plutôt que de poids numériques opaques.
Gating Network
Mécanisme dans le DNF-Net contrôlant l'activation sélective des différentes clauses conjonctives en fonction des caractéristiques d'entrée.
Règle d'Extraction
Algorithme post-entraînement convertissant les poids du réseau neuronal en une expression logique formelle équivalente en FND.
Disjonction de Conjonctions
Structure mathématique fondamentale du DNF-Net où la sortie finale est un OU logique de plusieurs ET logiques de conditions.
Neurone Logique
Unité de calcul spécialisée dans le DNF-Net implémentant directement une opération logique (ET ou OU) plutôt qu'une combinaison linéaire classique.
Optimisation Booléenne
Processus d'entraînement du DNF-Net visant à ajuster les paramètres pour minimiser l'erreur de classification tout en respectant les contraintes logiques.
Clause de Décision
Conjonction spécifique de littéraux dans le DNF-Net correspondant à une règle de décision partielle contribuant à la prédiction finale.
Séparabilité Linéaire Logique
Propriété des données pouvant être correctement classifiées par une expression logique en FND, condition d'optimalité pour le DNF-Net.
Quantification de Littéraux
Processus de détermination automatique de l'importance relative de chaque littéral logique dans les clauses du DNF-Net.