La IA y los problemas difíciles del mundo · Informática teórica · arXiv · 2026-10-20
VoxLogicA2: un verificador de modelos espacial para imágenes médicas neuro-simbólicas (versión extendida)
Título original: VoxLogicA2: A Spatial Model Checker for Neuro-symbolic Medical Imaging (extended version)
El análisis neurosimbólico de imágenes médicas requiere combinar el procesamiento mediante redes neuronales con la lógica simbólica. Los autores presentan VoxLogicA2, un verificador de modelos espaciales cuya nueva versión permite escribir operaciones lógicas y el entrenamiento y la predicción de redes neuronales en un único lenguaje declarativo. Se verificó su mayor eficiencia y se reformularon, usando únicamente la especificación de VoxLogicA2, estudios de caso que antes estaban basados en Python.