I propose a model of aggregation of intervals relevant to the study of legal standards of tolerance. Seven axioms: responsiveness, anonymity, continuity, strategyproofness, and three variants of neutrality are then used to prove several important results about a new class of aggregation methods called endpoint rules. The class of endpoint rules includes extreme tolerance (allowing anything permitted by anyone) and a form of majoritarianism (the median rule).
- معرّف الورقة البحثية: 2501.00578
- العنوان: حدود التسامح
- المؤلف: آلان د. ميلر (جامعة ويسترن)
- التصنيف: econ.TH (النظرية الاقتصادية)، cs.LO (منطق علوم الحاسوب)
- تاريخ النشر: 3 يناير 2025
- رابط الورقة: https://arxiv.org/abs/2501.00578
تقدم هذه الورقة نموذج تجميع فترات زمنية يتعلق بدراسة معايير التسامح القانوني. من خلال سبع بديهيات (الاستجابة، عدم التحيز، الاستمرارية، المقاومة الاستراتيجية وثلاث متغيرات محايدة)، تثبت عدة نتائج مهمة حول فئة جديدة من طرق التجميع - قواعد نقاط النهاية. تتضمن فئة قواعد نقاط النهاية التسامح الشديد (السماح بأي سلوك يوافق عليه أي شخص) وشكل من أشكال الأغلبية (قاعدة الوسيط).
- المشكلة المراد حلها: كيفية تجميع معايير التسامح الفردية في معايير مجتمعية، خاصة في القرارات القانونية حول تحديد حدود قبول السلوك.
- أهمية المشكلة:
- تعتمد الأنظمة القانونية العامة بشكل واسع على معايير المجتمع لتقييم معقولية السلوك (مثل معيار "الشخص المعقول" في قانون الإهمال)
- يتطلب تحديد حدود التسامح المجتمعي في مجالات التشهير والعقود وحرية التعبير
- قد تؤدي طرق التجميع الموجودة مثل قواعد الأغلبية إلى نتائج غير متسقة
- قيود الطرق الموجودة:
- التجميع النقطي (مثل قاعدة الأغلبية) لا ينتج بالضرورة فترات محددة بوضوح
- قد يؤدي إلى نتائج غير متماسكة (مثل اعتبار شخص ما معتدلاً تشهيراً، لكن تسميته بالليبرالي أو المحافظ ليس كذلك)
- يفتقر إلى الاستفادة الفعالة من الخصائص الهيكلية للمحور الحقيقي
- دافع البحث: تطوير طرق تجميع قادرة على الاستفادة من البنية المرتبة للمحور الحقيقي، وإنتاج معايير مجتمعية متماسكة وقابلة للتطبيق.
- إدخال فئة قواعد نقاط النهاية: اقتراح فئة جديدة من طرق تجميع الفترات الزمنية من خلال تجميع النقاط النهائية العليا والدنيا بشكل مستقل
- التوصيف البديهي: استخدام بديهيات الاستجابة وعدم التحيز والاستمرارية والحياد لتوصيف كامل لقواعد نقاط النهاية
- تحليل المقاومة الاستراتيجية: إثبات المقاومة الاستراتيجية لقواعد نقاط النهاية في ظل التفضيلات أحادية القمة المعممة
- التوحيد النظري: توحيد الليبرالية الشديدة (قاعدة الحد الأقصى) والديمقراطية الأغلبية (قاعدة الوسيط) في إطار واحد
- التطبيق عبر المجالات: توفير حل عام لمشاكل تجميع الفترات الزمنية في القانون والعلوم السياسية والاقتصاد
- المدخلات: أحكام n من الوكلاء، يتم التعبير عن كل حكم كفترة مفتوحة محدودة على المحور الحقيقي Si∈Σ
- المخرجات: معيار المجتمع المجمع، وهو أيضاً فترة زمنية f(S)∈Σ
- القيود: يجب أن تفي دالة التجميع f:ΣN→Σ بخصائص بديهية محددة
تعريف قاعدة نقاط النهاية:
بالنسبة للمعاملات p,q≥1 و p+q≤n+1، يتم تعريف قاعدة نقاط النهاية p,q على النحو التالي:
fp,q(S)={x:∣G+(S,x)∣≥p and ∣G−(S,x)∣≥q}
حيث:
- G+(S,x)={i∈N:(−∞,x]∩Si=∅} (مجموعة الأفراد الذين يعتبرون x أو قيماً أصغر مقبولة)
- G−(S,x)={i∈N:[x,+∞)∩Si=∅} (مجموعة الأفراد الذين يعتبرون x أو قيماً أكبر مقبولة)
الخصائص الرئيسية:
- تجميع نقاط النهاية المستقلة: يتم تجميع النقاط النهائية العليا والدنيا بشكل مستقل دون الاعتماد على بعضها البعض
- المرونة المعاملية: من خلال تعديل معاملات p و q يمكن التنقل بين الليبرالية والديمقراطية
- الحفاظ على البنية: ينتج دائماً فترات محددة بشكل جيد
- تجميع نقاط النهاية المستقلة: بخلاف التجميع النقطي التقليدي، يتم معالجة الحدود اليسرى واليمنى للفترة بشكل منفصل
- التدرج البديهي المحايد:
- الحياد الضعيف: الحفاظ على الاتجاه والعلاقات الوسيطة
- الحياد القوي: الحفاظ على العلاقات الوسيطة فقط
- آلية المقاومة الاستراتيجية: ضمان التوافق الحافزي من خلال مفهوم "خارج-بين-ness"
تستخدم الورقة طريقة تحليل نظري بحت، مع التحقق من النتائج من خلال الإثبات الرياضي:
- اختبار استقلالية البديهيات: التحقق من استقلالية البديهيات المستخدمة عندما n≥3
- الإثبات البنائي: إثبات أن قواعد نقاط النهاية تفي بجميع البديهيات من خلال البناء الصريح
- إثبات الضرورة: إثبات أن أي قاعدة تفي بالبديهيات يجب أن تكون قاعدة نقاط نهاية
مثال بثلاثة وكلاء:
- S1=(2,4), S2=(3,6), S3=(1,5)
- f1,1(S)=(1,6) (قاعدة الحد الأقصى)
- f2,2(S)=(2,5) (قاعدة الوسيط)
- f1,3(S)=(1,4)
النظرية 1 (توصيف قاعدة نقاط النهاية):
تفي قاعدة التجميع f بالاستجابة وعدم التحيز والاستمرارية والحياد الضعيف إذا وفقط إذا كانت قاعدة نقاط نهاية.
النظرية 2 (توصيف قواعد نقاط النهاية المتماثلة):
تفي قاعدة التجميع f بالاستجابة وعدم التحيز والاستمرارية والحياد القوي إذا وفقط إذا كانت قاعدة نقاط نهاية متماثلة.
النظرية 3 (توصيف المقاومة الاستراتيجية):
تفي قاعدة التجميع f بعدم التحيز والمقاومة الاستراتيجية والتكافؤ الانتقالي إذا وفقط إذا كانت قاعدة نقاط نهاية.
الاقتراح 1: المقاومة الاستراتيجية تعني تجميع نقاط النهاية المستقلة
- إثبات أن قواعد التجميع المقاومة استراتيجياً يجب أن تعالج النقاط النهائية العليا والدنيا بشكل مستقل
- تبسيط المشكلة إلى تجميع التفضيلات أحادية القمة أحادية البعد
اللمة 1: المقاومة الاستراتيجية تعادل خاصية "خارج-بين-ness"
- توفير تفسير هندسي للمقاومة الاستراتيجية
- تبسيط تحليل آليات المقاومة الاستراتيجية
- نظرية الاختيار الاجتماعي لـ Arrow: وراثة الطريقة البديهية من Arrow(1963) و May(1952)
- أدبيات تجميع الفترات الزمنية:
- Miller(2009): إدخال قاعدة الوسيط وقاعدة الحد الأقصى
- Block(2010), Farfel & Conitzer(2011): التفضيلات أحادية القمة المعممة
- Chambers(2007): التغاير الترتيبي وتمثيل الكميات
- Moulin(1980): التصويت المقاوم استراتيجياً تحت التفضيلات أحادية القمة
- Barberà وآخرون(1991): آليات التصويت بالحصص
- Border & Jordan(1983): الآليات المقاومة استراتيجياً في الفضاء الإقليدي
- المعايير القانونية: تطبيق معايير المجتمع في القانون العام
- نظرية الوكالة: تفويض الهيئات التشريعية للهيئات الإدارية
- المعاهدات الدولية: نطاق البنود المقبولة في الاتفاقيات متعددة الأطراف
- إطار موحد: توفر قواعد نقاط النهاية إطاراً موحداً لمختلف طرق التجميع من الليبرالية الشديدة إلى الديمقراطية الأغلبية
- الأساس البديهي: تقوم بديهيات الاستجابة وعدم التحيز والاستمرارية والحياد بتوصيف كامل لفئة قواعد نقاط النهاية
- التوافق الحافزي: تتمتع قواعد نقاط النهاية بالمقاومة الاستراتيجية في ظل التفضيلات أحادية القمة المعممة
- القيمة العملية: توفير أساس نظري لاتخاذ القرارات القانونية وصنع السياسات
- تقييد التفضيلات: تعتمد نتائج المقاومة الاستراتيجية على افتراض التفضيلات أحادية القمة المعممة
- متطلبات المعلومات: تتطلب معلومات كاملة عن الأحكام الفردية
- نطاق التطبيق: ينطبق بشكل أساسي على المعايير النوعية وليس الكمية
- التوسع متعدد الأبعاد: يواجه التوسع في الفضاء متعدد الأبعاد تحديات تقنية
- التوسع متعدد الأبعاد: دراسة تجميع المجموعات المحدبة في الفضاء متعدد الأبعاد
- المعلومات غير الكاملة: النظر في حالات الأحكام الفردية غير الكاملة أو غير المؤكدة
- النماذج الديناميكية: دراسة التجميع الديناميكي حيث تتطور المعايير بمرور الوقت
- التحقق التجريبي: التحقق من التنبؤات النظرية في حالات قانونية فعلية
- الصرامة النظرية: توصيف بديهي كامل مع إثباتات دقيقة
- الملاءمة العملية: المراسلة المباشرة مع المشاكل المهمة في الممارسة القانونية
- ابتكار الطريقة: فكرة تجميع نقاط النهاية المستقلة جديدة وعملية
- القيمة متعددة التخصصات: ربط القانون والاقتصاد وعلوم الحاسوب
- غياب التحقق التجريبي: نقص التحقق من التنبؤات النظرية باستخدام البيانات الفعلية
- التعقيد الحسابي: عدم تحليل كفاءة الحساب في الحالات واسعة النطاق
- تحليل المتانة: تحليل غير كافٍ للحساسية تجاه انتهاكات البديهيات
- المقارنة المنهجية: مقارنة منهجية محدودة مع طرق التجميع الأخرى
- المساهمة النظرية: إضافة أداة تحليل جديدة لنظرية الاختيار الاجتماعي
- آفاق التطبيق: إمكانية التطبيق في الذكاء الاصطناعي القانوني وصنع السياسات
- القيمة المنهجية: يمكن تعميم فكرة تجميع نقاط النهاية على فضاءات اختيار منظمة أخرى
- اتخاذ القرارات القانونية: تحديد معايير معقولية السلوك
- استشارة الخبراء: تجميع التنبؤات الفترية للخبراء
- التفويض التشريعي: تحديد نطاق السلطة التقديرية للهيئات الإدارية
- المفاوضات الدولية: نطاق البنود المقبولة في المعاهدات متعددة الأطراف
- Arrow, K. J. (1963). Social Choice and Individual Values. Yale University Press.
- May, K. O. (1952). A Set of Independent Necessary and Sufficient Conditions for Simple Majority Decision. Econometrica, 20, 680-684.
- Moulin, H. (1980). On strategy-proofness and single peakedness. Public Choice, 35, 437-455.
- Block, V. (2010). Efficient and Strategy-Proof Voting over Connected Coalitions. Economic Letters, 108, 1-3.
- Chambers, C. P. (2007). Ordinal aggregation and quantiles. Journal of Economic Theory, 137, 416-431.
تقدم هذه الورقة مساهمة مهمة لنظرية تجميع الفترات الزمنية، حيث تقوم بتوصيف قواعد نقاط النهاية من خلال طريقة بديهية صارمة، وتوفر أساساً نظرياً لمشاكل عملية مثل تجميع المعايير القانونية. على الرغم من وجود مجال للتحسن في التحقق التجريبي والتعقيد الحسابي، فإن ابتكارها النظري وقيمتها التطبيقية متعددة التخصصات تستحق الاعتراف.