PFIA 2024
CNIA
IC
Techniques neurosymboliques probabilistes pour la classification supervisée informée par la logique
Arthur Ledaguenel, Céline Hudelot, Mostepha Khouadjia
L’IA neurosymbolique est un champ de recherche émergent dont l’objectif est de combiner les capacités d’apprentissage des réseaux de neurones avec les aptitudes de raisonnement des systèmes symboliques. Ce papier présente un formalisme pour la classification supervisée informée par la logique, décrit succintement les principales tâches et jeux de données traités par la littérature, puis détaille un ensemble de techniques neurosymboliques basées sur les logiques probabilistes et analyse leur complexité asymptotique.