Question Answering2021متوسط11 دقيقة قراءة

الدمج في المفكِّك: الاستفادة من استرجاع المقاطع مع النماذج التوليدية للإجابة عن الأسئلة المفتوحة

Fusion-in-Decoder: Leveraging Passage Retrieval with Generative Models for Open Domain Question Answering

Izacard, G. · Grave, E. — EACL

المشكلة

بحلول 2020 كان هناك معسكران في الإجابة عن أسئلة المجال المفتوح. المعسكر الأول اعتمد على نماذج توليدية ضخمة مثل T5-11B تحفظ الحقائق في معاملاتها مباشرةً — لكنّ ذلك احتاج مليارات المعاملات وتكاليف واستعلام باهظة. المعسكر الثاني استخدم نماذج استخلاصية تسترجع مقاطع من مصادر خارجية ثم تحدّد الإجابة داخل مقطع واحد — لكنّ مشكلتها أنها لا تعرف كيف تجمع معلومات مبعثرة بين عدة مقاطع. القارئ الاستخلاصي يختار نطاقاً نصياً من مقطع واحد ولا يملك أي آلية لربط قرائن من مستندات مختلفة. السؤال الذي طرحته هذه الورقة: هل يمكن لنموذج توليدي أن يستغل المقاطع المسترجَعة بذكاء ليتفوّق على المعسكرين — بعدد معاملات أقل بكثير؟

الإسهام

قدّمت الورقة أسلوب «الدمج في المفكِّك» (FiD): يأخذ كل مقطع مُسترجَع ويرمِّزه مع السؤال على حدة عبر مرمِّز T5، ثم يضمّ كل التمثيلات الناتجة ويدفعها دفعة واحدة إلى المفكِّك. المفكِّك عندها ينظر في كل المقاطع معاً عبر الانتباه المتقاطع ويولّد الإجابة. هذه البنية رغم بساطتها حقّقت أفضل النتائج على NaturalQuestions (بدقة 51.4 EM) وTriviaQA (بدقة 67.6 EM)، والأهم أنها تتحسّن باستمرار كلما زادت المقاطع من 10 إلى 100، بينما النماذج الاستخلاصية تتوقف عن التحسُّن عند 10–20 مقطعاً.

الأثر

أسّس FiD نموذج «استرجِع ثم ولِّد» الذي صار العمود الفقري الحديث. أثبت أن الانتباه المتقاطع في المفكِّك آلية فعّالة جداً لدمج الأدلة، وأنها تتفوّق على الاستخلاص حين تكون الأدلة موزّعة على مقاطع عديدة. هذه البنية أثّرت مباشرةً في نماذج لاحقة مثل Atlas وRETRO وجيل كامل من أنظمة معالجة اللغة التي تعتمد على المعرفة. والملاحظة الذكية — أن تكلفة المرمِّز تنمو خطياً بعدد المقاطع بينما المفكِّك يدمج كل شيء — هي ما جعل استخدام أكثر من 100 مقطع ممكناً عملياً.

تخيّل محقّقاً يعمل على قضية معقّدة. الطريقة التقليدية () أشبه بأن يقرأ المحقّق إفادة شاهد واحد ويُعلّم بقلم التظليل على الجملة الأكثر أهمية. المشكلة أنه إذا كان الدليل الحاسم مُوزّعاً بين ثلاثة شهود، فسيفوته الربط بينها.

نموذج «الدمج في المفكِّك» يعمل بأسلوب مختلف: يأخذ كل شاهد إلى غرفة منفصلة ويستمع لإفادته بالكامل ويدوّن ملخّصاً، ثم يفرد كل الملخّصات على طاولة واحدة ويقرأها معاً ليخرج بالتقرير النهائي. كل شاهد يُسمع باستقلال تام — لا تداخل ولا تأثير متبادل — لكن الاستنتاج النهائي يستند إلى كل الشهادات دفعةً واحدة.

النتيجة: محقّق يصبح أدقّ كلما زاد عدد الشهود، بدلاً من أن يضيع وسط الزحام.

المشكلة: كيف تُجيب حين لا يحمل مقطع واحد الإجابة كاملة؟

