لم تتضمن هذه الدراسة مشاركين بشريين، أو حيوانات، أو عينات بيولوجية، أو بيانات مرضى. وبناءً على ذلك، لم تكن هناك حاجة للحصول على موافقة أخلاقية مؤسسية أو موافقة مستنيرة.
نظرة عامة على تصميم الدراسة
تم تنفيذ إطار عمل للتحقق من مرحلتين لتحسين الموثوقية الواقعية لمخرجات النماذج اللغوية الكبيرة (LLM). تضمنت الإجراءات توليد الاستجابة، واستخراج الادعاءات، وبناء مراجع معزولة، والتحقق القائم على الاستدلال باللغة الطبيعية (NLI)، واتخاذ القرار الإحصائي التكيفي، والتصحيح الانتقائي، وتجميع الاستجابة النهائية. وتم تقييم إطار العمل باستخدام مجموعات بيانات TruthfulQA وFEVER المرجعية.
سير العمل العام
استعلام المستخدم ← توليد الاستجابة الأولية ← استخراج الادعاءات ← توليد مراجع مستقلة ← التحقق عبر الاستدلال الطبيعي للغة (NLI) ← حساب العتبة الإحصائية ← تصحيح الادعاءات ← الاستجابة النهائية المتحقق منها. يوضح الشكل 1 سير العمل العام لإطار التحقق التكيفي من الادعاءات.
تحضير مجموعة البيانات
تم تنزيل مجموعة بيانات TruthfulQA12، التي تحتوي على 817 سؤالاً موجهاً نحو الحقائق، وتجهيزها للتقييم. تتكون مجموعة بيانات FEVER13 من 185,445 ادعاءً مشروحاً ومصنفاً إلى "مدعوم" (Supported)، أو "مفند" (Refuted)، أو "معلومات غير كافية" (Not Enough Information)؛ وقد استخدم التقييم بيانات التطوير المصنفة مع حقول الادعاء، والأدلة، وتسمية الحقيقة الأرضية (ground-truth label). تم تقييم كل ادعاء بناءً على الأدلة المقدمة له، بينما تم الاحتفاظ بتسمية FEVER الأصلية كـنتيجة مرجعية للتحقق. تم الحصول على مجموعة بيانات FEVER، التي تحتوي على أزواج من الادعاءات والأدلة للتحقق من الحقائق، ومعالجتها أولياً. كما تم تحويل الأسئلة والادعاءات المدخلة إلى تنسيق نصي موحد، وحُذفت المدخلات المكررة والعينات غير المكتملة قبل إجراء التجارب. قُسمت مجموعة TruthfulQA إلى مجموعات فرعية للتحقق والاختبار؛ حيث استُخدم ما يقرب من 20% من عينات TruthfulQA (164 سؤالاً) لضبط العتبة (threshold tuning)، بينما خُصصت الأسئلة الـ 653 المتبقية لتقييم الأداء. وبالنسبة لـ FEVER، استُخدمت الادعاءات المقدمة في المقياس المرجعي مباشرة كوحدات تحقق، ولم تخضع لإجراءات توليد الاستجابة واستخراج الادعاءات المطبقة على TruthfulQA. وتلخص Table 1 خصائص مجموعات البيانات المرجعية المستخدمة في تطوير الإطار وتقييمه.
توليد الاستجابة الأولية
تم إرسال كل استعلام إلى نموذج اللغة الأساسي. وتم توليد الاستجابات باستخدام أخذ العينات النووي (nucleus sampling) بدرجة حرارة 0.7 وقيمة top-p تبلغ 0.9. كما تم تحديد الحد الأقصى لطول المخرج بـ 256 توكن. وخُزنت الاستجابات المولدة دون أي معالجة لاحقة أو تعديل يدوي، ثم حُوّل النص المولد مباشرة إلى مرحلة استخراج الادعاءات.
استخراج الادعاءات
تم تفكيك كل استجابة تم إنشاؤها إلى عبارات واقعية يمكن التحقق منها بشكل مستقل. واستُخدم موجه تفكيك مهيكل لتحديد الادعاءات الذرية. كما فُصلت العبارات المركبة إلى وحدات واقعية دنيا. وتمت إزالة الآراء الشخصية، والتعبيرات الأسلوبية، والحشوات الحوارية. وخُزّن كل ادعاء مستخلص كوحدة تحقق مستقلة.
مثال:
الاستجابة الأصلية:
"كانت ماري كوري عالمة فيزياء وكيمياء ولدت في بولندا، وأجرت أبحاثاً رائدة في مجال النشاط الإشعاعي."
الادعاءات المستخلصة: (1) ولدت ماري كوري في بولندا؛ (2) كانت ماري كوري عالمة في الفيزياء والكيمياء؛ (3) أجرت ماري كوري أبحاثاً حول النشاط الإشعاعي.
بناء المرجع المعزول:
تم إنشاء مرجع حقيقي مستقل لكل ادعاء مستخلص. وتلقى نموذج التحقق استعلام المستخدم الأصلي فقط، حيث تم تقييد الوصول إلى الاستجابة الأصلية التي تم إنشاؤها لتجنب انحياز التأكيد. كما استُخدم أمر استرجاع حقائقي لتشجيع تقديم استجابات موجزة ومستندة إلى الأدلة. وتم تخزين المراجع التي تم إنشاؤها لغرض التحقق اللاحق.
التحقق من الاستدلال باللغة الطبيعية
تم إرسال كل زوج من (الادعاء-المرجع) إلى نموذج استدلال لغوي طبيعي (NLI) مُدرب مسبقاً. قام نموذج NLI بتصنيف العلاقة إلى: استلزام (Entailment)، أو حياد (Neutral)، أو تناقض (Contradiction). وتم تسجيل احتمالات الثقة لجميع الفئات الثلاث. كما تم تعيين درجة تحقق موقعة: قيمة موجبة للاستلزام، وصفر للحياد، أو قيمة سالبة للتناقض. جُمعت كافة درجات التحقق لحساب العتبة.
حساب العتبة الإحصائية التكيفية
تختلف درجة الثقة في التحقق التي ينتجها نموذج NLI بشكل كبير عبر الاستجابات، وذلك لأن الاستعلامات المختلفة تولد أعداداً متفاوتة من الادعاءات، ومستويات متباينة من التعقيد الدلالي، وتوزيعات مختلفة للثقة. يفترض استخدام عتبة عالمية ثابتة أن جميع الاستجابات تتبع ملف ثقة مماثلاً، وهو أمر نادراً ما يُلاحظ في الممارسة العملية. وللتكيف مع هذا التباين، يقوم الإطار المقترح بتقدير حدود القرار بشكل فردي لكل استجابة باستخدام المتوسط والانحراف المعياري لدرجات التحقق الخاصة بها. يعكس المتوسط مستوى الثقة العام للاستجابة، بينما يحدد الانحراف المعياري تشتت قيم الثقة بين الادعاءات المستخرجة. وتسمح هذه الصيغة التكيفية لمعيار القبول بأن يتوافق مع حالة عدم اليقين الخاصة بكل استجابة بدلاً من الاعتماد على عتبة واحدة لجميع المدخلات.
تم حساب المتوسط (µ) والانحراف المعياري (σ) لجميع درجات التحقق الموقعة.
تم حساب عتبة القرار التكيفية كما يلي:

