Delta1 with LLM: symbolic and neural integration for credible and explainable reasoning
تقدم هذه الورقة Delta1 مع LLM، وهو إطار عمل عصبي-رمزي يجمع بين توليد النظريات الحتمي ذي الوقت متعدد الحدود لـ Delta1 (مولد النظريات الآلي) مع النماذج اللغوية الكبيرة لإنتاج استدلال موثوق وقابل للتدقيق ومفسر طبيعياً عبر مجالات حرجة مثل الرعاية الصحية والامتثال.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل أنك تحاول بناء منزل، لكن مخططك يحتوي على خلل خفي: التعليمات تقول إن السقف يجب أن يكون من الجليد، والجدران من النار، والأساس من الماء. إذا حاولت بناء المنزل تماماً كما هو مكتوب، سينهار المنزل فوراً.
الآن، تخيل خبيرين مختلفين يحاولان مساعدتك في إصلاح هذا الأمر:
"ساحر الرياضيات" (المنطق الرمزي): هذا الخبير دقيق للغاية. ينظر إلى مخططك ويقول: "إذا أزلت تعليمة 'السقف الجليدي'، يمكن للمنزل أن يصمد". يمكنه إثبات ذلك رياضياً، بنسبة 100% من المرات، دون أي تخمين. ومع ذلك، فهو يتحدث فقط بلغة المعادلات والرموز المعقدة. يمكنه إخبارك بأن المنزل سيسقط، لكنه لا يستطيع شرح لماذا بطريقة يفهمها الشخص العادي.
"الحكواتي" (النموذج اللغوي الكبير - LLM): هذا الخبير بارع في التحدث باللغة البشرية. يمكنه النظر إلى مخطط والقول: "أوه، الأسقف الجليدية تذوب تحت الشمس!". ولكن إذا سألته ليثبت أن المنزل سيسقط، فقد يخمن، أو يهلوس، أو يختلق سبباً يبدو جيداً ولكنه في الواقع خاطئ.
تقدم هذه الورقة البحثية فريقاً جديداً يسمى "∆1 + LLM" يجمع بين أفضل ما في العالمين.
الفكرة الجوهرية: "القابلية للتفسير من خلال البناء"
بدلاً من بناء منزل ثم محاولة تفسير سبب سقوطه (وهو أمر فوضوي وغالباً ما يكون خاطئاً)، يقوم هذا النظام ببناء التفسير داخل عملية البناء منذ البداية.
إليك كيف يعمل هذا الفريق، خطوة بخوة، باستخدام تشبيه بسيط:
1. المترجم (النموذج اللغوي الأمامي - Front-End LLM)
أولاً، تعطي النظام فقرة فوضوية من القواعد (مثل سياسة طبية أو عقداً قانونياً).
- ماذا يحدث: يقرأ "الحكواتي" نصك ويترجمه إلى قائمة نظيفة من الحقائق البسيطة (مثل "المريض يعاني من عدوى" أو "يتم مشاركة البيانات"). إنه يحول لغتك الإنجليزية الفوضوية إلى قائمة مهيكلة من المكونات.
2. محرك المنطق (مولد ∆1)
هذا هو "ساحر الرياضيات". يأخذ قائمة المكونات الخاصة بك ويشغل خوارزمية محددة (تسمى FTSC).
- ماذا يحدث: بدلاً من التخمين، يقوم ببناء كل طريقة ممكنة لتصادم هذه المكونات رياضياً. إنه يجد أصغر مجموعة ممكنة من القواعد التي تسبب المشكلة.
- السحر: هو لا يكتفي بالقول "هناك مشكلة". بل يقول: "إذا أزلت هذه القاعدة المحددة (القاعدة D)، فإن الصراع يختفي". يفعل ذلك دون أي تخمين، وفي وقت محكم ومحدد. إنه يضمن أن المشكلة التي وجدها حقيقية وأدنى ما يمكن.
3. المترجم (النموذج اللغوي الخلفي - Back-End LLM)
الآن، يسلم "ساحر الرياضيات" النتيجة إلى "الحكواتي" مرة أخرى.
- ماذا يحدث: ينظر "الحكواتي" إلى القاعدة المحددة التي أشار إليها "ساحر الرياضيات" ويقول: "آه! هذه القاعدة تقول 'إذا كان لديك حمى، تناول المضادات الحيوية'. لكن قاعدة أخرى تقول 'إذا كان لديك فيروس، لا تتناول المضادات الحيوية'". لقد وجد النظام أن هاتين القاعدتين لا يمكن أن توجدا معاً.
- النتيجة: يقدم لك تفسيراً واضحاً وقابلاً للقراءة من قبل البشر: "سياستك متناقضة. لا يمكنك امتلاك كلا القاعدتين في نفس الوقت. إليك كيفية إصلاح ذلك..."
لماذا يعد هذا أمراً هاماً؟
1. لا مزيد من التخمين "للصندوق الأسود"
عادةً، عندما يجد الذكاء الاصطناٍ مشكلة، لا نعرف ما إذا كان محقاً أم أنه اخترع سبباً من عنده. مع هذا النظام، يكون جزء "ساحر الرياضيات" قابلاً للإثبات بنسبة 100%. إذا قال النظام إن هناك تناقضاً، فهناك بالتأكيد تناقض. المنطق هنا حديدي.
2. من "ماذا" إلى "كيف"
الأنظمة القديمة قد تخبرك: "عقدك غير صالح". أما هذا النظام فيخبرك: "عقدك غير صالح لأن البند (أ) يتعارض مع البند (ب)، وإليك كيفية إعادة كتابة البند (أ) لإصلاحه". إنه يحول التشخيص إلى وصفة علاجية.
3. إنه يعمل في الحياة الواقعية
تظهر الورقة البحثية نجاح هذا العمل في ثلاثة مجالات مخيفة ولكنها مهمة:
- الرعاية الصحية: رصد القواعد حيث يُطلب من الطبيب القيام بشيئين متناقضين لمريض واحد (مثلاً: "عالج بـ العقار X" مقابل "لا تعطي العقار X إذا كان المريض يعاني من الحالة Y").
- القانون والامتثال: إيجاد المواضع التي تتعارض فيها سياسة خصوصية شركة مع تنظيم حكومي (مثلاً: "يجب علينا مشاركة البيانات" مقابل "يجب ألا نشارك البيانات أبداً").
- العقود: رصد البنود في صفقة تجارية التي تلغي بعضها البعض قبل أن يوقع أي شخص على الورقة.
الخلاصة
فكر في ∆1 + LLM كأنه محرر خارق القدرة للقواعد المعقدة.
- جزء الرياضيات يضمن أن التحرير منطقي تماماً ولا يرتكب أي خطأ.
- جزء الذكاء الاصطناعي يضمن أن اقتراحات التحرير مكتوبة بلغة إنجليزية بسيطة يمكن للبشر فهمها والعمل بها.
إنه يجسّر الفجوة بين "الرياضيات الباردة والقاسية" و"المحادثة البشرية الدافئة"، مما يخلق نظاماً ليس ذكياً فحسب، بل موثوقاً وقابلاً للتفسير. إنه ينقلنا من مرحلة "الكمبيوتر يقول لا" إلى مرحلة "الكمبيوتر يقول لا، وإليك السبب بالضبط، وإليك كيفية الإصلاح".
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.