🤖 AI

Which Changes Matter? Towards Trustworthy Legal AI via Relevance-Sensitive Evaluation and Solver-Grounded Reasoning

تتناول هذه الورقة الحاجة الماسة للذكاء الاصطناعي القانوني للتمييز بين التغييرات ذات الصلة قانوناً وغير ذات الصلة من خلال تقديم مجموعة تقييم حساسة لمدى الصلة تكشف إخفاقات النماذج الحالية، واقتراح LexGuard، وهو إطار عمل عدائي قائم على الحلول يعزز موثوقية الاستدلال وجدارته من خلال التحقق من القيود الرسمية.

المؤلفون الأصليون: Chen Linze, Cai Yufan, Hou Zhe, Dong Jin Song

نُشر 2026-05-27

📖 4 دقيقة قراءة☕ قراءة في استراحة قهوة

CC BY 4.0

المؤلفون الأصليون: Chen Linze, Cai Yufan, Hou Zhe, Dong Jin Song

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

إليك شرح لورقة بحثية بعنوان "أي التغييرات تهم؟ نحو ذكاء اصطناعي قانوني موثوق"، باستخدام لغة بسيطة وتشبيهات إبداعية.

المشكلة الكبرى: "القاضي المشتت"

تخيل أن لديك قاضياً آلياً. هذا الروبوت ذكي للغاية وقد قرأ كل كتب القانون في المكتبة. ومع ذلك، لديه عيب رئيسي: يتشتت انتباهه بسهولة.

إذا قلت للروبوت: "المتهم رجل يبلغ من العمر 30 عاماً سرق سيارة"، فقد يقول: "مذنب".
لكن إذا غيرت القصة قليلاً لتصبح: "المتهمة امرأة تبلغ من العمر 30 عاماً سرقت سيارة"، فقد يقول الروبوت فجأة: "غير مذنب".

في العالم القانوني الحقيقي، لا ينبغي لجنس السارق أن يغير الحكم. يجب أن تهم فقط وقائع الجريمة. تجادل الورقة البحثية بأن الأنظمة القانونية الحالية للذكاء الاصطناعي تشبه هذا الروبوت المشتت: فهي حساسة للغاية للتفاصيل غير ذات الصلة (مثل عرق الشخص، أو ثروته، أو كيفية صياغة القصة) وغير حساسة بما يكفي للتفاصيل التي تهم حقاً (مثل ما إذا كان الشخص قد نوى السرقة أم مقدار ما سرقه).

الحل: ليكس جارد (LexGuard) (فريق "المحامي + الآلة الحاسبة")

لإصلاح ذلك، بنى المؤلفون نظاماً جديداً يسمى LexGuard. بدلاً من ترك الذكاء الاصطناعي "يخمن" الإجابة بناءً على الأنماط، يعمل LexGuard كأنه فريق من المحامين يعملون مع آلة حاسبة صارمة للغاية.

إليك كيف يعمل هذا الفريق، خطوة بخطوة:

1. المحاميان (الوكلاء المتخاصمون)

لا يطلب LexGuard من ذكاء اصطناعي واحد اتخاذ القرار. بل يطلب من اثنين من "محامي" الذكاء الاصطناعي أن يتجادلا حول القضية من جانبين متضادين:

المدعي العام: يبحث عن الحقائق التي تثبت إدانة الشخص.
محامي الدفاع: يبحث عن الحقائق التي تثبت براءة الشخص أو أن القانون لا ينطبق عليه.

يقرأ كلاهما نفس القصة ويستخرجان الحقائق المهمة، لكنهما ينظران إليها من منظورين مختلفين. وهذا يضمن عدم تفويت أي تفصيل مهم.

2. كتاب القواعد (صياغة القانون بشكل رسمي)

قبل أن يتمكن المحامون من الجدال، يقوم النظام بترجمة القوانين المكتوبة بلغة بشرية فوضوية إلى كتاب قواعد صارم يمكن للحاسوب قراءته. فكر في هذا الأمر كتحويل فقرة نصية إلى مخطط انسيابي أو معادلة رياضية.

القانون البشري: "إذا سرق شخص شيئاً تزيد قيمته عن 500 دولار، فإنه يذهب إلى السجن."
قاعدة LexGuard: IF (Value > 500) AND (Intent = Steal) THEN (Jail = True)

هذا يزيل "الغموض" الموجود في اللغة. فالكمبيوتر يعرف بالضبط ما تتطلبه القاعدة.

3. الآلة الحاسبة (المُحلِّل المنطقي - SMT Solver)