حيث تمثل τ العتبة التكيفية، ويرمز µ إلى متوسط درجة التحقق، بينما يرمز σ إلى الانحراف المعياري، وتمثل k معامل الحساسية.
تم تعيين القيمة الأولية لمعامل الحساسية عند 0.7. وقد تم قبول الادعاءات المصنفة على أنها استتباع (Entailment) والتي حصلت على درجات أكبر من أو تساوي +τ. أما الادعاءات المصنفة على أنها تناقض (Contradiction) والتي حصلت على درجات أقل من أو تساوي −τ فقد تم تحديدها للتصحيح. بينما تم الإبقاء على الادعاءات التي وقعت درجاتها ضمن الفاصل الزمني (−τ, +τ) كادعاءات محايدة.
تصحيح انتقائي للمطالبات
تم إرسال الادعاء للتصحيح فقط عندما صنف نموذج NLI الزوج المكون من (الادعاء-المرجع) على أنه تناقض (Contradiction)، وكان سجل التحقق الموقع المقابل له يستوفي معيار العتبة التكيفية si ≤ -τ. وبذلك، تم تحديد قرار التصحيح بشكل مشترك من خلال تسمية فئة NLI والعتبة الإحصائية الخاصة بالاستجابة. أما الادعاءات التي صُنفت على أنها استلزام (Entailment) وكان si ≥ τ فقد تم قبولها، بينما عُوملت الادعاءات التي وقعت ضمن الفاصل -τ < si < τ على أنها محايدة وتم الإبقاء عليها دون تصحيح. وقد ضمن هذا المعيار المشترك تطبيق التصحيح فقط على الادعاءات التي تظهر تناقضاً دلالياً وأدلة تحقق سلبية قوية بما يكفي.
إعادة بناء الاستجابة
تم ترتيب الادعاءات المقبولة والمصححة وفقاً لتسلسلها الأصلي. كما تمت استعادة حدود الجمل للحفاظ على سهولة القراءة. وطُبقت تعديلات نحوية طفيفة عند الضرورة. وخُزنت المخرجات المجمعة كاستجابة نهائية تم التحقق منها.
تقييم الأداء
تم تقييم إطار العمل باستخدام أربعة مقاييس: (1) الدقة: نسبة الاستجابات التي ظلت صحيحة واقعياً بعد التحقق؛ (2) مقياس F1: المتوسط التوافقي لدقة واستدعاء الكشف عن الهلوسة؛ (3) زمن استجابة النظام: إجمالي وقت المعالجة من تقديم الاستعلام حتى توليد الاستجابة التي تم التحقق منها؛ (4) معدل الهلوسة

