الذكاء الاصطناعي ومشكلات العالم الصعبة · علوم الحاسوب النظرية · arXiv · 2026-10-20

VoxLogicA2: مدقق نماذج مكاني للتصوير الطبي العصبي الرمزي (نسخة موسّعة)

العنوان الأصلي: VoxLogicA2: A Spatial Model Checker for Neuro-symbolic Medical Imaging (extended version)

يتطلب تحليل الصور الطبية العصبي-الرمزي الجمع بين معالجة الشبكات العصبية والمنطق الرمزي. يقدّم المؤلفون VoxLogicA2، وهو مدقِّق نماذج مكاني تتيح نسخته الجديدة كتابة العمليات المنطقية وتدريب الشبكات العصبية والتنبؤ بها في لغة تصريحية واحدة. وقد جرى التحقق من تحسّن كفاءته، وأُعيدت صياغة دراسات الحالة التي كانت مبنية سابقًا على Python باستخدام مواصفات VoxLogicA2 وحدها.

اقرأ المصدر الأصلي ↗

جميع العناصر →