AI na Matatizo Magumu ya Ulimwengu · Sayansi ya kompyuta ya kinadharia · arXiv · 2026-10-20
VoxLogicA2: Kikagua Modeli cha Anga kwa Upigaji Picha wa Kimatibabu wa Neuro-symbolic (toleo lililopanuliwa)
Kichwa asilia: VoxLogicA2: A Spatial Model Checker for Neuro-symbolic Medical Imaging (extended version)
Uchambuzi wa picha za kimatibabu wa neuro-symbolic unahitaji usindikaji wa mtandao wa neva na mantiki ya kiishara kuunganishwa. Waandishi wanawasilisha VoxLogicA2, kikagua-mfano cha anga ambacho toleo lake jipya huruhusu shughuli za kimantiki pamoja na mafunzo na utabiri wa mtandao wa neva kuandikwa kwa lugha moja ya kutangaza. Ufanisi wake ulioboreshwa ulithibitishwa, na tafiti kifani zilizokuwa zikitumia Python hapo awali ziliandikwa upya kwa kutumia tu vipimo vya VoxLogicA2.