💻 computer science

The Varieties of Ought-Implies-Can and Deontic STIT Logic

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

المؤلفون الأصليون: Kees van Berkel, Tim S. Lyon

نُشر 2026-04-02

📖 4 دقيقة قراءة☕ قراءة في استراحة قهوة

CC BY 4.0

المؤلفون الأصليون: Kees van Berkel, Tim S. Lyon

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

تخيل أنك قبطان سفينة. لديك خريطة (واجباتك) وبوصلة (خياراتك). القاعدة الفلسفية القديمة "الاستحقاق يستلزم القدرة" (Ought-implies-Can) هي بمثابة فحص سلامة لخريطتك. وهي تقول: "لا يمكن إصدار أمر لك بالإبحار إلى مكان ما إلا إذا كانت سفينتك قادرة بالفعل على الوصول إليه." لا يمكنك أن تُلام لأنك لم تطر إلى القمر إذا لم تكن تملك صاروخاً.

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

هذه الورقة البحثية التي كتبها كيس فان بيركيل وتيم ليون هي بمثابة مترجم عالمي ولغز منطقي ضخم مصمم لفرز هذه الحجج العشر المختلفة. لقد قاموا بترجمة النقاشات الفلسفية الغامضة والمجردة إلى لغة رياضية دقيقة تسمى منطق STIT (القيام بـ/Seeing To It That).

إليك تفصيل عملهم باستخدام تشبيهات بسيية:

1. المشكلة: "القدرة" غامضة للغاية

يبدأ المؤلفان بالقول إن عبارة "الاستحقاق يستلزم القدرة" تشبه سكينًا سويسريًا له عشر شفرات مختلفة. يستخدم البعض شفرة "المفك" (الإمكانية المنطقية)، بينما يستخدم آخرون شفرة "فتاحة الزجاجات" (القدرة البدنية).

لقد حددوا 10 نسخ متميزة من هذه القاعدة، تتراوح من الضعيفة جداً إلى القوية جداً:

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

2. الحل: مجموعة قطع "ليجو" نمطية

أدرك المؤلفان أن الأنظمة المنطقية القديمة كانت مثل منزل جاهل البناء؛ لا يمكنك تغيير جدرانه بسهولة لتناسب قواعد "القدرة" المختلفة. لذا، قاموا ببناء مجموعة قطع "ليجو" نمطية (تسمى "إطار عمل Deontic STIT").

القاعدة: نظام منطقي قياسي يتعامل مع الوكلاء الذين يتخذون القرارات.
القطع: قاموا بإنشاء "قواعد" محددة (مثل D2، D3، D4، D5) تعمل مثل قطع الليجو.
- إذا قمت بتركيب "قطعة الإمكانية"، فإن نظامك المنطقي سيسمح فقط بالواجبات الممكنة.
- إذا قمت بتركيب "قطعة التحكم"، فإن نظامك سيتطلب أن يكون لدى الوكيل تحكم كامل في النتيجة.

يسمح هذا ببناء 16 نظاماً منطقياً مختلفاً، يمثل كل منها موقفاً فلسفياً مختلفاً حول ما يعنيه "القدرة على" فعل شيء ما.

3. الأداة: آلة "البحث عن البرهان"

لاختبار هذه الأنظمة، بنوا حساب تسلسل موسوم (Labelled Sequent Calculus). فكر في هذا كأنه قائمة مراجعة لمحقق عالي التقنية.

كيف يعمل: تكتب قاعدة (مثلاً: "إذا كان يجب عليك فعل X، إذن يمكنك فعل X"). تحاول الآلة إثبات ذلك.
السحر: إذا تعثرت الآلة ولم تستطع الإثبات، فهي لا تكتفي بقول "خطأ". بل تقوم تلقائياً ببناء نموذج مضاد (Counter-Model).
- التشبيه: تخيل أنك تدعي "أنا أستطيع الطيران". تحاول الآلة إثبات ذلك. تفشل. بدلاً من مجرد قول "لا"، تقوم ببناء محاكاة صغيرة ومثالية لعالم لا يمكنك فيه الطيران (ربما ليس لديك أجنحة، أو الجاذبية قوية جداً). هذا يثبت أن ادعاءك خاطئ في ذلك السيناريو المحدد.

4. الاكتشاف: "سلم التأييد"

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

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

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

5. لماذا هذا مهم

قبل هذه الورقة، كان الفلاسفة يصرخون في اتجاهات مختلفة، مستخدمين نفس الكلمات ("الاستحقاق"، "القدرة") ولكن بمعانٍ مختلفة.

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

الملخص

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

إليك ملخص تقني مفصل لورقة "تنوعات 'ما يجب يقتضي القدرة' ومنطق STIT الوجوبي" (The Varieties of Ought-implies-Can and Deontic STIT Logic) للباحثين كيس فان بيركل وتيم ليون.

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

