Rejecting Arguments Based on Doubt in Structured Bipolar Argumentation
تقدم هذه الورقة أطر الحجاج ثنائية القطب المهيكلة (SBAFs) ودلالاتها المرتبطة بها لنمذجة الوكلاء العقلانيين الذين يمكنهم رفض الحجج بناءً على مجرد الشك وتقييم القبول على مستوى الجملة، مما يسد الفجوة بين الدلالات المقبولة والكاملة مع تقديم منظور معمّم للنهج القائمة مثل الدعم الاستنتاجي.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل أنك تجلس في اجتماع لبلدية المدينة، حيث يصرخ الناس بحجج لإقناعك بشيء ما. عادةً، تعمل برامج الكمبيوتر المصممة لتحليل هذه المناظرات مثل قاضٍ صارم وجامد؛ فهي تتبع قاعدة بسيطة: "إذا تم الدفاع عن حجة ولم ينجح أحد في دحضها، يجب عليك قبولها."
تقترح هذه الورقة نوعاً مختلفاً من القضاة—واحد يعمل كإنسان متشكك. إنها تقدم طريقة جديدة للكمبيوترات للتعامل مع المناظرات تسمح بوجود الشك وتركز على الحقائق الفردية بدلاً من مجرد الحجج الكاملة.
إليك تفصيل لأفكار الورقة باستخدام تشبيهات بسيطة:
1. المشكلة: "القاضي الجامد" مقابل "الإنسان المتشكك"
في علم الحجاج التقليدي، إذا كان لديك سلسلة منطقية لم يهاجمها أحد، يقول الكمبيوتر: "هذا صحيح، اقبله".
- رؤية الورقة: البشر ليسوا كذلك. حتى لو لم تُهاجم حجة ما، قد ترفضها إذا كنت تشك في نقطة البداية الخاصة بها.
- التشبيه: تخيل أن شخصاً قال: "هذا الكمان هو من طراز ستراديفاريوس لأن أليكس قال ذلك".
- القاضي الجامد: "لم يهاجم أحد تصريح أليكس. لذلك، الكمان هو ستراديفاريوس. اقبله."
- الإنسان المتشكك (هذه الورقة): "أنا لا أعرف أليكس. قد يكون كاذباً أو جاهلاً. على الرغم من أن أحداً لم يهاجم ادعاءه، إلا أنني أشك في ذلك. لذا، سأرفض الاستنتاج بأن هذا الكمان هو ستراديفاريوس."
تجادل الورقة بأن الكمبيوترات يجب أن يُسمح لها بالقول: "لست مقتنعاً بعد"، دون الحاجة إلى حجة مضادة محددة لإثبات صحة رأيها.
2. الأداة الجديدة: "الحجاج ثنائي القطب المهيكل"
لتحقيق ذلك، بنى المؤلفون إطار عمل جديداً يسمى أطر الحجاج ثنائي القطب المهيكلة (SBAFs). فكر في هذا ككتاب قواعد جديد للمناظرات يتميز بميزتين خاصتين:
- ثنائي القطب (جانبان): في الأنظمة القديمة، كانت الحجج تحتوي فقط على "هجمات" (مثل اللكمات). يضيف هذا النظام الجديد "دعماً" (مثل الإمساك بالأيدي). إذا كانت الحجة (أ) تدعم الحجة (ب)، فإن قبول (أ) يجعل من الصعب رفض (ب).
- مهيكل (المكونات): كانت الأنظمة القديمة تعامل الحجج كصناديق سوداء؛ إما تقبل الصندوق كاملاً أو ترفضه. هذا النظام الجديد ينظر داخل الصندوق. إنه يفصل بين المقدمات (المكونات) والاستنتاج (الكعكة).
- التشبيه: بدلاً من مجرد قول "أنا أقبل الكعكة"، يسأل النظام: "هل تقبل الدقيق؟ هل تقبل السكر؟" قد تقبل الدقيق والسكر ولكنك لا تزال تشك في قدرة الخباز على خلطهما، لذا ترفض الكعكة حتى لو كنت تحب المكونات.
3. القاعدتان الجديدتان: "الاتساق" و"الكفاية"
تحدد الورقة طريقتين لتقرير ما يجب الإيمان به، بناءً على مدى صرامتك في الشك.
أ. امتدادات الحجة المتسقة (رؤية "الحجة")
هذا ينظر إلى الحجج التي تقبلها.
- الاتساق الضعيف: يمكنك رفض حجة حتى لو تم الدفاع عنها، طالما أنك تشك في مقدماتها. الأمر يشبه قول: "أرى أن لديك درعاً (دفاعاً)، لكنني لا أثق في السيف الذي تحمله (المقدمة)، لذا أنا لا أصدقك."
- الاتساق القوي: أنت أكثر صرامة. أنت ترفض الحجة فقط إذا كان لديك دليل محدد على أن المقدمة خاطئة (نقض). إذا كنت فقط تشك في أنها خاطئة ولكن ليس لديك دليل، فعليك قبولها.
ب. امتدادات اللغة الكافية (رؤية "الجملة")
هذا ينظر إلى الجمل (الحقائق) التي تقبلها، متجاهلاً الحجج للحظة.
- التشبيه: تخيل أنك تملأ قائمة حقائق.
- الكفاية الضعيفة: تضع علامة صح على الحقائق التي أنت متأكد منها. إذا كانت حقيقة ما تعتمد على حجة مهتزة، تتركها بدون علامة.
- الكفاية القوية: تضع علامة صح على الحقائق ما لم يكن لديك دليل على أنها خاطئة.
- لماذا يهم هذا: أحياناً، قد تقبل حقيقة (مثلاً: "كلارا قالت إن آن-سوفي تملك الكمان") ولكن ترفض الاستنتاج (مثلاً: "آن-سوفي تملك الكمان") لأنك تشك في المصدر. يسمح لك هذا النظام بالقول: "أنا أقبل الادعاء بأن كلارا قالت ذلك، لكنني لا أقبل أنه حقيقي."
4. "المنطقة المثالية"
وجد المؤلفون أن قواعدهم الجديدة تقع في "منطقة غولديلوكس" (المنطقة المثالية) بين قاعدتين حاسوبيتين موجودتين:
- القابلية للقبول (Admissibility): فضفاضة جداً. تسمح لك برفض أي شيء تريده، حتى لو كان مدعوماً جيداً.
- الاكتمال (Completeness): صارمة جداً. تجبرك على قبول كل شيء لم يتم مهاجمته.
- دلالاتنا الجديدة (Semantics): مثالية تماماً. تجبرك على قبول الحجج المدعومة ما لم يكن لديك سبب للشك فيها، لكنها لا تجبرك على قبول أشياء ليس لديك دليل عليها.
5. الاكتشاف الكبير: متى يهم الهيكل؟
تجري الورقة اختباراً رائعاً: متى يمكننا تجاهل الهيكل المعقد للحجج والاكتفاء بالنظر إلى الهجمات البسيطة؟
- النتيجة: إذا كانت المناظرة "مشبعة" (بمعنى أن كل حقيقة لها حجتها الصغيرة المستقلة والخاصة بها)، فإن رؤية "الجملة" المعقدة ورؤية "الحجة" البسيطة تعطيان نفس النتائج.
- التشبيه: إذا كان لكل طوبة في الجدار بطاقة تعريف خاصة بها، يمكنك فقط النظر إلى الطوب. ولكن إذا كانت الطوب ملتصقة معاً في أنماط معقدة، فعليك النظر إلى الجدار بأكمله لفهم ما يحدث.
- الآثار المترتبة: في الحالات البسيطة، تعمل النماذج الحاسوبية القديمة والأبسط بشكل جيد. ولكن في المناظرات المعقدة في العالم الحقيقي حيث يتم تشارك المقدمات وخلطها، تحتاج إلى هذا النموذج الجديد الأكثر تفصيلاً للحصول على الإجابة الصحيحة.
الملخص
تعلم هذه الورقة الكمبيوترات أن تكون أكثر شبهاً بالمناظرين البشر. فهي تسمح لها بـ:
- الشك في حجة ما دون الحاجة إلى هجوم مضاد.
- الفصل بين الحقائق (الجمل) والمنطق (الحجج).
- الاختيار بين كونها متشككة صارمة (الاتساق القوي) أو مرنة (الاتساق الضعيف).
لا تدعي الورقة أنها تحل جميع الخلافات البشرية، لكنها توفر أداة رياضية أفضل لنمذجة كيفية تفكيرنا عندما نكون غير متأكدين.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.