Euclid-MCP: A Model Context Protocol Server for Deterministic Logical Reasoning via Prolog
يُعد Euclid-MCP خادم بروتوكول سياق النموذج (Model Context Protocol) مفتوح المصدر الذي يعزز موثوقية النماذج اللغوية الكبيرة في الاستدلال المنطقي متعدد الخطوات من خلال دمج خلفية SWI-Prolog حتمية عبر تمثيل وسيط سهل القراءة للبشر، مما يقضي فعلياً على الهلوسة في المجالات الحرجة للسلامة مثل الامتثال للأمن التقني.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل أنك تحاول تعليم روبوت موهوب للغاية وسريع جداً كيف يحل لغزاً. هذا الروبوت، وهو نموذج لغوي كبير (LLM)، مذهل في قراءة القصص، وكتابة القصائد، والدردشة حول أي شيء تقريباً. إنه يشبه أمين مكتبة عبقرياً قرأ كل كتاب في العالم ويمكنه تلخيصها فوراً. لكن، هناك عقبة: هذا الأمين سيء جداً في المسائل الرياضية الصارمة وألغاز المنطق. إذا سألته عن عدد الكرات الحمراء في حقيبة أو طلبت منه اتباع مجموعة معقدة من القواعد ليرى ما إذا كان شخص ما قد خرق قانوناً، فقد يعطي إجابة خاطئة لأنه يكتفي بالتخمين بناءً على ما يبدو منطقياً، بدلاً من إجراء العملية الحسابية فعلياً. هذه مشكلة كبيرة لأشياء مثل الأمن، والقوانين، والسلامة، حيث لا يكون الخطأ في الإجابة مجرد هفوة، بل كارثة.
ولإصلاح ذلك، حاول العلماء بناء أنظمة "عصبية-رمزية" (neuro-symbolic). فكر في هذا الأمر كأنك تعطي أمين المكتبة العبقري محاسباً صارماً لا يرمش له جفن ليعمل معه. يتولى أمين المكتبة الأجزاء اللغوية البشرية الفوضوية، بينما يتولى المحاسب المنطق الصارم والخطوات المتتالية. الهدف هو الحصول على أفضل ما في العالمين: إبداع الروبوت ودقة الرياضيات المثالية. هذه الورقة البحثية، التي تسمى Euclid-MCP، تدور حول بناء طريقة جديدة ومعيارية ليتحدث هذان الطرفان مع بعضهما البعض، وتحديداً للتحقق من القواعد والسياسات.
تقدم الورقة نظاماً يسمى Euclid-MCP. إنه يشبه المترجم والحكم في آن واحد. لقد ابتكر المؤلف لغة خاصة وبسيطة تسمى Euclid-IR، وهي سهلة الفهم لكل من البشر والروبوتات. يمكنك كتابة قواعد مثل "إذا كان المستخدم متدرباً، فلا يمكنه حذف الملفات" بهذه اللغة. يأخذ النظام هذه القواعد ويسلمها إلى محرك منطقي شديد الصرامة (يعتمد على أداة تسمى SWIF-Prolog) للقيام بعملية التفكير الفعلية. لا يحاول الروبوت أبداً تخمين الإجابة؛ بل يطلب فقط من المحرك المنطقي، الذي يعطيه برهاناً مثالياً وخطوة بخطوة يوضح سبب صحة أو خطأ الإجابة.
اختبر الباحثون هذا النظام في سيناريو واقعي: التحقق مما إذا كان الموظفون في شركة ما يتبعون قواعد الأمن. قدموا للنظام قائمة بالمستخدمين، وأدوارهم، ومجموعة من السياسات الأمنية. عندما سألوا أسئلة بسيطة عن مجموعة صغيرة من الأشخاص، استطاع الروبوت وحده الحصول على الإجابة الصحيحة. ولكن عندما جعلوا المشكلة أكبر -بإضافة مئات المستخدمين وآلاف الحقائق- بدأ الروبوت في "الهلوسة". بدأ في اختراع إجابات، والعد بشكل خاطئ، وتجاهل انتهاكات واضحة للقواعد. كان الأمر أشبه بمحاولة أمين المكتبة عد مليون كتاب في ذهنه فبدأ يشعر بالارتباك.
ومع ذلك، عندما استخدم الروبوت نظام Euclid-MCP، كانت النتائج مختلفة. لم يكتفِ النظام بالتخمين؛ بل قام بالحساب. حتى مع وجود 1,000 مستخدم وقواعد معقدة، أعطى الإجابة الصحيحة تماماً في كل مرة. كما كان أسرع واستهلك طاقة حاسوبية أقل من محاولة الروبوت حل الأمر بمفرده. تُظهر الورقة أنه بالنسبة للتحقق من القواعد، والأمن، والامتثال، لا يمكنك الاعتماد فقط على "شعور الروبوت الداخلي" أو قدرته على إيجاد نصوص متشابهة. أنت بحاجة إلى محرك منطقي مخصص للقيام بالعمل الشاق.
يجادل المؤلف بأن محاولة استخدام طرق "البحث والاسترجاع" القياسية (حيث يبحث الروبوت فقط عن نصوص مشابهة) لفرض قواعد صارمة تشبه محاولة استخدام مثقاب كهربائي لطرقة مسمار. إنه أداة قوية، لكنها الأداة الخاطئة لهذه المهمة. بدلاً من ذلك، يعمل Euclid-MCP كـ "عقل" مشترك ومستقر للقواعد. سواء كنت عميلاً روبوتياً يتحقق مما إذا كان الملف آمناً للفتح، أو مدققاً بشرياً يتحقق مما إذا كانت الشركة تتبع القانون، يمكن للجميع أن يسألوا نفس نظام Euclid-MCP عن الإجابة. ثم يقدم النظام ليس فقط الإجابة، بل أيضاً "شجرة برهان" واضحة وسهلة القراءة توضح بالضبط أي القواعد أدت إلى تلك النتيجة.
باختاً، تقترح الورقة أنه بينما تبرع الروبوتات في الدردشة وإيجاد المعلومات، فإنها تحتاج إلى شريك منطقي صارم للتعامل مع أي شيء يتطلب دقة مثالية. Euclid-MCP هو ذلك الشريك، حيث يقدم طريقة للجمع بين مهارات الروبوت اللغوية وبين الموثوقية التي لا تتزعزع للمنطق الرياضي، مما يضمن أنه عندما يتعلق الأمر بالسلامة والقواعد، تكون الإجابة دائماً صحيحة بنسبة 100%.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.