AI और दुनिया की कठिन समस्याएँ · सैद्धांतिक कंप्यूटर विज्ञान · arXiv · 2026-10-20

VoxLogicA2: न्यूरो-प्रतीकात्मक चिकित्सा इमेजिंग के लिए एक स्थानिक मॉडल चेकर (विस्तारित संस्करण)

मूल शीर्षक: VoxLogicA2: A Spatial Model Checker for Neuro-symbolic Medical Imaging (extended version)

न्यूरो-सिम्बोलिक मेडिकल इमेज विश्लेषण के लिए न्यूरल नेटवर्क प्रोसेसिंग और सिम्बोलिक लॉजिक को एक साथ जोड़ना आवश्यक है। लेखक VoxLogicA2 प्रस्तुत करते हैं, जो एक स्थानिक मॉडल चेकर है और जिसका नया संस्करण तार्किक संक्रियाओं तथा न्यूरल नेटवर्क के प्रशिक्षण और पूर्वानुमान को एक ही घोषणात्मक भाषा में लिखने की सुविधा देता है। इसकी बेहतर दक्षता सत्यापित की गई, और पहले Python-आधारित केस स्टडी को केवल VoxLogicA2 विनिर्देश का उपयोग करके दोबारा व्यक्त किया गया।

मूल लेख पढ़ें ↗

सभी आइटम →