AI dan Masalah-Masalah Sulit Dunia · Ilmu komputer teoretis · arXiv · 2026-10-20
VoxLogicA2: Pemeriksa Model Spasial untuk Pencitraan Medis Neuro-simbolik (versi diperluas)
Judul asli: VoxLogicA2: A Spatial Model Checker for Neuro-symbolic Medical Imaging (extended version)
Analisis citra medis neuro-simbolik memerlukan pemrosesan jaringan saraf dan logika simbolik yang digabungkan. Para penulis memperkenalkan VoxLogicA2, sebuah pemeriksa model spasial yang versi barunya memungkinkan operasi logika serta pelatihan dan prediksi jaringan saraf ditulis dalam satu bahasa deklaratif. Peningkatan efisiensinya telah diverifikasi, dan studi kasus yang sebelumnya berbasis Python dinyatakan ulang hanya dengan spesifikasi VoxLogicA2.