تم تسجيل زمن الاستجابة كمتوسط وقت التنفيذ عبر القياسات المكررة. ونظراً لعدم الاحتفاظ بقيم زمن الاستجابة الفردية لكل تشغيل، لم يتم حساب الانحرافات المعيارية وفترات الثقة.
تقييم الصحة الخاص بمرجع القياس
بالنسبة لـ TruthfulQA، تمت مقارنة الاستجابة النهائية المتحقق منها مع المراجع البشرية المعتمدة للإجابات في المقياس المرجعي وقوائم الإجابات غير الصحيحة. واعتُبرت الاستجابة صحيحة عندما كانت ادعاءاتها الواقعية متوافقة مع معلومات الإجابة المقبولة ولم تكن تحتوي على محتوى يتطابق مع أنماط الاستجابة غير الصحيحة المحددة. أما بالنسبة لـ FEVER، فقد تم تقييم كل ادعاء في المخرج النهائي مقابل الأدلة المرتبطة به وتوصيف FEVER الأصلي؛ حيث عُوملت الادعاءات المدعومة (Supported) على أنها متحقق منها واقعياً، بينما حُسبت الادعاءات المفندة (Refuted) على أنها غير صحيحة. أما الحالات التي تفتقر إلى معلومات كافية (Not Enough Information)، فقد تم الإبقاء عليها كحالات غير محددة بدلاً من معاملتها كأدلة واقعية إيجابية. ثم جُمعت القرارات الناتجة على مستوى الادعاءات عبر كل مقياس مرجعي لحساب الدقة (Accuracy) ومعدل الهلوسة (Hallucination Rate) المذكورين.
البيئة التجريبية
تم تنفيذ إطار العمل باستخدام لغة Python 3.9. وأُجريت عمليات معالجة البيانات باستخدام مكتبات التحليل العددي والجدولي. وعمل نموذج NLI في وضع الاستدلال دون إجراء أي ضبط دقيق إضافي. نُفذت التجارب على محطة عمل مجهزة بمعالج Intel Core i5، وذاكرة وصول عشوائي بسعة 16 GB، ونظام تشغيل 64-bit. وأُجريت جميع التقييمات باستخدام إعداد استدلال أحادي المرور لضمان التشغيل بـ زمن انتقال منخفض. كما نُفذت جميع التجارب باستخدام تكوينات مادية وبرمجية متطابقة لضمان اتساق التقييم عبر مجموعات البيانات وطرق الأساس.
النتيجة المتوقعة
صُمم هذا البروتوكول لإنشاء قرارات تحقق على مستوى الادعاء من خلال تحديد الادعاءات التي قد تكون غير مدعومة، وتوجيه الادعاءات المتناقضة بشدة بشكل انتقائي للتصحيح. والمخرجات المتوقعة هي استجابة مُحققة مع تقليل التناقضات الواقعية والحد من الأعباء الإضافية للمعالجة، وذلك رهناً بالأداء الملحوظ خلال التقييم التجريبي.