الإجابة عن الأسئلة في المجال المفتوح تعني أن النموذج يتلقّى سؤالاً واقعياً ويبحث في مجموعة نصوص ضخمة كويكيبيديا ليجد الإجابة، من دون أن يعرف مسبقاً أيّ مستند يحتويها. بحلول 2020 تبلور أسلوبان رئيسيان لحل هذه المهمة.

الأسلوب الأول هو النماذج التوليدية التي تعمل بنظام «الكتاب المغلق»: تحفظ الحقائق في معاملاتها أثناء التدريب المسبق. نموذج T5-11B مثلاً يضمّ أحد عشر مليار معامل ويستطيع الإجابة دون أيّ استرجاع خارجي — لكن تخزين ويكيبيديا بأكملها داخل الأوزان ثمنه باهظ حسابياً. الأسلوب الثاني هو أنابيب «استرجِع ثم استخلص»: أولاً تُسترجع المقاطع ذات الصلة باستخدام استرجاع متفرّق () أو استرجاع كثيف (DPR)، ثم يمرّ كل مقطع على قارئ مبنيّ على BERT يحدّد نطاق الإجابة داخله.

لكنّ الأسلوب الاستخلاصي كانت فيه ثغرة جوهرية: ماذا لو احتاجت الإجابة إلى ربط معلومات من أكثر من مقطع؟ مثلاً، تاريخ ميلاد في مستند واسم مدينة في مستند آخر — القارئ الاستخلاصي لا يملك طريقة لدمج هذه القرائن لأنه يتعامل مع كل مقطع بمعزل عن غيره. بعض الحيل كتطبيع النطاقات الشامل ساعدت قليلاً، لكن المشكلة الأساسية بقيت: النموذج مُقيّد بتنبؤ نطاق واحد من مقطع واحد.

افتح في المختبر
لاحظ كيف يقتصر القارئ الاستخلاصي على مقطع واحد، بينما يستطيع القارئ التوليدي دمج الأدلة من عدة مقاطع للوصول إلى الإجابة الصحيحة.
تستيقظ التجربة عند وصولك…

الخطوة الأولى: استرجاع المقاطع — BM25 مقابل الاسترجاع الكثيف

قبل أن يبدأ النموذج بالإجابة، عليه أن يعثر على المقاطع المناسبة. يستخدم FiD إستراتيجيتين للاسترجاع حسب مجموعة البيانات.

BM25 أسلوب استرجاع متفرّق كلاسيكي، يعتمد على مطابقة الكلمات: يُمثّل السؤال والمقطع كأكياس كلمات ويحسب درجة التشابه من تكرار المصطلحات ومعكوس تكرار المستندات. ميزته أنه سريع ولا يحتاج إلى تدريب، ويؤدي جيداً حين يتشارك السؤال والمقطع الكلمات نفسها. يستخدمه FiD مع مجموعة SQuAD المفتوحة.

الاسترجاع الكثيف (DPR) يعمل بطريقة مختلفة: يرمِّز كلاً من السؤال والمقطع إلى متجه كثيف باستخدام مرمِّزَي BERT منفصلَين، ثم يبحث عن المقاطع التي يحقّق متجهها أعلى جداء نقطي مع متجه السؤال، مستعيناً ببحث عبر مكتبة FAISS. القوة هنا أن DPR يفهم التشابه الدلالي — فيطابق «مسقط رأس» في السؤال مع «وُلد في» في المقطع — ويُستخدم مع NaturalQuestions وTriviaQA.

في الحالتين يُعيد المسترجِع أفضل 100 مقطع من ويكيبيديا، كل منها جزء غير متداخل من 100 كلمة. تُرسَل هذه المقاطع مع عناوينها إلى نموذج القراءة.

افتح في المختبر
قارن بين طريقة BM25 (مطابقة الكلمات) وDPR (المطابقة الدلالية) في استرجاع المقاطع لنفس السؤال. بدّل بينهما لتلاحظ الفرق.
تستيقظ التجربة عند وصولك…

الخطوة الثانية: بنية الدمج في المفكِّك

الفكرة المحورية في هذا النموذج هي تقسيم واضح للأدوار بين و. تخيّلها كعملية من مرحلتين: أولاً قراءة مستقلة لكل مقطع، ثم تفكير مشترك يجمع كل ما قُرئ.