تعالج الورقة فجوة في الصياغة الرسمية لمنطق STIT الوجوبي (الرؤية من أجل تحقيق شيء ما - Seeing To It That)، وهو إطار عمل بارز لتحليل الاختيار والوكالة متعدد الوكلاء. بينما يتضمن منطق STIT الوجوبي التقليدي نسخة من مبدأ "ما يجب يقتضي القدرة" (Ought-implies-Can - OiC) (وهو الافتراض الميتا-أخلاقي القائل بأن "ما ينبغي للوكيل فعله، يستطيع الوكيل فعله")، إلا أنه يعتمد على تفسير محدد قائم على المنفعة (Utilitarian).

ومع ذلك، تحتوي الأدبيات الفلسفية على مجموعة متنوعة من تفسيرات OiC التي تتراوح من الضعيفة (الإمكان المنطقي) إلى القوية (السيطرة الكاملة). وتواجه الأطر الحالية صعوبة في استيعاب هذا التنوع لأن:

يعتمد منطق STIT التقليدي على دلالات نفعية (تعظيم المنفعة)، مما يجعل من الصعب عزل الخصائص الجهاتية (modal properties) المحددة لـ "القدرة".
لا يوجد تصنيف رسمي موحد يحدد العلاقات المنطقية (الاحتواء، الاستقلال، التكافؤ) بين هذه القراءات العشر المختلفة لمبدأ OiC.

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

2. المنهجية

يستخدم المؤلفان نهج الدلالات العلاقتية المعيارية (modular relational semantics) مقترناً بـ حساب المتتاليات المسمّى (labelled sequent calculi).

أ. الإطار الدلالي (الدلالات العلاقتية)

بدلاً من دلالات الزمن المتفرع التقليدية مع وظائف المنفعة، يتبنى المؤلفان دلالات علاقتية (بناءً على [14]) تفصل الخصائص البنيوية للمنطق عن قيود المنفعة المحددة.

اللغة ( $L_n$ ): لغة جهاتية متعددة الوكلاء تتضمن:
- $[i]\phi$ : الوكيل $i$ يرى من أجل تحقيق $\phi$ .
- $\Box\phi$ : $\phi$ مستقرة كحقيقة (الضرورة التاريخية).
- $\Diamond\phi$ : $\phi$ قابلة للتحقق (متمم $\Box$ ).
- $\otimes_i\phi$ : ينبغي للوكيل $i$ أن يكون $\phi$ .
الأطر ( $DS_n$ ): مُعرفة كأزواج $\langle W, R_\Box, \{R_{[i]}\}, \{R_{\otimes_i}\} \rangle$ $⟨ W, R_{□}, {R_{[i]}}, {R_{\otimes_{i}}}⟩$ .
- $R_\Box$ تقسم العوالم إلى "لحظات".
- $R_{[i]}$ تقسم اللحظات إلى خيارات الوكلاء (علاقات تكافؤ).
- استقلال الوكلاء (C3): يضمن اتساق الخيارات المتزامنة.
- قيود العالم المثالي (D1-D5): يقدم المؤلفان أربع خصائص إطارية محددة لتعديل سلوك عامل الوجوب ( $\otimes_i$ $\otimes_{i}$ ):
  - D2 (التسلسل/Seriality): الوجبات متسقة (العوالم المثالية موجودة).
  - D3 (قيد اللحظة): العوالم المثالية محصورة في اللحظة الحالية (قابلة للتحقيق).
  - D4 (قيد الاختيار): الوجبات تتعلق بخيارات محددة (الوكيل يرى من أجل تحقيقها).
  - D5 (الاختيار المثالي): يوجد اختيار مثالي لكل وكيل.
العوامل المداوليّة (Deliberative Operators): للتعامل مع القراءات "المداولية" لـ OiC (حيث يجب أن تكون الوجبات قابلة للانتهاك)، يعرّف المؤلفان عوامل مشتقة:
- $\otimes^d_i \phi \equiv \otimes_i \phi \land \Diamond \neg \phi$ (مداولي ضعيف: الوجوب يمكن انتهاكه).
- $\otimes^c_i \phi \equiv \otimes_i \phi \land \Diamond [i]\neg \phi$ (مداولي قوي: الوكيل يمكنه اختيار انتهاك الوجوب).

ب. النهج النظري للإثبات (حساب المتتاليات المسمّى)

يبني المؤلفان حسابات متتاليات مسمّاة سليمة وتامة ( $G3DS_nX$ ) لكل توليفة من خصائص الإطار $X \subseteq \{D2, D3, D4, D5\}$ .

