CVPD at QIAS 2026: RAG-Guided LLM Reasoning for Al-Mawarith Share Computation and Heir Allocation
تقدم الورقة البحثية مساراً للتوليد المعزز بالاسترجاع (RAG) يجمع بين البيانات الاصطناعية القائمة على القواعد، والاسترجاع الهجين مع إعادة ترتيب باستخدام المشفر المتقاطع، والتحقق المقيد بالمخطط (schema) لتحقيق أداء رائد في حساب حصص الميراث الإسلامي وتوزيعها على الورثة، مما ضمن المركز الأول في لوحة صدارة مسابقة QIAS 2026.
إليك شرح للورقة البحثية، مترجماً من المصطلحات الأكاديمية المعقدة إلى قصة يمكنك فهمها أثناء احتساء كوب من القهوة.
المشكلة الكبرى: "وصفة العائلة" المليئة بالرياضيات
تخيل تجمعاً عائلياً حيث توفي الجد. حضر 20 قريباً، وكل منهم يطالب بقطعة من الفطيرة. لكن هناك شرط: قانون الميراث الإسلامي ليس مجرد تقسيم للفطيرة بالتساوي؛ بل هو وصفة معقدة للغاية ومتعددة الخطوات.
من يحق له الدخول؟ (بعض الأقارب يُحجبون من الميراث إذا وُجد قريب أقرب منهم).
من يحصل على حصة ثابتة؟ (الزوجات، الآباء، والبنات لديهم نسب محددة وغير قابلة للتغيير).
من يحصل على الباقي؟ (البقية تذهب للأبناء أو الإخوة).
"خلل رياضي": أحياناً مجموع الحصص الثابتة يزيد عن 100% (الفطيرة أصغر من المطلوب)، أو يقل عن 100% (هناك فطيرة زائدة). القانون لديه قواعد خاصة لإصلاح هذه الأخطاء الرياضية.
التحدي الذي يواجه الحواسيب هو أن هذا ليس مجرد "قراءة" لقصة، بل هو حل لغز منطقي حيث يمكن لخطأ صغير واحد في الرياضيات أو القواعد أن يفسد الإجابة بأكملها.
الحل: "أمين المكتبة الخارق" + "المحرر الصارم"
قام الفريق (CVPD) ببناء نظام للفوز بمسابقة تسمى QIAS 2026. لم يقوموا بمجرد تدريب روبوت لـ "تخمين" الإجابة، بل بنوا فريقاً مكوناً من ثلاثة أجزاء:
1. الطباخ الاصطناعي (مولد البيانات)
قبل تعليم الروبوت، أدركوا أنهم بحاجة إلى مسائل تدريبية أكثر مما هو موجود في العالم الحقيقي.
التشبيه: تخيل طباخاً لا يكتفي بطبخ وجبات حقيقية، بل يستخدم الكمبيوتر لإنشاء 100,000 وصفة وهمية ولكنها مثالية.
ماذا فعلوا: كتبوا برنامج كمبيوتر صارم ("حاسبة رمزية") يتبع القواعد القانونية بدقة لإنشاء سيناريوهات عائلية وهمية وحلولها المثالية. منح هذا الذكاء الاصطنا artificial intelligence مكتبة ضخمة من "الإجابات الصحيحة" ليتعلم منها، مما ضمن فهمه للرياضيات بشكل مثالي قبل أن يحاول التحدث.
2. أمين المكتبة الخارق (نظام RAG)
عندما يتلقى الذكاء الاصطناعي سؤالاً حقيقياً، فإنه لا يعتمد فقط على ذاكرته، بل يعمل مثل أمين مكتبة خارق.
التشبيه: إذا سألت أمين مكتبة عادياً سؤالاً، فقد يخمن بناءً على ما يتذكره. أما إذا سألت أمين المكتبة الخارق، فسيجري فوراً إلى الرفوف، ويخرج أفضل 5 كتب ذات صلة، ويقدمها لك لتقرأها قبل أن يجيب.
كيف عمل النظام: استخدم النظام طريقتين للبحث (واحدة لمعنى الكلمات والأخرى للكلمات الدقيقة) للعثور على أكثر الحالات الماضية تشابهاً في مكتبتهم. ثم استخدم "المشفّر المتقاطع" (Cross-Encoder) - وهو فلتر ذكي - لاختيار أفضل الأمثلة لتقديمها للذكاء الاصطناعي. هذا يضمن أن الذكاء الاصطناعي ينظر إلى "السوابق" الصحيحة قبل أن يتحدث.
3. المحرر الصارم (المُدقق)
هذا هو السر وراء نجاحهم. حتى أذكى ذكاء اصطناعي قد يصبح مهملًا؛ فقد ينسى فاصلة، أو يخطئ في اسم، أو يجعل الحسابات تصل إلى 101%.
التشبيه: تخيل محرراً صارماً يرفض طباعة صحيفة ما لم يتناسب كل عنوان مع النموذج، وتكون كل الأرقام فيها دقيقة تماماً، وتُكتب كل الأسماء بشكل صحيح. إذا ارتكب الذكاء الاصطناعي خطأً، يقوم المحرر بإصلاحه أو رفضه.
ماذا فعلوا: بنوا "شبكة أمان" تتحقق من مخرجات الذكاء الاصطناعي مقابل قائمة مراجعة صارمة. هل ذكر جميع الورثة؟ هل الرياضيات صحيحة؟ هل التنسيق صحيح؟ إذا لم يكن الأمر كذلك، يتم إصلاحه تلقائياً.
النتيجة: الفوز بالسباق
كانت المسابقة (QIAS 2026) بمثابة الأولمبياد للذكاء الاصطناعي القانوني.
الدرجة: سجلوا 0.935 (من أصل 1.0).
الترتيب: حصلوا على المركز الأول.
لماذا فازوا: حاولت الفرق الأخرى جعل الذكاء الاصطناعي "أذكى" باستخدام نماذج أكبر. لكن الفريق الفائز أدرك أن الموثوقية أهم من الذكاء الخام. من خلال تزويد الذكاء الاصطراعي بمكتبة من الأمثلة المثالية (الاسترجاع/Retrieval) ومحرر صارم لمراجعة واجباته (التحقق/Validation)، حلوا المشكلة بشكل أفضل من أي شخص آخر.
لحظات "وجدتها!" (الدروس المستفادة)
لا تثق بـ "الإنترنت": عندما اختبر الفريق البحث في الإنترنت المفتوح عن إجابات، ارتبك الذكاء الاصطناعي بسبب المعلومات السيئة. البحث في ملفاتهم الـ PDF المنظمة والمثالية (أمين المكتبة الخارق الذي يمتلك الكتب الجيدة فقط) كان أفضل بنسبة 100%.
"الرياضيات" أصعب من "اللغة": كان الذكاء الاصطناعي بارعاً في فهم الكلمات العربية، لكن المشكلة كانت في المنطق. لم تكن الأخطاء بسبب عدم معرفة الذكاء الاصطناعي باللغة، بل لأنه أخطأ في الرياضيات أو قواعد الحجب.
الهندسة تتفوق على السحر: لا تحتاج إلى ذكاء اصطناعي "سحري" يعرف كل شيء؛ بل تحتاج إلى آلة تعمل بسلاسة، تراجع عملها، تستخدم المراجع الصحيحة، وتتبع القواعد بصرامة.
باختصار
لم يبنِ الفريق مجرد روبوت ذكي، بل بنوا روبوتاً لديه دليل مرجعي ورئيس صارم. من خلال الجمع بين مكتبة ضخمة من الأمثلة القانونية المثالية ونظام يدقق في الرياضيات، أصبحوا الأفضل عالمياً في حل ألغاز الميراث الإسلامي.
ملخص تقني لورقة بحثية بعنوان: "نظام CVPD في مؤتمر QIAS 2026: الاستدلال الموجه بنماذج اللغات الكبيرة عبر تقنية RAG لحساب حصص المواريث وتوزيع الورثة"
١. بيان المشكلة
تتناول الورقة البحثية موضوع علم المواريث الإسلامي، وهو مهمة استدلال قانوني متعددة المراحل وعالية الدقة. يجب على النظام القيام بما يلي: ١. تحديد الورثة المستحقين والورثة المحجوبين (الحجب). ٢. تعيين الفروض (الأنصبة المقدرة) والرد (الباقي). ٣. التعامل مع التعديلات العالمية (العول عند النقص أو الرد عند الزيادة). ٤. إخراج عملية حساب توزيع نهائي (التصريح/التصيح) متسق.
التحديات الرئيسية:
التعقيد: تتطلب المهمة التزاماً صارماً بالمنطق القانوني والدقة الحسابية.
التباين: تختلف القواعد باختلاف المذاهب الفقهية والتشريعات المدنية الوطنية.
عدم توازن البيانات: تهيمن الحالات البسيطة على بيانات التدريب، بينما تحتوي مجموعات التقييم على نسبة عالية من السيناريوهات المعقدة (مثل الرد)، مما يؤدي إلى عدم تطابق بين التدريب والاختبار.
قيود المخرجات: يجب أن تنتج النماذج مخرجات مهيكلة بصيغة JSON متوافقة مع مخطط (schema) محدد، وليس مجرد إجابات لغوية طبيعية. غالباً ما تفشل نماذج اللغات الكبيرة (LLMs) القياسية في الحفاظ على الاتساق عبر المراحل والدقة الرقمية.
٢. المنهجية
يقترح المؤلفون خط معالجة يعتمد على التوليد المعزز بالاسترجاع (RAG) مصمم للتنبؤ المهيكل، ويتكون من أربعة مكونات رئيسية:
أ. بناء قاعدة المعرفة (تخليق البيانات الرمزية)
للتغلب على ندرة البيانات وعدم توازنها، أنشأ الفريق متنًا اصطناعيًا قائمًا على القواعد يضم حوالي ١٠٠,٠٠٠ حالة فريدة.
الحاسب الرمزي: يقوم محرك حتمي بحل مسائل المواريث خطوة بخطوة (الأهلية، الحجب، الفروض، التعديلات) قبل توليد النص. وهذا يضمن صحة فقهية وحسابية بنسبة ١٠٠٪.
التصوير متعدد المنظور: يتم عرض كل حالة عبر أربعة مناظر: نص المسألة باللغة العربية، أسئلة وأجوبة، مسارات استدلال صريحة، وJSON مهيكل. ويُستخدم منظور الأسئلة والأجوبة كوثيقة أساسية للفهرسة.
ب. الاسترجاع الهجين وإعادة التصنيف
يقوم النظام باسترجاع السوابق ذات الصلة لتوجيه نموذج اللغة الكبيرة.
البحث الهجين: يجمع بين الاسترجاع الكثيف (التمثيلات المتجهة الدلالية) والاسترجاء المتفرق (البحث المعجمي BM25).
الدمج: يستخدم دمج الرتب التبادلي (RRF) بأوزان α=0.7 (كثيف) وβ=0.3 (متفرق) لدمج مجموعات المرشحين.
إعادة التصنيف: يقوم المشفّر المتقاطع (Cross-Encoder) بإعادة تصنيف أفضل المرشحين لاختيار أهم K من الوثائق (السياق) لنموذج التوليد.
استبعاد المصدر: أظهرت التجارب أن النصوص الفقهية بصيغة PDF المختارة بعناية تتفوق بشكل كبير على البيانات المستخرجة من الويب من حيث الجودة الدلالية ومعدلات نجاح الاسترجاع.
النموذج: يستخدم Qwen3.5-9B، الذي تم اختياره كأقوى نموذج مفتوح المصدر للقدرة على الاستدلال القانوني.
استراتيجية التلقين: يقوم التلقين بحقن الاستعلام وأفضل K من السوابق المسترجعة، مع توجيه النموذج للقيام بما يلي: ١. إجراء استدلال صريح داخل كتلة <thinking>. ٢. إخراج الإجابة النهائية في كتلة JSON صارمة <answer>.
التفكيك: يتم نمذجة التوليد كـ P(yanswer∣q,DK,ythink)، مما يجبر النموذج على تبرير منطقه قبل الالتزام بالمخرج المهيكل.
د. تحليل المخرجات والتحقق من الصحة
تضمن طبقة معالجة لاحقة حتمية الامتثال للمخطط (Schema):
اتساق الكتلة: يضمن أن مجموع حصص الورثة يساوي ١٠٠٪ (ضمن نطاق سماح ϵ=5).
الحلول البديلة (Fallbacks): في حال فقدان حقول غير حرجة، يتم تطبيق قيم افتراضية قائمة على القواعد لضمان اكتمال التقديم.
٣. المساهمات الرئيسية
١. استراتيجية البيانات الاصطناعية: تقديم نهج يعتمد على الرموز أولاً لتوليد ١٠٠ ألف مثال عالي الدقة ومتسق رياضياً، مما يعالج عدم التطابق في التوزيع بين التدريب والتطوير. ٢. خط معالجة RAG الهجين: إثبات أن الجمع بين الاسترجاع الكثيف والمتفرق مع إعادة التصنيف عبر المشفّر المتقاطع والمصادر المستخرجة من ملفات PDF المختارة يتفوق على الاسترجاع من الويب في الاستدلال القانوني عالي الخطورة. ٣. التحقق الحتمي: إظهار أن فرض قيود المخطط واتساق الكتلة بعد عملية التوليد أمر بالغ الأهمية لتحقيق درجات عالية في مهام التنبؤ المهيكل، مما يعوض عن هلاوس النماذج اللغوية الكبيرة. ٤. الأداء المتميز (SOTA): تحقيق المركز الأول في لوحة صدارة QIAS 2026.
٤. النتائج
الأداء في لوحة الصدارة: حقق النظام درجة MIR-E (تقييم استدلال المواريث) بلغت ٠.٩٣٥، محتلاً المركز الأول في اختبار العميان الرسمي (متفوقاً على المركز الثاني بـ ٠.٠٠٤ نقطة).
مقارنة خط الأساس: سجلت النماذج الجاهزة (مثل Qwen 3.5 9B بدون RAG) ٠.٣٤٧ فقط، مما يبرز ضرورة وجود خط معالجة الاسترجاع والتحقق.
رؤى الاستبعاد (Ablation Insights):
جودة المصدر: حقق الاسترجاع من ملفات PDF فقط درجة مركبة بلغت ٠.٧١٨، متفوقاً بشكل كبير على الاسترجاع من الويب (٠.٤٦٣).
تحليل الأخطاء: تركزت الأخطاء المتبقية بشكل أساسي في منطق الحجب المعقد (٤٢٪) وحساب الكسور (٣١٪)، وليس في فهم اللغة.
٥. الأهمية والخاتمة
تؤسس هذه الورقة البحثية لمبدأ أنه بالنسبة للاستدلال القانوني العربي عالي الدقة:
اختيار النموذج ثانوي أمام الهندسة: بينما تعد النماذج اللغوية القوية ضرورية، فإن موثوقية النظام تعتمد على تأصيل الاسترجاع (النصوص القانونية المختارة) والتحقق الحتمي لما بعد التوليد أكثر من اعتمادها على حجم النموذج وحده.
التنبؤ المهيكل هو المفتاح: يتطلب النجاح في المجالات القانونية تحكماً صريحاً في مخططات المخرجات وخطوات الاستدلال الوسيطة، وليس مجرد الطلاقة التوليدية.
الاتجاهات المستقبلية: يقترح المؤلفون أن التحسينات المستقبلية يجب أن تركز على القيود العصبية-الرمزية (مثل رسوم الحجب البيانية الصريحة) للتعامل مع تفاعلات الأجيال المعقدة وحالات الكسور النادرة، بدلاً من مجرد زيادة حجم النماذج اللغية.
تم إتاحة خط المعالجة الكامل والكود المصدري كمصدر مفتوح، مما يوفر إطار عمل قوياً لتطبيقات الذكاء الاصطناعي القانوني باللغة العربية.