المرحلة الأولى — الترميز المستقل. كل مقطع مُسترجَع يُلصق مع السؤال في تسلسل واحد بصيغة: question: [السؤال] title: [العنوان] context: [المقطع]. ثم يمرّ كل زوج سؤال–مقطع على حدة عبر مرمِّز T5. هنا تكمن حيلة الكفاءة: بما أن كل مقطع يُعالَج بمعزل عن غيره، فإن يعمل داخل مقطع واحد فقط في كل مرة. النتيجة أن التكلفة الحسابية تنمو خطياً مع عدد المقاطع — لا تربيعياً كما لو جمعناها في تسلسل واحد طويل.

المرحلة الثانية — الفكّ المشترك. بعد ترميز كل المقاطع، تُصفّ تمثيلاتها جنباً إلى جنب في تسلسل واحد كبير. المفكِّك يبدأ بتوليد الإجابة رمزاً تلو الآخر، وفي كل خطوة يُطبّق على هذا التسلسل بأكمله. هنا بالضبط يحدث دمج الأدلة: المفكِّك يستطيع أن ينظر إلى أي موضع من أي مقطع، فيأخذ معلومة من هنا ومعلومة من هناك ويجمعها بحرّية لإنتاج كل رمز في الإجابة.

الاسم «الدمج في المفكِّك» يصف بدقة أين يحصل العمل الحقيقي: الأدلة لا تُدمج في المُرمِّز (الذي يعزل كل مقطع عن غيره)، بل تُدمج في المفكِّك (الذي يرى كل شيء معاً).

افتح في المختبر
خطّ أنابيب «الدمج في المفكِّك» بالكامل. انقر على كل مرحلة لتتبّع رحلة المقاطع من الترميز المستقل إلى الفكّ المشترك.
تستيقظ التجربة عند وصولك…

ما الذي يميّز FiD عن RAG وعن القرّاء الاستخلاصيين؟

الأساليب الثلاثة — FiD وRAG والقرّاء الاستخلاصيون — تشترك في استخدام مسترجِع، لكنها تختلف جذرياً في الطريقة التي يتعامل بها القارئ مع المقاطع المُسترجَعة.

القارئ الاستخلاصي (كقارئ DPR) يستخدم مرمِّزاً على نمط BERT: يأخذ كل مقطع مع السؤال ويُقيّم كل رمز ليحدّد أين تبدأ الإجابة وأين تنتهي، ثم يختار أفضل نطاق من بين كل المقاطع. المشكلة واضحة: النموذج لا يرى إلا مقطعاً واحداً في كل مرة، فلا يستطيع ربط دليل من مقطع بدليل من مقطع آخر.

RAG نموذج توليدي يمرّر كل مقطع مع السؤال عبر مرمِّز ثم يولّد الإجابة بـمفكِّك. لكنّ RAG يتعامل مع كل مقطع كأنه مصدر مستقل: يولّد إجابة منفصلة لكل مقطع ثم يحسب المتوسط المرجّح لاحتمالات الرموز. عملياً، المفكِّك لا يرى أبداً مقطعين في الوقت نفسه.

FiD هو النقلة النوعية: المفكِّك يرى كل المقاطع المُرمَّزة معاً دفعة واحدة. الانتباه المتقاطع يمتد على مخرجات المُرمِّز من جميع المقاطع، فيستطيع المفكِّك أن يأخذ تاريخاً من المقطع الثالث واسماً من المقطع السابع عشر وموقعاً من المقطع الثاني والأربعين — كل ذلك في تمريرة أمامية واحدة. هذا الانتباه المشترك هو ما يجعل أداء FiD يتحسّن فعلاً مع كل مقطع إضافي.

افتح في المختبر
قارن بين الأساليب الثلاثة: الاستخلاصي (نطاق واحد)، وRAG (كل مقطع على حدة)، وFiD (انتباه مشترك في المفكِّك). شاهد كيف يعالج كل منها المقاطع نفسها.
تستيقظ التجربة عند وصولك…

تنسيق المدخلات: كيف تُحضَّر المقاطع

كل مقطع مُسترجَع يُحوَّل إلى تسلسل نصي واحد باستخدام بادئات خاصة تفصل بين أجزائه. الشكل يبدو كالتالي:

صيغة مدخل FiD لمقطع واحدtext

مبسَّط لإظهار الفكرة — ليس التنفيذ الحقيقي.

