L'IA face aux grands problèmes du monde · Informatique théorique · arXiv · 2026-10-20
VoxLogicA2 : un vérificateur de modèles spatial pour l'imagerie médicale neuro-symbolique (version étendue)
Titre original: VoxLogicA2: A Spatial Model Checker for Neuro-symbolic Medical Imaging (extended version)
L'analyse neuro-symbolique d'images médicales exige de combiner le traitement par réseaux de neurones et la logique symbolique. Les auteurs présentent VoxLogicA2, un vérificateur de modèles spatial dont la nouvelle version permet d'écrire dans un seul langage déclaratif des opérations logiques ainsi que l'entraînement et la prédiction de réseaux de neurones. Son efficacité améliorée a été vérifiée, et des études de cas auparavant réalisées en Python ont été reformulées en utilisant uniquement la spécification VoxLogicA2.