KI und die schwierigen Probleme der Welt · Theoretische Informatik · arXiv · 2026-10-20
VoxLogicA2: Ein räumlicher Model Checker für neuro-symbolische medizinische Bildgebung (erweiterte Fassung)
Originaltitel: VoxLogicA2: A Spatial Model Checker for Neuro-symbolic Medical Imaging (extended version)
Neurosymbolische medizinische Bildanalyse erfordert, dass die Verarbeitung durch neuronale Netze und symbolische Logik kombiniert werden. Die Autoren stellen VoxLogicA2 vor, einen räumlichen Modellprüfer, dessen neue Version es erlaubt, logische Operationen sowie das Training und die Vorhersage neuronaler Netze in einer einzigen deklarativen Sprache zu formulieren. Die verbesserte Effizienz wurde überprüft, und zuvor Python-basierte Fallstudien wurden allein mithilfe der VoxLogicA2-Spezifikation neu ausgedrückt.