Diversity of Extensions in Abstract Argumentation
تقدم هذه الورقة مفهوماً كمياً لتنوع الامتداد في أطر الحجاج المجردة بناءً على الفرق المتماثل، وتوفر تصنيفاً منهجياً للتعقيد للمسائل القرارية والتحسينية ذات الصلة، وتقدم تقييماً نموذجياً لحساب مستويات التنوع.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل أنك تحاول حل لغز معقد، مثل اتخاذ قرار بشأن علاج طبي أو اختيار سياسة لمدينة ما. في عالم الذكاء الاصطناعي، يتم نمذجة هذا الأمر غالبًا باستخدام الجدال المجرد (Abstract Argumentation). فكر في هذا كخريطة ضخمة من الأفكار (التي تسمى "الحجج") حيث تهاجم بعض الأفكار أو تتعارض مع أخرى.
عادةً، عندما تجد الحواسيب حلولاً لهذه الألغاز، فإنها تجد ما يسمى بـ "الامتدادات" (extensions)، وهي مجموعة من الأفكد المتسقة التي يمكن أن تقف معاً دون أن تتصارع فيما بينها. إذا وُجدت عدة حلول، فهذا يعني وجود طرق مختلفة وصحيحة للنظر إلى نفس الموقف.
المشكلة: "ما مدى اختلاف هذه الحلول؟"
حتى الآن، إذا وجد الحاسوب ثلاثة حلول مختلفة، كان بإمكانه إخبارك بماهيتها، لكنه لم يكن يستطيع بسهولة إخبارك بمدى تباعدها عن بعضها البعض.
- هل الحل (أ) والحل (ب) مختلفان قليلاً (مثل اختيار قميص أحمر مقابل قميص أزرق)؟
- أم أنهما غير متوافقين تماماً (مثل اختيار تناول البرجر مقابل اتخاذ قرار بالتضور جوعاً)؟
الأساليب الموجودة لم تستطع قياس هذا "التفاوت" بفعالية.
الفكرة الجديدة: قياس "التنوع"
تقدم هذه الورقة طريقة جديدة لقياس مدى اختلاف هذه الحلول بدقة. يستخدم المؤلفون مفهوماً رياضياً يسمى الفرق المتماثل (Symmetric Difference).
التشبيه الإبداعي: عدد عمليات "التبديل"
تخły أن لديك قائمتين لمشتريات البقالة:
- القائمة (أ): حليب، بيض، خبز، تفاح.
- القائمة (ب): حليب، بيض، خبز، موز.
لإيجاد "التنوع" بينهما، تنظر إلى ما يوجد في قائمة واحدة ولا يوجد في الأخرى.
- القائمة (أ) تحتوي على التفاح (والقائمة ب لا تحتوي عليه).
- القائمة (ب) تحتوي على الموز (والقائمة أ لا تحتوي عليه).
- كلاهما يشترك في الحليب، والبيض، والخبز.
"درجة التنوع" هنا هي 2 (التفاح والموز). إذا كانت القائمتان متطابقتين، تكون الدرجة 0. وإذا لم تشتركا في أي شيء، تكون الدرجة هي العدد الإجمالي للعناصر.
يطبق المؤلفون هذا على خرائط الحجج الخاصة بهم. يتساءلون: "إذا أخذنا وجهات نظر مختلفة وصحيحة، كم عدد الحجج التي سيتعين علينا تبديلها لتحويل واحدة إلى الأخرى؟"
- تنوع منخفض: وجهات النظر متشابهة جداً؛ فهما يتفقان في الغالب، مع وجود تعديلات طفيفة فقط.
- تنوع مرتفع: وجهات النظر مختلفة جذرياً؛ فهي تعتمد على منطق مختلف تماماً.
لماذا يهم هذا الأمر؟
تستخدم الورقة مثال القرار الطبي (الشكل 1 في النص).
- الخيار (X): ابدأ العلاج (X) فوراً.
- الخيار (Y): ابدأ العلاج (Y) فوراً.
- الخيار (W): انتظر لمزيد من البيانات.
وجد المؤلفون أن الخيار (X) والخيار (Y) كانا متنوعين للغاية (لم يشتركا في أي منطق تقرياً). ومع ذلك، كان الخيار (X) والخيار (W) أقل تنوعاً (اشتركا في بعض المنطق).
هذا يساعد صناع القرار على رؤية المقايضات الحقيقية. إذا نظرت إلى حل واحد فقط، فقد تغفل عن حقيقة أن الخيارات الأخرى مختلفة جذرياً. التنوع العالي يعني خلافاً عميقاً؛ والتنوع المنخفض يعني شبه إجماع.
ماذا فعلوا بالفعل؟
- تحديد القواعد: وضعوا تعريفاً رياضياً رسمياً لدرجة "التنوع" هذه بناءً على الفرق المتماثل.
- التحقق من الصعوبة (التعقيد): حللوا مدى صعوبة العثور على هذه الحلول المتنوعة بالنسبة للحاسوب.
- بالنسبة لبعض أنواع المنطق (الدلالات)، يكون العثور على أكثر زوج متنوع هو أمر صعب جداً (من الناحية الرياضية، يُصنف بأنه "NP-complete" أو حتى أصعب).
- بالنسبة لأنواع أخرى، يكون الأمر أسهل.
- لقد رسموا خريطة توضح بالضبط مدى صعوبة هذه المشكلات لمختلف السيناريوهات (مثل: "هل يوجد زوج من الحلول يبعد عن بعضهما بمقدار 5 خطوات على الأقل؟").
- بناء نموذج أولي: كتبوا برنامجاً حاسوبياً (باستخدام أداة تسمى ASPARTIX) لحساب درجات التنوع هذه فعلياً.
- اختباره: قاموا بتشغيل برنامجهم على مئات من حالات الاختبار القياسية (تصل إلى 1,000 حجة).
- النتيجة: وجدوا أنه في كثير من الحالات، كانت الحلول قريبة جداً من بعضها البعض (تنوع منخفض).
- ومع ذلك، في بعض الأطر المعقدة المحددة، كانت الحلول مختلفة تماماً (تنوع مرتفع).
- استطاع البرنامج حساب هذه الدرجات في وقت معقول (عادةً أقل من ثانية أو ثانيتين للحالات المختبرة).
ما لم يدّعوه
- لم يدّعوا أن هذا سيشفي الأمراض فوراً أو يحل الأزمات السياسية.
- لم يدّعوا أن هذا يعمل مع كل نوع من أنواع مشكلات المنطق في الكون (لقد ركزوا على "دلالات" محددة مثل "المستقرة"، و"المقبولة"، و"الكاملة").
- لم يقدموا خوارزمية نهائية ومثالية لأصعب الحالات؛ بل حددوا أين تكمن الصعوبة وتركوا بعض "الحالات المفتوحة" للبحوث المستقبلية.
باختصار
تقدم هذه الورقة "مسطرة" جديدة لقياس مدى اختلاف الآراء الصحيحة مع بعضها البعض في نظام منطقي. إنها توضح أنه بينما قد تكون بعض الخلافات مجرد تعديلات طفيفة، إلا أن بعضها الآخر هو صدامات جوهرية، ويمكننا الآن حساب مكان الخط الفاصل بدقة. لقد أثبتوا أن حساب هذا الأمر ممكن ولكنه قد يكون ثقيلاً من الناحية الحسابية، وبنوا أداة عاملة لإثبات ذلك.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.