نموذج العد

الذكاء الاصطناعي

قبل أن تطلب من الذكاء الاصطناعي التفكير، حاول تنظيف مدخلاته أولاً

يُظهر باحثو CRIL أن تقنيات المعالجة المسبقة التي تحافظ على عدد النماذج تُسرع بشكل كبير من عمليات أخذ عينات النماذج، وتعدادها، واستعلامات الوصول المباشر عندما يتم تحويل الصيغ إلى دوائر d-DNNF. تختبر الدراسة 1,425 معيارًا وتظهر أن إزالة المتغيرات المحددة مع ترتيبات متوافقة تحل ما يصل إلى 47 حالة إضافية مقارنة بعدم وجود معالجة مسبقة.

2026-07-29