When Sources Disagree: Accuracy-Preserving Batch Verification and the Limits of Source-Age Screening in Retrieval-Augmented Generation
تُظهر هذه الورقة أنه في حين يمكن للاستنتاج بالدفعات المرتبة حسب الطول أن يحسن إنتاجية المعالجة دون التضحية بالدقة في التحقق من التوليد المعزز بالاسترجاع، فإن قاعدة فحص عمر المصدر البسيطة غير كافية للكشف عن التقادم الواقعي ويجب استبدالها بفحوصات زمنية مدركة للمحتوى.
المؤلفون الأصليون:Kholofelo JONASE KGATLA, Nthabiseng Michael Moeti
تخيل مكتبة حيث يُطلب من أمين المكتبة الإجابة على سؤال عبر سحب كتاب من الرف، وقراءة مقتطف منه، ثم إخبارك بالإجابة. أمين المكتبة هذا بارع جداً في العثور على الكتاب الصحيح، ولكن أحياناً قد يتناقض المقتطف الذي يقرؤه مع الإجابة التي يقدمها، أو قد تكون الحقيقة الموجودة في الكتاب قد تغيرت منذ آخر تحديث لفهرس المكتبة. هذا هو التحدي الجوهري الذي يواجه أنظمة الذكاء الاصطناعي الحديثة التي تحاول الإجابة على الأسئلة باستخدام معلومات خارجية. هذه الأنظمة، المعروفة باسم "التوليد المعزز بالاسترجاع"، تعمل من خلال البحث في مكتبة رقمية شاسعة عن حقائق لدعم إجاباتها. والأمل هو أنه من خلال ترسيخ استجاباتها في أدلة حقيقية، ستتوقف عن اختلاق الأمور. ومع ذلك، تكشف دراسة جديدة أن مجرد إرفاق مصدر بإجابة ما لا يضمن أن تكون الإجابة صحيحة أو حديثة؛ فقد يكون المصدر خاطئاً، أو قد تكون الحقيقة قد انزاحت نحو الماضي، مما يترك النظام يستشهد بثقة بمعلومات عفا عليها الزمن.
لقد وضع باحثون في جامعة تسواني للتكنولوجيا (Tshwane University of Technology) هدفاً لاختبار مدى قدرة هذه الأنظمة على مراجعة عملها. وقد ركزوا على طريقتين محددتين تفشل فيهما هذه الأنظمة. الأولى هي التناقض الدلالي، حيث تجادل الأدلة التي يجدها النظام في الواقع ضد الإجابة التي يقدمها. والثانية هي المشكلة الزمنية، حيث تكون الأدلة صحيحة عندما كُتبت ولكنها لم تعد صحيحة اليوم. وللتحقيق في ذلك، استخدم الفريق مجموعة من الادعاءات العلمية ووثائقها الداعمة لمعرفة ما إذا كان بإمكانهم بناء "مدقق حقائق" موثوق يعمل جنباً إلى جنب مع الذكاء الاصطناعي الرئيسي. واختبروا عدة طرق مختلفة، تراوحت من عمليات التحقق البسيطة القائمة على القواعد إلى نماذج أكثر تعقيداً تقرأ النص بعناية لفهم العلاقة بين الادعاء ومصدره.
وجد الباحثون أن الطريقة الأكثر موثوقية لكشف التناقضات هي نموذج متطور يقرأ الادعاء والأدلة معاً، ويحلل كيفية تفاعل الكلمات فيما بينها. حقق هذا النموذج دقة بلغت 72.0 بالمائة على مجموعة اختبار متوازنة مكونة من 200 حالة. وفي المقابل، اختبروا نهجاً أبسط وأسرع يبحث عن كلمات محددة، مثل التحقق مما إذا كانت إحدى الجمل تحتوي على كلمة سلبية مثل "ليس" بينما لا تحتوي الأخرى عليها. ورغم أن هذا الاختصار كان أسرع، إلا أنه جعل النظام أقل دقة بشكل ملحوظ، حيث انخفض الأداء إلى 66.5 بالمائة. وخلص الباحثون إلى أن هذا الاختصار السريع لم يكن مقايضة جيدة؛ فالفقد في الدقة كان كبيراً جداً بحيث لا يمكن تبرير المكسب الضئيل في السرعة. وقد استبعدوا صراحة هذا الاختصار كطريقة آمنة لتصفية الإجابات في نظام واقعي.
وبدلاً من محاولة تخطي العمل الشاق، وجد الفريق طريقة لجعل النموذج الدقيق يعمل بكفاءة أكبر دون فقدان أي دقة. فقد اكتشفوا أنه من خلال تنظيم الأسئلة والأجوبة في مجموعات صغيرة ومعالجتها معاً بترتيب معين يعتمد على طولها، يمكنهم تقليل إجمالي الوقت الذي يقضيه الكمبيوتر في العمل. وفي مجموعة الاختبار الخاصة بهم، قللت هذه الطريقة إجمالي وقت المعالجة بنسبة 10.55 بالمائة، مع الاستمرار في إنتاج نفس الإجابات الصحيحة تماماً كما لو تم التعامل مع الأسئلة واحداً تلو الآخر. وهذا يشير إلى أنه بالنسبة للأنظمة التي تحتاج إلى التحقق من العديد من الاستشهادات في وقت واحد، فإن تنظيم عبء العمل هو استراتيجية أفضل من محاولة استخدام مرشح أضعف وأسرع.
كما بحثت الدراسة في فكرة استخدام عمر المصدر كوسيلة لرصد الحقائق القديمة. واختبر الباحثون قاعدة بسيطة: إذا كان المصدر أقدم من 90 يوماً، يتم وضع علامة للمراجعة. طبقوا هذه القاعدة على خمسة أمثلة واقعية لأسئلة تغيرت إجابتها الصحيحة بمرور الوقت، بالإضافة إلى مثال واحد لم تتغير فيه الإجابة. وبما أن جميع المصادر في مجموعة الاختبار الخاصة بهم كانت بعمر 148 يوماً، فقد وضعت القاعدة علامة على كل حالة منها. لقد حددت القاعدة بشكل صحيح الحالات الأربع التي تغيرت فيها الحقائق، لكنها وضعت علامة أيضاً على الحالة التي ظلت فيها الحقائق كما هي. أظهرت هذه النتيجة أنه بينما يعد التاريخ القديم إشارة جيدة إلى أن المراجعة قد تكون مطلوبة، إلا أنه لا يمكنه إثبات خطأ حقيقة ما بمفرده. فالمصدر يمكن أن يكون قديماً ولا يزال صحيحاً، تماماً كما يمكن أن يكون المصدر الجديد خاطئاً.
في نهاية المطاف، ترسم الدراسة صورة واضحة لكيفية بناء ذكاء اصطناعي أكثر موثوقية. إن المسار الأكثر فعالية ليس الاعتماد على قواعد سريعة وبسيطة قد تغفل عن دقة اللغة أو تعقيد الزمن. بدلاً من ذلك، فإن النهج الأفضل هو استخدام نموذج دقيق وحذر للتحقق من معنى النص، وجعل هذا النموذج يعمل بشكل أسرع من خلال تنظيم العمل بكفاءة. كما أكد الباحثون أن التحقق من عمر المصدر يجب أن يؤدي فقط إلى استدعاء بشري أو نظام أكثر تقدماً للنظر بعمق، بدلاً من أن يكون بمثابة حكم نهائي على صحة الحقيقة. ومن خلال فصل مهمة التحقق من المعنى عن مهمة التحقق من التواريخ، وتجنب الاختصارات التي تضحي بالدقة، يمكننا بناء أنظمة تتسم بالسرعة والموثوقية في آن واحد.
ملخص تقني: عندما تختلف المصادر: التحقق الدفعي المحافظ على الدقة وحدود فحص عمر المصدر في التوليد المعزز بالاسترجاع (RAG)
بيان المشكلة تعمل أنظمة التوليد المعزز بالاسترجاع (RAG) على إرساء النصوص المولدة في أدلة خارجية لتقليل الهلوسة. ومع ذلك، توجد فجوة حرجة بين الاسترجاع والتحقق: فقد يكون المقطع المسترجع ذا صلة موضوعية ولكن معارض حقيقةً للادعاء المولد، أو قد يكون قديمًا (راكدًا) من الناحية الزمنية. تفشل طبقات التحقق الحالية غالبًا في معالجة نموذجين مختلفين من الفشل في آن واحد: التناقض الدلالي (حيث تتعارض الأدلة مع الادعاء) والركود الزمني (حيث كانت المعلومات صحيحة في السابق ولكنها أصبحت الآن متجاوزة). تستقصي هذه الدراسة ما إذا كانت الاستدلالات (heuristics) خفيفة الوزن يمكن أن تحافظ على الدقة مع تحسين معدل الإنتاجية، وما إذا كانت البيانات الوصفية لعمر المصدر يمكن أن تكتشف التقادم الحقائقي بشكل موثوق.
المنهجية تستخدم الدراسة نهجًا كميًا معياريًا يقيم ثلاثة مكونات متميزة بشكل منفصل بدلاً من تقييمها كخط معالجة (pipeline) متكامل من البداية إلى النهاية:
معيار كشف التناقض:
مجموعات البيانات: تجربة استطلاعية متوازنة مكونة من 200 حالة، ومجموعة كاملة مكونة من 773 حالة من مجموعة بيانات SciFact (ادعاءات طبية حيوية مقابل ملخصات PubMed).
الأساليب: تمت مقارنة ست طرق:
الأساس القائم على الأغلبية: التنبؤ بناءً على فئة الأغلبية.
نموذج العلاقة ذو الثماني ميزات: ميزات مصممة يدويًا تشمل التشابه عبر جيب التمام (cosine similarity)، وتداخل الرموز (tokens)، ومؤشرات عدم التطابق.
نموذج عدم التطابق المدمج: نموذج أدنى يستخدم فقط ميزات النفي وعدم التطابق الرقمي.
MiniLM-NLI: نموذج (cross-encoder) مدرب مسبقًا (MiniLM) يُجبر على اتخاذ قرار ثنائي بين الدعم (SUPPORT) والتناقض (CONTRADICT).
التتالي القائم على النفي أولاً: بوابة استدلالية تتجاوز نموذج NLI إذا تم اكتشاف عدم تطابق في النفي، لتعيد نتيجة "تناقض" فورًا.
التقييم: تحقق عبر خمس طيات من التحقق المتقاطع الطبقي (مقسمة حسب الادعاء) للنماذج خفيفة الوزن؛ والاستدلال المباشر لـ MiniLM. شملت المقاييس الدقة، ودرجة F1 الكلية (macro-F1)، والاستدعاء الخاص بكل فئة.
تحسين معدل الإنتاجية:
التجربة: اختبار قياس أداء على وحدة المعالجة المركزية (CPU) يقارن بين استدلال MiniLM المتسلسل وبين الاستدلال الدفعي المرتب حسب الطول (حجم الدفعة 4).
الهدف: تحديد ما إذا كان المعالجة بالدفعات يقلل إجمالي وقت المعالجة دون تغيير التنبؤات.
فحص الركود الزمني:
دراسة الحالة: مراجعة مؤكدة يدويًا لخمس حالات من FreshQA (أربع حالات تغيرت فيها الحقائق بشكل مؤكد، وحالة واحدة ضابطة لم تتغير) كانت مصادرها بعمر 148 يومًا.
القاعدة: تم تطبيق عتبة زمنية ثابتة لعمر المصدر قدرها 90 يومًا لتفعيل تنبيه "المراجعة" (REVIEW).
الهدف: تقييم ما إذا كان عمر المصدر وحده يميز بين الحقائق المتغيرة والحقائق غير المتغيرة.
المساهمات الرئيسية
الأساس المحافظ على الدقة: يثبت أن نموذج Cross-encoder MiniLM-NLI يحقق أداءً متفوقًا (دقة 72.0%، و0.714 في درجة F1 الكلية على العينة الاستطلاعية) مقارنة بالمصنفات المعجمية أو القائمة على الميزات خفيفة الوزن.
نتيجة سلبية على التتالي الاستدلالي: يشير إلى أن الاختصار القائم على "النفي أولاً"، رغم تقليله للزمن الوسيط بنسبة 26.9%، إلا أنه أدى إلى تدهور الدقة إلى 66.5% (62.5% على المجموعة الكاملة). وتؤطر الدراسة هذه النتيجة صراحة كـ "نتيجة سلبية"، وتنصح بعدم استخدامها كبوابة للحفاظ على الدقة.
تحسين معدل الإنتاجية: يوضح أن الاستدلال الدفعي المرتب حسب الطول (حجم الدفعة 4) يقلل إجمالي وقت معالجة وحدة المعالجة المركزية بنسبة 10.55% (من 51.779 ثانية إلى 46.317 ثانية) مع الحفاظ على تطابق التنبؤ بنسبة 100% مع النموذج المتسلسل.
حدود الفحص الزمني: تظهر أن قاعدة الـ 90 يومًا لعمر المصدر تضع علامة على جميع المصادر التي عمرها 148 يومًا، بما في ذلك حالة الضبط غير المتغيرة. وهذا يشير إلى أن عمر المصدر يعمل كـ محفز للمراجعة وليس ككاشف حاسم للتقادم الحقائقي.
النتائج
كشف التناقض: تفوق MiniLM-NLI بشكل كبير على جميع النماذج الأساسية خفيفة الوزن. حقق "نموذج عدم التطابق المدمج" (النفي + عدم التطابق الرقمي) دقة بلغت 55.5%، متفوقًا على النموذج الكامل ذي الـ 8 ميزات (51.0%)، مما يشير إلى أن ميزات التشابه المعجمي أضافت ضجيجًا. أدى "التتالي القائم على النفي أولاً" إلى زيادة استدعاء التناقض (89.0% مقابل 86.0%) ولكنه قلل بشدة من استدعاء الدعم (44.0% مقابل 58.0%)، مما أدى إلى انخصاف صافٍ في الدقة.
الكفاءة: أكد تجربة معالجة الدفعات انخفاضًا بنسبة 10.55% في الوقت الإجمالي المستغرق لعملية الـ 200 حالة مع عدم وجود أي انحراف في التنبؤ. ويُصنف هذا كتحسين لمعدل الإنتاجية في العمليات غير المتزامنة (offline)، وليس تحسينًا لزمن الاستجابة لكل طلب.
التحليل الزمني: في دراسة حالة FreshQA، ولدت قاعدة الـ 90 يومًا 4 حالات إيجابية حقيقية (حقائق متغيرة تم رصدها) وحالة واحدة إيجابية كاذبة (حقيقة غير متغيرة تم رصدها). وبما أن جميع المصادر كانت تشترك في نفس العمر (148 يومًا)، لم تستطع القاعدة التمييز بين الحقائق المتغيرة وغير المتغيرة بناءً على العمر وحده.
الأهمية والادعاءات تدعي الورقة دعم تحسين معدل الإنتاجية المحافظ على الدقة عبر الاستدلال الدفعي، بينما تحذر من استخدام الاختصارات المعجمية البسيطة (مثل عدم تطابق النفي) كبوابات أساسية للتحقق من الاستشهاد. وتجادل بأن:
التحقق الدلالي: يتطلب كشف التناقض عالي الدقة قدرات الانتباه المشترك لنماذج الـ Cross-encoder؛ حيث تؤدي الاستدلالات خفيفة الوزن إلى تكاليف غير مقبولة في الدقة.
التحقق الزمني: يعد عمر المصدر إشارة مفيدة لتفعيل إعادة التحقق، ولكن لا يمكن أن يكون دليلًا قائمًا بذاته على التقادم الحقائقي. المقارنة الواعية بالمحتوى ضرورية لتحديد حالة الركود.
تصميم النظام: يجب أن تفصل سير عمل التحقق في RAG بين فحص الاتساق الدلالي (باستخدام نماذج مثل MiniLM) وبين فرز المخاطر الزمنية (باستخدام عتبات العمر كتنبيهات، وليس كأحكام قطعية).
يشير المؤلفون صراحةً إلى القيود، بما في ذلك الطبيعة غير العشوائية لمجموعة البيانات الاستطلاعية، وصغر حجم دراسة الحالة الزمنية (n=5)، وتقييم المكونات بشكل منعزل بدلاً من كونها خط معالجة مستخدم فعليًا. لا تدعي الدراسة حل مشكلة الهلوسة العامة في RAG، بل تقدم أدلة محددة ومحدودة النطاق حول المقايضات بين دقة التحقق، والتكلفة الحسابية، والاستدلالات الزمنية.