هذا هو الجزء الأهم. بمجرد أن يجمع المحامون الحقائق ويكون كتاب القواعد جاهزاً، يسلمون كل شيء إلى مُحلِّل رياضي (برنامج كمبيوتر متخصص).

يتحقق المُحلِّل: "هل الحقائق التي وجدها المحامون تتوافق بالفعل مع القواعد الصارمة في كتاب القواعد؟"
إذا كانت الحقائق تتوافق مع القاعدة، تقول الآلة الحاسبة: "نعم، هذا القانون ينطبق."
إذا كانت الحقائق لا تتوافق (أو إذا كان القانون غير ذي صلة)، تقول الآلة الحاسبة: "لا، هذا القانون لا ينطبق."

تتجاهل الآلة الحاسبة كل شيء ليس موجوداً في المعادلة الرياضية. فهي لا تهتم إذا كان المتهم غنياً أو فقيراً، أو إذا كُتبت القصة بأسلوب منمق. هي تهتم فقط بمدى صحة المنطق.

اختبار "الموثوقية"

لم يكتفِ المؤلفون ببناء هذا النظام فحسب؛ بل أخضعوه لاختبار جهد صارم يسمى "تقييم الحساسية للملاءمة" (Relevance-Sensitive Evaluation). لقد عاملوا الذكاء الاصطناعي كأنه موضوع تجربة علمية:

اختبار "لا ينبغي أن يتغير": قاموا بتغيير أشياء غير ذات صلة (مثل اسم المتهم أو نوع الخط في المستند).
- الذكاء الاصطناعي السيئ: غير رأيه.
- LexGuard: ظل هادئاً وأعطى نفس الإجابة.
اختبار "يجب أن يتغير": قاموا بتغيير أشياء حاسمة (مثل تغيير "سرق سيارة" إلى "استعار سيارة").
- الذكاء الاصطناعي السيئ: غالباً ما فشل في ملاحظة الفرق.
- LexGuard: قام بتحديث حكمه بشكل صحيح لأن القواعد الرياضية تغيرت.
اختبار "القوانين المربكة": أعطوا الذكاء الاصطناعي قانونين متشابهين جداً (مثل "السرقة" مقابل "الاحتيال") لمعرفة ما إذا كان بإمكانه التمييز بينهما.
- الذكاء الاصطناعي السيئ: ارتبك واختار القانون الخاطئ.
- LexGuard: استخدم الآلة الحاسبة الصارمة لاختيار القانون الصحيح تماماً.

النتائج

تزعم الورقة البحثية أن LexGuard أفضل بكثير من أنظمة الذكاء الاصفي القانونية الحالية في ثلاثة أمور:

الدقة: يختار القوان actually الصحيحة في كثير من الأحيان.
العدالة: يتجاهل التفاصيل غير ذات الصلة (مثل العرق أو الجنس) التي لا ينبغي أن تؤثر على الحكم.
الاستقرار: لا يمكن خداعه بالصياغات المربكة أو "الأسئلة الخداعية".

الخلاصة

تخلص الورقة البحثية إلى أنه لكي يكون الذكاء الاصطناعي موثوقاً حقاً في مجال القانون، لا يمكن أن يكون "ذكياً" فحسب. بل يجب أن يكون صارماً. من خلال الجمع بين إبداع محامي الذكاء الاصطناعي والمنطق الصارم للآلة الحاسبة الرياضية، يضمن LexGuard أن الذكاء الاصطناعي يغير رأيه فقط عندما يتغير القانون فعلياً، وليس عندما تتغير القصة.

ملاحظة حول القيود: يعترف المؤلفون بأن نظامهم يقتصر حالياً على القوانين المكتوبة (التشريعات) ولا يتعامل بعد مع السوابق القضائية المعقدة والمتطورة أو القوانين التي تعتمد على "المناطق الرمادية" والتي تتطلب حكماً بشرياً بدلاً من القواعد الصارمة. كما أنه يتطلب قدرة حوسبية أكبر قليلاً لتشغيل خطوة "الآلة الحاسبة".

ملخص تقني: نحو ذكاء اصطناعي قانوني موثوق عبر التقييم الحساس للأهمية القانونية والاستدلال المرتكز على الحلول المنطقية

1. بيان المشكلة

يتطلب الاستدلال القانوني جوهرياً التمييز بين التغييرات ذات الأهمية القانونية وتلك غير ذات الصلة. في أنظمة سيادة القانون، يجب أن تحقق النتائج القضائية عقلانية شكلية: أي يجب أن تكون الاستنتاجات مبررة بقواعد صريحة وعامة ومتماسكة منطقياً يمكن تتبعها وصولاً إلى القوانين الحاكمة. ومع ذلك، فإن النماذج اللغوية الكبيرة (LLMs) الحالية المطبقة في المهام القانونية (مثل الإجابة على الأسئلة، تلخيص الآراء، أو استدلال اختبارات المحاماة) تظهر إخفاقات حرجة في هذا التمييز. فهي غالباً ما تكون:

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

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

