Comparative Expressivity for Structured Argumentation Frameworks with Uncertain Rules and Premises

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

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

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

السؤال الجوهري المفتوح هو: كيف تقارن نماذج الحجاج المجردة والمهيكلة مع عدم اليقين من حيث قدرتها التعبيرية؟
تحديداً، يبحث المؤلفون فيما إذا كانت الأطر المجردة (مثل أطر الحجاج ذات الحجج غير المكتملة) يمكنها استيعاب الفروق الدقيقة للأطر المهيكلة (مثل ASPIC+ ذات القواعد أو المقدمات غير المؤكدة) بشكل كامل، أم أن المعلومات تُفقد عند الانتقال بين هذين النموذجين. وهناك قلق رئيسي من أن العديد من الأطر المجردة ليست "تجسيدات معقولة" للأطر المهيكلة، مما يؤدي إلى فقدان الدقة فيما يتعلق بالاعتمادات بين مكونات الحجة.

2. المنهجية

يستخدم المؤلفون نهجاً منهجياً لمقارنة القدرة التعبيرية النسبية لمختلف الصيغ الرسمية. وتتكون منهجيتهم من خطوتين رئيسيتين:

1. تحديد معيار لعدم اليقين المجرد:
   يستخدمون أطر الحجاج ذات الحجج غير المكتملة مع الاعتمادات (dep-arg-IAFs). في هذا النموذج:

   • يتم تقسيم الحجج إلى حجج مؤكدة ($AF$) وغير مؤكدة ($A?$).
   • يتم حل عدم اليقين عبر الإتمامات (مجموعات جزئية من الحجج التي تشكل إطاراً صالحاً).
   • يتم إدخال الاعتمادات ($\Delta$) لتقييد الإتمامات (على سبيل المثال: "إذا كانت الحجة $A$ موجودة، فإن الحجة $B$ يجب أن تكون موجودة").
   • تُقاس القدرة التعبيرية بمجموعة الإتمامات التي يمكن للصيغة توليدها.

2. رفع الصيغ المهيكلة إلى المستوى المجرد:
   يقومون بتحليل ASPIC+، وهو إطار حجاج مهيكل بارز، تحت نوعين من عدم اليقين:

   • عدم اكتمال القواعد (rul-ISAF): عدم اليقين بشأن قابلية تطبيق قواعد الاستدلال (سواء كانت صارمة أو قابلة للدحض).
   • عدم اكتمال المقدمات (prem-ISAF): عدم اليقين بشأن وجود عناصر قاعدة المعرفة (البديهيات أو المقدمات العادية).

   يحددون الإتمامات لهذه الأطر المهيكلة (عبر اختيار مجموعات جزئية من القواعد أو المقدمات غير المؤكدة) ويربطونها بأطر الحجاج المجردة المرتبطة بها.

3. التحليل المقارن:
   يحددون مفهوماً لـ القدرة التعبيرية النسبية ($\mathcal{Y} \preceq \mathcal{X}$): تكون الفئة $\mathcal{Y}$ على الأقل بنفس قدر تعبير الفئة $\mathcal{X}$ إذا كان لكل إطار في $\mathcal{X}$ يوجد إطار في $\mathcal{Y}$ يولد مجموعة مكافئة من الإتمامات (حتى التماثل). ويستخدمون البراهن البنائية والأمثلة المضادة لإثبات عدم التساوي الصارم ($\prec$) وعدم القدرة التعبيرية ($\not\preceq$).

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

• مفهوم جديد للقدرة التعبيرية: تقدم الورقة تعريفاً دقيقاً للقدرة التعبيرية الذي يتعامل مع كل من الصيغ المجردة والمهيكلة من خلال مقارنة مجموعات "إتماماتها" (العوالم الممكنة). وهذا يسمح بمقارنة مباشرة بين النماذج التي تعمل بمستويات مختلفة من التفصيل.
• صياغة ASPIC+ غير المكتملة: يقدم المؤلفون تعريفات دقيقة لـ rul-ISAF (القواعد غير المؤكدة) و prem-ISAF (المقدمات غير المؤكدة)، مما يوسع العمل السابق حول الحجاج المهيكل غير المكتمل.
• ربط الاعتمادات بالهيكل: يوضحون كيف أن الاعتمادات في الأطر المجردة (تحديداً الاعتمادات الضمنية) تتوافق مع القيود الهيكلية الموجودة في أطر ASPIC+ غير المكتملة.

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

تُلخص النتائج في تسلسل هرمي للقدرة التعبيرية (كما هو موضح في الشكل 1 من الورقة). ويمكن تصنيف النتائج كما يلي:

أ. المجرد مقابل المهيكل (عام)

