RECHERCHE
DeepSWIP : raisonnement contrefactuel pour programmes de logique probabiliste neurale
DeepSWIP introduit une sémantique causale contrefactuelle pour DeepProbLog, combinant interventions et comptage de modèles pondérés en un seul programme transformé.
arXiv cs.AI · cs.LG · cs.CL·Saimun Habib, Vaishak Belle, Fengxiang He·18 juin 2026
Image · Source originale
Les systèmes neuro-symboliques comme DeepProbLog associent perception neurale et logique probabiliste, mais se limitent à une inférence associative. DeepSWIP étend ce cadre avec une sémantique causale Single-World Intervention Programs (SWIP), permettant un raisonnement contrefactuel exact via weighted model counting (WMC). Les expériences sur MPI3D valident la transformation face à 12 000 requêtes avec un gain de vitesse de 2,14× par rapport à l'approche Twin. Un estimateur AIPW à portée correcte réduit significativement le biais de premier ordre.
Chaleur 16
Pertinence 52
Nouveauté 74