Глоссарий ИИ
Полный словарь искусственного интеллекта
DNF-Net
Архитектура нейронной сети, разработанная для обучения и представления логических правил в виде дизъюнктивной нормальной формы (ДНФ), сочетающая интерпретируемость и предиктивную производительность.
Логический литерал
Пропозициональная переменная или её отрицание, составляющая базовую единицу в логическом выражении в дизъюнктивной нормальной форме.
Конъюнкция литералов
Элементарная клауза ДНФ, объединяющая несколько литералов логическим оператором И, представляющая конкретное условие для выполнения.
Обучение логических правил
Процесс, в ходе которого модель DNF-Net автоматически извлекает интерпретируемые логические правила из структурированных данных.
Бинарная активация
Функция активации нейронов в DNF-Net, производящая бинарные выходы (0 или 1) для прямого моделирования истинности логических литералов.
Конъюнктивный слой
Специализированный нейронный слой, реализующий логический оператор И для объединения активаций литералов в конъюнктивные клаузы.
Дизъюнктивный слой
Финальный слой DNF-Net, реализующий логический оператор ИЛИ для агрегации выходов конъюнктивных клауз в окончательное предсказание.
Бинаризация признаков
Предварительная обработка непрерывных переменных в бинарные переменные для облегчения их интерпретации в качестве логических литералов в 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.
Логическая линейная разделимость
Свойство данных, которые могут быть правильно классифицированы с помощью логического выражения в дизъюнктивной нормальной форме (ДНФ), условие оптимальности для DNF-Net.
Квантификация литералов
Процесс автоматического определения относительной важности каждого логического литерала в клаузах DNF-Net.