2. المنهجية

يقترح البحث نهجاً ذا شقين: إطار تقييم جديد وهيكلية استدلال مبتكرة.

2.1 التقييم الحساس للأهمية القانونية

يصيغ المؤلفون الثقة في الاستدلال القانوني كـ مشكلة تقييم حساسة للأهمية القانونية. يوحد هذا الإطار العدالة القضائية، والمتانة، والتأطير العدائي، وتقييم خلط القوانين في مجموعة واحدة.

تصنيف الاضطرابات: يصنف الإطار الاضطرابات إلى نوعين:
1. الحفاظ على التسمية (لا ينبغي أن يتغير): اضطرابات تغير معلومات غير ذات صلة قانونياً (مثل السمات الديموغرافية، إعادة الصياغة، آراء الخبراء غير ذات الصلة، أو السلطات القانونية المختلقة) مع الحفاظ على الحقائق الجوهرية. يجب أن يحقق النموذج الموثوق الشرط $f(x) = f(\tau(x))$ .
2. تغيير التسمية (يجب أن يتغير): اضطرابات تعدل الشروط الجوهرية قانونياً (مثل السلوك، الحالة الذهنية، شدة الضرر، أو الاستثناءات التشريعية). يجب أن يحقق النموذج الموثوق الشرط $f(\tau(x)) = y_{\tau}$ ، حيث $y_{\tau}$ هي التسمية الجديدة الصحيحة قانوناً.
المقاييس: يقيس الإطار الثبات (الاستقرار تحت التغييرات غير ذات الصلة)، محاذاة التغيير (التحديثات الصحيحة تحت التغييرات الجوهرية)، حجم التحيز، وصحة النص التشريعي.

2.2 LexGuard: إطار عمل عدائي متعدد الوكلاء مرتكز على الحلول المنطقية

لمعالجة إخفاقات النماذج اللغوية الكبيرة القياسية، يقدم المؤلفون LexGuard، وهو إطار عمل يفصل بين الاقتراح القانوني والتدقيق القانوني باستخدام الاستدلال الرسمي.

صياغة القانون: يتم تحويل القوانين والتفسيرات القضائية تلقائياً إلى قاعدة معرفة قانونية رسمية ( $K$ ) تتكون من قيود قابلة للتنفيذ. يتم تمثيل كل قاعدة كقيد شرطي: $ARTICLEGUARD \land CLAUSEGUARD \Rightarrow PENALTY$ . تقوم هذه الحواجض (Guards) بالتحقق من الموضوع، الكائن، السلوك، النية، الضرر، السببية، والاستثناءات.
الوكلاء العدائيون: يعمل وكيلان لغويان متميزان في الدور (مدعي ودفاع) على استخراج أزواج (حجة-قانون) مهيكلة من نفس السرد الواقعي.
- المدعي (Prosecutor): يركز على الحقائق التي تدعم المسؤولية القانونية.
- الدفاع (Defense): يركز على العناصر المفقودة، الاستثناءات، والتفسيرات البديلة.
- يتناظر الوكلاء حول النصوص المربكة ضمن مجموعات التشابه لتنقية القوانين المرشحة.
التحكيم المرتكز على الحل (Solver-Centered Adjudication):
1. يبحث النظام في $K$ عن القيود المقابلة للقوان Laws المقترحة.
2. يتم تنقية الحقائق المستخرجة ومطابقتها مع العناصر القانونية المطلوبة.
3. يتم ترميز الحقائق المنقحة والقيود في صيغة نظرية (Satisfiability Modulo Theories) ( $\Phi$ ).
4. يقوم حلّال SMT (مثل Z3) بالتحقق من إمكانية تحقيق حواجض المادة، وحواجض البند، وحواجض الاستثناء.
5. حل النزاع: إذا وجد الحلّال تناقضاً (مثل حقائق متضاربة أو حواجض غير متوافقة)، فإنه يعيد "النواة غير القابلة للإشباع" (unsat core) التي تحدد النزاع، مما يستدعي إعادة ترسيخ الحقائق أو إصلاح القيود.
6. يتم إنتاج الحكم النهائي فقط بواسطة التطبيق القانوني الذي تم التحقق منه بواسطة الحلّال، مما يؤدي إلى تصفية الحقائق غير ذات الصلة والقوانٹ المختلقة.

3. المساهمات الرئيسية

