🤖 AI

Constrained Assumption-Based Argumentation Frameworks

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

المؤلفون الأصليون: Emanuele De Angelis (CNR-IASI, Rome, Italy), Fabio Fioravanti (DEc, University 'G. d'Annunzio', Chieti-Pescara, Italy), Maria Chiara Meo (DEc, University 'G. d'Annunzio', Chieti-Pescara, Italy), Alber

نُشر 2026-04-14

📖 5 دقيقة قراءة🧠 قراءة متعمّقة

CC BY 4.0

المؤلفون الأصليون: Emanuele De Angelis (CNR-IASI, Rome, Italy), Fabio Fioravanti (DEc, University 'G. d'Annunzio', Chieti-Pescara, Italy), Maria Chiara Meo (DEc, University 'G. d'Annunzio', Chieti-Pescara, Italy), Alberto Pettorossi (DICII, University of Rome 'Tor Vergata', Italy), Maurizio Proietti (CNR-IASI, Rome, Italy), Francesca Toni (Imperial, London, UK)

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

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

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

الطريقة القديمة: حجة "الأرضية" (مثل خزانة الملفات)

تقليدياً، كانت أنظمة المجادلة (التي تسمى ABA) تشبه خزانة ملفات ضخمة.

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

الطريقة الجديدة: الحجة "المقيدة" (مثل الفلتر الذكي)

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

القاعدة: "أي شخص لديه دخل $I$ وغير مستثنى، يجب أن يدفع الضريبة."
القيد: "ولكن انتظر! إذا كان $I$ أقل من 16,000 دولار وكان لديه راتب فقط، فهو مستثنى."

في نظام CABA، لا يحتاج الكمبيوتر لمعرفة من هو الشخص. هو فقط يحتفظ بالقاعدة:

إذا كان (الدخل > 0) و (ليس مستثنى) إذن (يدفع الضريبة).

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

شرح المفاهيم الأساسية عبر التشبيهات

1. "الحجة" كشجرة

تخيل أن الحجة هي شجرة.

الأوراق: هي افتراضاتك (مثل "هذا الشخص لديه راتب") وقيودك (مثل "الراتب < 16,000 دولار").
الأغصان: هي القواعد التي تربط الأوراق بالنتيجة.
الجذر: هو الادعاء النهائي (مثل "هذا الشخص مستثنى").

في النظام القديم، كان عليك بناء شجرة منفصلة لكل شخص. أما في CABA، فأنت تبني شجرة واحدة بها مساحات فارغة (متغيرات) يمكن ملؤها لاحقاً.

2. "الهجوم" (الجدال)

في علم الجدال، يحدث "الهجوم" عندما تتعارض حجة مع أخرى.

الطريقة القديمة: "حجة جون تهاجم حجة ماري." (محددة).
الطريقة الجديدة (CABA): "قاعدة 'أصحاب الدخل المرتفع' تهاجم قاعدة 'الإعفاءات'."
- يتحقق النظام: "هل تتعارض هاتان القاعدتان في أي وقت؟"
- إذا قالت الحسابات: "نعم، إذا كسب شخص ما 20,000 دولار، فإن قاعدة 'صاحب الدخل المرتفع' هي التي تفوز،" فإن الهجوم صحيح.
- إذا قالت الحسابات: "لا، إنهما لا تتعارضان أبداً،" يتم تجاهل الهجوم.

يقدم البحث نوعين من الهجمات:

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

3. إجراء "التقسيم" (الخدعة السحرية)

هذا هو الجزء الأكثر ذكاءً في الورقة البحثية. أحياناً، تكون هناك حجتان متداخلتان ومعقدتان للغاية لدرجة تجعل الكمبيوتر يرتبك.

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

لماذا يهم هذا الأمر؟

1. إنه يتعامل مع العالم "اللانهايي".
الحياة الواقعية ليست مجرد قائمة تضم 1,000 شخص. إنها عالم من الاحتمالات اللانهائية (أي مبلغ من المال، أي تاريخ، أي موقع). يتيح CABA للحواسيب التفكير في هذه الاحتمالات اللانهائية دون الحاجة إلى ذاكرة لانهائية.

2. إنه فعال.
بدلاً من فحص مليون ملف، يفحص الكمبيوتر قاعدة واحدة مع قيود رياضية. إنه الفرق بين قراءة كل كتاب في المكتبة للعثور على اقتباس، وبين استخدام محرك بحث للعثور على الصفحة المحددة بالضبط.

3. إنه مرن.
استخدمت الورقة مثالاً قانونياً/ضريبياً، لكن هذا يعمل في:

الرعاية الصحية: "إذا كان المريض يعاني من العرض X وعمره > Y، فصف له الدواء Z." (يعمل مع أي مريض، وليس فقط من هم في قاعدة البيانات).
الروبوتات: "إذا كان العائق ضمن مسافة 5 أمتار، توقف." (يعمل مع أي عائق، وفي أي مكان).

الخلا الخلاصة

هذه الورقة تتعلق بتعليم الحواسيب كيف تجادل مثل محامٍ ذكي بدلاً من مساعد إداري.

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

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