• المهيكل > المجرد (بدون اعتمادات): الأطر المهيكلة مع عدم اليقين (rul-ISAF و prem-ISAF) هي أكثر قدرة تعبيرية بشكل صارم من أطر الحجج غير المكتملة (arg-IAFs) بدون اعتمادات.
  • السبب: يمكن للأطر المهيكلة فرض علاقات اعتماد معقدة بين الحجج (على سبيل المثال: إذا كانت القاعدة $r$ موجودة، فإن الحجة $A$ موجودة) وهو ما لا تستطيع أطر arg-IAFs البسيطة التقاطه دون قيود اعتماد صريحة.
• المجرد (مع الاعتمادات) > المهيكل: الأطر ذات الاعتمادات (dep-arg-IAFs) هي أكثر قدرة تعبيرية بشكل صارم من الأطر المهيكلة.
  • السبب: بينما يمكن للأطر المهيكلة توليد أنماط اعتماد محددة، إلا أنها لا تستطيع توليد جميع مجموعات الإتمامات الممكنة التي يمكن للإطار المجرد العام القائم على الاعتماد توليدها. وتحديداً، يمكن لـ imp-arg-IAFs (الاعتمادات الضمنية) نمذجة سيناريوهات لا يمكن لا $\text{rul-ISAF}$ ولا $\text{prem-ISAF}$ إعادة إنتاجها.

ب. عدم اكتمال القواعد مقابل عدم اكتمال المقدمات

• عدم اكتمال القواعد > عدم اكتمال المقدمات: فئة الأطر غير المكتملة القواعد (rul-ISAF) هي أكثر قدرة تعبيرية بشكل صارم من أطر عدم اكتمال المقدمات (prem-ISAF).
  • السبب: تسمح القواعد غير المؤكدة بتفاعلات هيكلية أكثر تعقيداً (مثل سلسلة القواعد غير المؤكدة) والتي لا يمكن للمقدمات غير المؤكدة وحدها محاكاتها. يثبت المؤلفون أن أي prem-ISAF يمكن ترجمته إلى rul-ISAF مكافئ، ولكن العكس ليس صحيحاً.

ج. الملخص الهرمي

التسلسل الهرمي للقدرة التعبيرية الذي تم وضعه هو:
$$\text{arg-IAFs} \prec \text{prem-ISAFs} \prec \text{rul-ISAFs} \prec \text{imp-arg-IAFs} \prec \text{dep-arg-IAFs}$$

• arg-IAFs: الأقل قدرة تعبيرية.
• prem-ISAFs: أكثر قدرة من arg-IAFs؛ وأقل من rul-ISAFs.
• rul-ISAFs: أكثر قدرة من prem-ISAFs؛ وأقل من imp-arg-IAFs.
• imp-arg-IAFs: أكثر قدرة من rul-ISAFs؛ وأقل من dep-arg-IAFs الكاملة.
• dep-arg-IAFs: الأكثر قدرة تعبيرية (يمكنها عزل أي مجموعة من الإتمامات).

5. الأهمية

• التوحيد النظري: تجسر هذه الورقة الفجوة بين الحجاج المجرد والمهيكل من خلال توفير مقياس مشترك (القدرة التعبيرية للإتمامات) لمقارنتهما. وهي توضح حدود النماذج المجردة عند تطبيقها في السياقات المهيكلة.
• التوجيه في اختيار النماذج: تمد النتائج الباحثين والممارسين بمعلومات حول الصيغة التي يجب اختيارها بناءً على تعقيد عدم اليقين في مجالهم.
  • إذا كان المجال يتطلب نمذجة اعتمادات معقدة بين مكونات الحجة، فإن النماذج المجردة البسيطة غير كافية؛ بل يلزم استخدام نماذج مهيكلة أو نماذج مجردة مع اعتمادات صريحة.
  • إذا كان المجال يتضمن قواعد استدلال غير مؤكدة، فإن النموذج القائم على المقدمات غير كافٍ؛ بل يجب استخدام نموذج قائم على القواعد.
• أسس للعمل المستقبلي: يشير المؤلفون إلى أن هذه النتائج توحد الدراسات الحديثة حول الحجاج المهيكل غير المكتمل (بالإشارة تحديداً إلى الأعمال [22] و [15, 16]). وتوفر المنهجية نموذجاً لتحليل الصيغ المهيكلة الأخرى (مثل ABA، DeLP) ولتوسيع تحليل أنواع أخرى من عدم اليقين (مثل التفضيلات).

في الختل، تثبت الورقة أن الحجاج المهيكل مع عدم اليقين هو منطقة وسطى قوية: فهو أكثر قدرة تعبيرية من النماذج المجردة الأساسية، ولكنه أقل قدرة تعبيرية من النماذج المجردة المعززة بقيود الاعتماد العامة. علاوة على ذلك، فإنها تؤكد أن عدم اليقين في القواعد هو أكثر قدرة تعبيرية بشكل جوهري من عدم اليقين في المقدمات ضمن إطار ASPIC+.