إطار التقييم: صياغة الثقة في الاستدلال القانوني كمشكلة حساسة للأهمية القانونية، مجسدة بمجموعة موحدة من اضطرابات "يجب أن تتغير" و"لا ينبغي أن تتغير" التي تغطي العدالة، المتانة، الهجمات العدائية، وخلط القوانين.
بنية LexGuard: إطار عمل عدائي متعدد الوكلاء مرتكز على الحلّال، يقوم بصياغة القوانين في قيود قابلة للتنفيذ، ويستخدم وكلاء عدائيين لاستخراج الحجج المتنافسة، ويستخدم حلّال SMT للتحقق من الاتساق المنطقي والامتثال للنصوص التشريعية.
التحقق التجريبي: تجارب شاملة تثبت أن النماذج اللغوية القانونية الحالية حساسة بشكل منهجي للاختلافات غير ذات الصلة وتفشل في التمييز بين العناصر القانونية ذات الصلة، في حين أن LexGuard يحسن الموثوقية والعدالة والمتانة بشكل كبير.

4. النتائج التجريبية

قيم المؤلفون LexGuard على مجموعات بيانات قانونية عامة (LeCaRDv2, LEEC) وعلى مجموعة الاضطرابات الخاصة بهم.

أداء التنبؤ القياسي: حقق LexGuard أفضل درجات F1 لكل من التنبؤ العام وتنبؤ النصوص المحددة في LeCaRDv2 و LEEC. كانت المكاسب مدفوعة أساساً بارتفاع الدقة (Precision)، مما يشير إلى أن الحلّال يقلل بفعالية من تنبؤات القوانين غير ذات الصلة.
دقة الأحكام: حقق LexGuard أدنى خطأ جذر متوسط المربع (RMSE) في تنبؤات الأحكام، سواء مع القوانين "الذهبية" (الحقيقية) أو بدونها، مع الحفاظ على صلاحية قانونية عالية (تم التحقق منها عبر الحلّال).
الحساسية للأهمية (RQ3 & RQ4):
- يجب أن يتغير (Should-Change): أظهر LexGuard قدرة فائقة على تحديث التنبؤات عند تعديل العناصر التشريعية، متفوقاً على النماذج المرجعية في "محاذاة التغيير".
- لا ينبغي أن يتغير (Should-Not-Change): أظهر LexGuard متانة قوية ضد التأطير العدائي (مثل السلطات المختلقة، أو اختطاف الأدوار) وإعادة الصياغة الحميدة، محافظاً على ثبات عالٍ ودرجات F1 واعية للهجمات حيث فشلت النماذج المرجعية.
خلط القوانين (RQ5): في المهام التي تتضمن مجموعات قوانين مربكة (مثل السرقة مقابل الاحتيال)، حقق LexGuard "دقة إيجابية" أعلى بكثير (88.71% مقابل 58.57% للنماذج المرجعية) ومعدلات أقل في حالات الإغفال أو اختيار قانون مشابه خاطئ.
دراسة الاستبعاد (Ablation Study): تسبب إزالة مُعالج Z3 في أكبر انخفاض في الأداء، مما يبرز ضرورة التحقق من الاتساق الرمزي. كما أدى إزالة وحدة المناظرة العدائية أيضاً إلى تقليل الدقة بشكل كبير، مما يؤكد قيمة المنافسة دقيقة التفاصيل بين النصوص المربكة.

5. الأهمية والادعاءات

يزعم البحث أن الثقة القانونية لا تتطلب الدقة فحسب، بل تتطلب أيضاً حساسية معايرة تجاه التغييرات الجوهرية قانونياً.

ما وراء الدقة: الدقة العالية وحدها غير كافية للذكاء الاصطناعي القانوني إذا كان النموذج غير مستقر تحت الاضطرابات غير ذات الصلة أو غير حساس للتغييرات الجوهرية. تُعرف الثقة بالقدرة على التمييز بين التغييرات ذات الصلة وغير ذات الصلة.
الاستدلال القابل للتدقيق: من خلال ترسيخ القرارات في قيود رسمية وتحقق SMT، ينتج LexGuard تبريرات رمزية يمكن تدقيقها مقابل قواعد تشريعية صريحة، مما يعالج مشكلة "الصندوق الأسود" في النماذج اللغوية القياسية.
آلية المتانة: تشير النتائج إلى أن المتانة تجاه الهجمات العدائية والاضطرابات غير ذات الصلة لا يمكن تحقيقها فقط عبر هندسة الأوامر (مثل سلسلة الأفك‏ CoT أو التعلم من أمثلة قليلة Few-shot)، بل تتطلب فصلاً هيكلياً بين الاقتراح والتحقق عبر حلّالات رسمية.

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