إليك ملخص تقني مفصل لورقة البحث بعنوان "أطر الحجاج القائمة على الافتراضات المقيدة (النسخة الموسعة مع البراهين)" من تأليف دي أنجيليس وآخرون.

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

الحجاج القائم على الافتراضات (ABA) هو إطار عمل راسخ للحجاج المهيكل، حيث تُعتبر الحجج استنتاجات مدعومة بقواعد وافتراضات، وتحدث الهجمات عندما تتعارض دعوى حجة ما مع افتراض يدعم حجة أخرى.

القصور الجوهري الذي تعالجه هذه الورقة هو التقييد التمثيلي في ABA القياسي. في ABA القياسي (خاصة في نموذج البرمجة المنطقية الخاص به)، يجب بناء الحجج والهجمات من ذرات قضائية أرضية (خالية من المتغيرات).

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

2. المنهجية: الحجاج القائم على الافتراضات المقيد (CABA)

يقترح المؤلفون الحجاج القائم على الافتراضات المقيد (CABA)، وهو إطار عمل جديد يرفع قيد التأريض عبر دمج مفاهيم البرمجة المنطقية المقيدة (CLP) في ABA.

المكونات الرئيسية لـ CABA

يُعرف إطار CABA بأنه سداسية $\langle L_c, C, R, CT, A, \overline{\cdot} \rangle$ :

$L_c$ (اللغة الذرية): تحتوي على ذرات قد تشمل متغيرات.
$C$ (القيود): مجموعة من القيود الذرية (مثل $x > 0$ ، $x \leq 100$ ) فوق نطاق محدد.
$R$ (القواعد): قواعد استدلال على شكل $s_0 \leftarrow s_1, \dots, s_m$ ، حيث يمكن أن تحتوي متنية القاعدة على كل من الذرات والقيود.
$CT$ (نظرية القيود): نظرية من الدرجة الأولى (مثل الحساب العقلاني الخطي) التي تحدد صحة القيود.
$A$ (الافتراضات): مجموعة من الافتراضات (والتي يمكن أن تحتوي على متغيرات).
$\overline{\cdot}$ (الرسم المقابل): يربط الافتراضات بنقيضاتها.

المفاهيم الأساسية

الحجج المقيدة: بدلاً من استنتاج أرضي واحد، الحجة المقيدة هي شجرة تكون أوراقها عبارة عن افتراضات أو قيود. تمثل الحجة مجموعة ممكنة لانهائية من النسخ الأرضية التي يتم الحصول عليها عبر استيفاء القيود.
- الحجج المقيدة الضيقة (Tight Constrained Arguments): الحجما التي تكون قيودها دنيا ومتسقة.
- أكثر الحجج المقيدة عمومية (MGCArg): الحجج ذات الشكل الأكثر عمومية (باستخدام المتغيرات) والتي يمكن اشتقاق جميع النسخ الأخرى منها.
الهجمات: تميز الورقة بين نوعين من الهجمات بناءً على العلاقة المنطقية بين قيود الحجة المهاجمة والحجة المهاجَمَة:
- الهجوم الكامل (Full Attack): القيود الخاصة بالمهاجم تستلزم منطقياً نفي قيود الحجة المهاجَمَة (بموجب نظرية القيود).
- الهجوم الجزئي (Partial Attack): قيود المهاجم والحجة المهاجَمَة متسقة (أي يوجد على الأقل نسخة أرضية واحدة يتحقق فيها كلاهما)، ولكن دعوى المهاجم تتعارض مع افتراض في الحجة المهاجَمَة.
الدلالات (Semantics): يعرّف المؤلفون الامتدادات الخالية من الصراع، والمقبولة، والمستقرة مباشرة على مجموعة الحجج المقيدة، متجنبين الحاجة إلى توليد المجموعة الأرضية الكاملة.

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

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

4. النتائج

السلامة النظرية: تثبت الورقة أن الدلالات الجديدة غير الأرضية سليمة فيما يتعلق بالدلالات الأرضية. وتحديداً، تكون مجموعة الحجج المقيدة امتداداً مستقراً في CABA إذا وفقط إذا كانت مجموعة نسخها الأرضية امتداداً مستقراً في إطار ABA الأرضي.
الجدوى الحسابية: من خلال إجراء تقسيم الحجج، يوضح المؤلفون أنه من الممكن بناء امتدادات غير أرضية منتهية لأطر CABA، حتى عندما تكون الامتدادات الأرضية المقابلة لها لانهائية.
- مثال: في سيناريو الاستدلال الضريبي (المثال 1.1)، يمكن لـ CABA تحديد أن الشخص يجب أن يدفع ضريبة إذا كان الدخل $> 16,000$ دون الحاجة لسرد كل قيمة دخل ممكنة.
علاقات التكافؤ: تُعرف الورقة علاقة تكافؤ ( $\equiv$ ) على مجموعات الحجج المقيدة، مما يسمح بمعالجة مجموعات الحجج (مثل التقسيم، إعادة التسمية) مع الحفاظ على معناها الدلالي فيما يتعلق بالنسخ الأرضية.

5. الأهمية

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

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