# كل مقطع يُنسَّق بهذا الشكل قبل تمريره إلى المرمِّز
question: أين وُلد آلان تورينغ؟
title: آلان تورينغ
context: آلان تورينغ عالم حاسوب بريطاني.
وُلد في مايدا فيل بلندن، ويُعتبر على نطاق واسع
أبا علم الحاسوب النظري.

يُطبَّق هذا التنسيق على كل مقطع من المقاطع المئة المُسترجَعة بشكل مستقل، ويُقتطع كل مقطع عند 250 قطعة كلمية كحدّ أقصى. المُرمِّز يُعالج المدخلات المئة بالتوازي فيُنتج 100 تسلسل من الحالات الخفية، ثم تُصفّ هذه التسلسلات جنباً إلى جنب على بُعد التسلسل وتُمرَّر إلى المفكِّك.

النتائج: أداء يتصدّر الميدان وتوسُّع ملحوظ مع عدد المقاطع

حقّق FiD أفضل النتائج على ثلاثة معايير رئيسية للإجابة عن أسئلة المجال المفتوح. بالنموذج الكبير (770 مليون معامل) وصل إلى 51.4 في الدقة التامة على NaturalQuestions، و67.6 على TriviaQA، و56.7 على SQuAD المفتوح — متفوّقاً على كل النماذج السابقة بما فيها T5-11B (الذي يفوقه بأربعة عشر ضعفاً في عدد المعاملات)، وRAG، وDPR، وREALM.

لكنّ الاكتشاف الأبرز يتعلّق بسلوك التوسُّع: حين ننتقل من 10 إلى 100 مقطع، يتحسّن الأداء بنسبة 6% على TriviaQA و3.5% على NaturalQuestions. منحنى الأداء لا يتسطّح بل يواصل الصعود. في المقابل، النماذج الاستخلاصية مثل Multi-Passage BERT تبلغ ذروتها عند 10–20 مقطعاً ثم تقف أو حتى تتراجع، لأن القارئ الاستخلاصي ببساطة لا يعرف ماذا يفعل بكل هذه المقاطع الإضافية.

هذا السلوك دليل قوي على أن آلية الانتباه المتقاطع في المفكِّك تدمج المعلومات فعلاً من المقاطع المختلفة، ولا تكتفي بانتقاء الأفضل من بينها.

افتح في المختبر
اسحب الشريط لترى كيف تتحسّن الدقة التامة لنموذج FiD كلما زاد عدد المقاطع المُسترجَعة من 5 إلى 100.
تستيقظ التجربة عند وصولك…

كفاءة التدريب: ابدأ بمقاطع قليلة ثم اضبط

التدريب بمئة مقطع مُكلف حسابياً. لذلك استكشف المؤلفون طريقاً مختصراً عملياً: درِّب أولاً بعدد صغير من المقاطع (5 أو 10 مثلاً)، ثم أجرِ قصيراً بمئة مقطع في آخر ألف خطوة.

النتيجة: التدريب بخمسة مقاطع ثم الضبط بمئة يصل إلى 45.0 في الدقة التامة على NaturalQuestions — أقل بـ1.5 نقطة فقط من التدريب الكامل بمئة مقطع (46.5) — لكنه يستهلك ثلث ساعات المعالجة تقريباً (147 مقابل 425). السبب أن المفكِّك يتعلّم مهارة دمج الأدلة من بضعة مقاطع، ثم مرحلة الضبط القصيرة تُكيّفه مع أنماط الانتباه الأطول التي يحتاجها مع مئة مقطع.

هذا اكتشاف مهم عملياً: يعني أن الفِرق ذات الميزانيات الحسابية المحدودة تستطيع بناء نماذج FiD فعّالة دون الحاجة إلى موارد ضخمة.

افتح في المختبر
قارن بين تكلفة التدريب والأداء: درِّب بمقاطع قليلة ثم اضبط بمئة.
تستيقظ التجربة عند وصولك…

التفاصيل الفنية