البنية: تُشتق القواعد مباشرة من البنود الدلالية وخصائص الإطار.
الميزات:
- المتغيرات الذاتية (Eigenvariables): تُستخدم في قواعد مثل $(\Box)$ و $([i])$ للتعامل مع التكميم الشامل عبر العوالم المتاحة.
- شروط المسار (Path Conditions): تستخدم القواعد مسارات $\Box$ ومسارات $[i]$ (محاكاة علاقة التكافؤ) للتعامل مع التعدي والتماثل دون قواعد بنيوية صريحة.
- الأكسيومات الهندسية: يتم التعامل مع الخاصية D5 عبر نظام من القواعد $(D5_i)$ ، وهي تقنية للتعامل مع الأكسيومات الهندسية في الحسابات المسمّاة.

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

أ. تصنيف لعشرة مبادئ OiC

تحدد الورقة رسمياً وتصنف عشرة تفسيرات مختلفة لـ OiC موجودة في الفلسفة، وتربطها بصيغ منطقية محددة:

OiLP (الإمكان المنطقي): $\otimes_i \phi \to \neg \otimes_i \neg \phi$ (الاتساق).
OiAP (الممكن فعلياً): $\otimes_i \phi \to \Diamond \phi$ .
OiA (القدرة): $\otimes_i \phi \to \Diamond [i]\phi$ .
OiV (القابلية للانتهاك): $\otimes^d_i \phi \to \Diamond \neg \phi$ .
OiR (القابلية للامتناع): $\otimes^d_i \phi \to \Diamond [i]\neg [i]\phi$ .
OiO (الفرصة): $\otimes^d_i \phi \to (\Diamond \phi \land \Diamond \neg \phi)$ .
OiA+O (القدرة والفرصة): $\otimes^d_i \phi \to (\Diamond [i]\phi \land \Diamond \phi \land \Diamond \neg \phi)$ .
OiCtrl (السيطرة): $\otimes^c_i \phi \to (\Diamond [i]\phi \land \Diamond [i]\neg \phi)$ .
OiNC (القدرة المعيارية): $\otimes_i \phi \to \otimes_i \Diamond \phi$ .
OiNA (القدرة المعيارية للوكالة): $\otimes_i \phi \to \otimes_i \Diamond [i]\phi$ .

ب. التصنيف المنطقي و"مبدأ التأييد"

باستخدام الحسابات، يبني المؤلفان شبكة من المنطقات (الشكل 4) بناءً على قوة الخصائص الإطارية الأساسية.

الاحتواء (Subsumption): يحددون أي المنطقات تستلزم غيرها. على سبيل المثال، المنطق ذو الخصائص $\{D3, D5\}$ كافٍ لاستنتاج نسخة STIT التقليدية من OiC (وهي OiA).
مبدأ التأييد (The Endorsement Principle): هذه مساهمة مفاهيمية مبتكرة. تنص على أن تأييد مبدأ OiC أقوى (مثل السيطرة) يلزم الوكيل منطقياً بتأييد جميع المبادئ الأضعف التي يستلزمها المنطق (مثل الإمكان المنطقي). وعلى العكس، فإن رفض مبدأ أضعف يفرض رفض جميع المبادئ الأقوى المرتبطة به.
الاستقلال: يثبت المؤلفون الاستقلال المتبادل لبعض المبادئ (مثل أن OiNA مستقل عن OiA) من خلال بناء نماذج مضادة من عمليات البحث عن البراهام الفاشلة.

ج. التحقق الرسمي

السلامة والتمام (Soundness and Completeness): تثبت الورقة أن حسابات المتتاليات المسمّاة $G3DS_nX$ سليمة وتامة بالنسبة للدلالات العلاقتية $DS_nX$ .
استخراج النماذج المضادة: تسمح الحسابات بالاستخراج البنائي للنماذج المضادة عندما يفشل البحث عن البرهان، مما يوفر طريقة آلية لإظهار أن مبدأً ما لا يستلزم مبدأً آخر.

4. النتائج

إطار عمل معياري: نجح المؤلفان في فصل القيود النفعية لمنطق STIT التقليدي، مما سمح بتحليل دقيق لـ OiC.
تسلسل هرمي للمنطقات: تم إنتاج شبكة كاملة من 16 منطق STIT وجوبي.
- النظام الأضعف ( $DS_n$ ) يثبت فقط الاتساق الأساسي.
- النظام الأقوى ( $DS_n\{D2, D3, D4\}$ ) يقابل منطق "هيمنة الواجب" (dominance ought) التقليدي لهورتي (Horty).
حل النقاشات الفلسفية:
- توضح الورقة أن منطق STIT التقليدي (Horty) يتوافق مع OiA (القدرة) ولكنه يتطلب خصائص إطارية محددة ( $D3, D5$ ) ليكون صحيحاً.
- تظهر أن OiCtrl (السيطرة) تتطلب أقوى القيود ( $D3, D5$ ) بالإضافة إلى العامل المداولي.
- تبين أن OiNA (القدرة المعيارية للوكالة) مستقلة تماماً عن المبادئ القائمة على القدرة المعيارية، مما يتحدى الافتراض بأن القدرة المعيارية تتبع القدرة الفيزيائية.

5. الأهمية

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

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