في عالم البرمجة، تعتبر البرمجة القياسية (Constraint Programming) إحدى الأدوات القوية لحل المشكلات التركيبية، لكن التحويل بين أوصاف المشكلات الطبيعية والنماذج القابلة للتنفيذ لا يزال يُمثل نقطة ضعف كبيرة. ومع دخول نماذج اللغات الضخمة (Large Language Models) إلى الساحة، ظهر بصيص أمل في أتمتة هذا التحويل، رغم معاناتها من الأخطاء الدلالية الدقيقة عند عدم وجود تحقق موثوق من صحة المدخلات في وقت الاختبار.

لذا، نعرض لكم اليوم نظام CP-SynC (نموذج البرمجة القياسية مع فاحصين مُركَّبين)، وهو تدفق عمل متعدد الوكلاء يتيح نمذجة القيود دون الحاجة إلى أي تدريب مسبق في بيئة MiniZinc. يقوم CP-SynC بتنسيق وكلاء النمذجة الذين يولدون ويقومون بتحسين النماذج المقترحة، كما يشمل وكلاء التحقق الذين يقومون بإنشاء فاحصين دلاليين يقدمون ملاحظات حول صحة النماذج المدخلة.

للتقليل من الضوضاءالموجودة في نتائج نماذج اللغات الضخمة الفردية، يستكشف CP-SynC مسارات نمذجة متعددة في وقت واحد، مستخدماً وكلاء الاختيار لاختيار النموذج النهائي من خلال تجميع الأدلة من عدة وكلاء. أظهرت التجارب الواسعة التي أُجريت على مجموعة مرجعية تضم 100 مشكلة برمجية أن CP-SynC يتفوق بشكل ملحوظ على المعايير الحالية في نمذجة MiniZinc، مما يدل على قدرته الفائقة على تحسين دقة الحلول البرمجية.