يبدأ FiD من أوزان T5 المُدرَّبة مسبقاً (النسخة الأساسية: 220 مليون معامل، والكبيرة: 770 مليون). يُجرى الضبط الدقيق على كل مجموعة بيانات باستقلال، باستخدام محسِّن Adam بـ ثابت 10410^{-4} و بنسبة 10%. يستمر التدريب لعشرة آلاف خطوة تدرُّج بـ 64 على 64 وحدة Tesla V100. تُختار أفضل نقطة حفظ بناءً على الدقة التامة على مجموعة التحقق، وتُقيَّم كل 500 خطوة.

توليد الإجابة يستخدم — دون حاجة إلى . يُقتطع كل مقطع عند 250 قطعة كلمية. تُسترجع المقاطع بـDPR لمجموعتَي NaturalQuestions وTriviaQA، وبـBM25 لمجموعة SQuAD المفتوحة. مجموعة ويكيبيديا مُقسّمة إلى مقاطع غير متداخلة من 100 كلمة وفق خط معالجة DPR.

L=t=1TlogP(yty<t,concat(E1,E2,,EN))\mathcal{L} = -\sum_{t=1}^{T} \log P(y_t \mid y_{<t}, \, \text{concat}(E_1, E_2, \ldots, E_N))
دالة هدف التدريب — خسارة الإنتروبيا المتقاطعة لنماذج تسلسل-إلى-تسلسليُدرَّب النموذج بخسارة الإنتروبيا المتقاطعة القياسية. في كل خطوة tt يتنبأ النموذج بالرمز التالي من الإجابة yty_t بناءً على الرموز التي ولّدها سابقاً y<ty_{<t} وعلى مخرجات المرمِّز المصفوفة من جميع المقاطع الـNN: (E1,E2,,EN)(E_1, E_2, \ldots, E_N). مخرجات المرمِّز ثابتة لكل مدخل، والمفكِّك وحده هو من يولّد الرموز بالتتابع.

الإرث: نموذج الدمج في المفكِّك كنقطة تحوُّل

  1. 2017

    DrQA

    أسّس منهجية «استرجِع ثم اقرأ». استخدم استرجاع TF-IDF مع قارئ LSTM لمقطع واحد. يُعدّ أول نظام حديث للإجابة عن أسئلة المجال المفتوح.

  2. 2020

    DPR

    استبدل الاسترجاع المتفرّق بآخر كثيف يعتمد على مرمِّز ثنائي مبنيّ على BERT، فتحسّنت جودة الاسترجاع وأداء الإجابة عن الأسئلة تحسُّناً كبيراً.

  3. 2020

    RAG — التوليد المعزَّز بالاسترجاع

    جمع بين استرجاع DPR ومولِّد BART. تعامل مع كل مقطع كمصدر مستقل ولم يدمجها معاً في المفكِّك — كل مقطع أسهم بمفرده.

  4. 2021

    الدمج في المفكِّك (هذه الورقة)

    يرمِّز المقاطع باستقلال ثم يدمجها في المفكِّك عبر الانتباه المتقاطع على كل المقاطع معاً. يتحسّن باستمرار حتى 100 مقطع.

  5. 2022

    RETRO

    وسّع فكرة التوليد المعزَّز بالاسترجاع إلى نمذجة اللغة، باسترجاع أجزاء في كل طبقة. توسّع إلى تريليونات الرموز بقاعدة بيانات استرجاع مُجمَّدة.

  6. 2023

    Atlas

    بُني فوق FiD مع تدريب المسترجِع من البداية إلى النهاية، ودعم التعلُّم من أمثلة قليلة، وأمثَلة مشتركة للمسترجِع والقارئ. حقّق أداءً قوياً بـ770 مليون معامل فقط.

الرؤية المركزية لـFiD — أن الترميز المستقل مع الفكّ المشترك يعطيك كفاءة وقوة في آن واحد — تحوّلت إلى نمط تصميمي انتشر في المجال. أثبت هذا النموذج أنك لا تحتاج بالضرورة إلى استرجاع قابل للاشتقاق من طرف إلى طرف (كـREALM أو RAG) للحصول على نتائج قوية؛ أحياناً يكفيك مسترجِع ثابت مع قارئ قوي وانتهى الأمر. البنية بسيطة بما يكفي لتُنفَّذ في ساعات قليلة، ومع ذلك ظلّت تتصدّر النتائج لسنوات.

المرجعIzacard, Grave. Leveraging Passage Retrieval with Generative Models for Open Domain Question Answering. EACL, 2021.

مصطلحات هذه الورقة