IA e os Problemas Difíceis do Mundo · Ciência da computação teórica · arXiv · 2026-10-20
VoxLogicA2: Um verificador de modelos espacial para imagens médicas neuro-simbólicas (versão estendida)
Título original: VoxLogicA2: A Spatial Model Checker for Neuro-symbolic Medical Imaging (extended version)
A análise neurossimbólica de imagens médicas exige combinar o processamento por redes neurais com a lógica simbólica. Os autores apresentam o VoxLogicA2, um verificador de modelos espaciais cuja nova versão permite escrever operações lógicas e o treinamento e a predição de redes neurais em uma única linguagem declarativa. Sua eficiência aprimorada foi verificada, e estudos de caso anteriormente baseados em Python foram reexpressos usando apenas a especificação do VoxLogicA2.