💻 computer science

From Actions to Obligations: A Deontic Action Model Logic

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

المؤلفون الأصليون: Giorgio Cignarale

نُشر 2026-05-27

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

CC BY 4.0

المؤلفون الأصليون: Giorgio Cignarale

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

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

تقدم هذه الورقة البحثية "كتاب قواعد" جديداً (نظام منطقي) يسمى DAML (منطق نماذج الفعل الواجب - Deontic Action Model Logic) لمساعدة الوكلاء (مثل الروبوتات، أو البرمجيات، أو حتى البشر) على اتخاذ القرار الصحيح عندما يكونون غير متأكدين من الحقائق.

إليك كيف تفصل الورقة ذلك، باستخدام تشبيهات بسيطة:

1. المشكلة: "ماذا يجب أن أفعل؟" مقابل "ماذا أعرف؟"

عادةً، يساعدنا المنطق في معرفة ما هو حقيقي (المنطق الإبستيمي/المعرفي) أو ما هو جيد (المنطق الديوتي/الواجب).

المنطق الإبستيمي (المعرفي): يشبه المحقق الذي يسأل: "ما الذي أعرفه يقيناً؟"
المنطق الديوتي (الواجب): يشبه القاضي الذي يسأل: "ما هو الشيء الصحيح الذي ينبغي فعله؟"

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

2. الحل: "درجة التوقع"

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

الرغبة (المرغوبية): ما مدى جودة النتيجة؟ (مثلاً: إنقاذ 10 أرواح = 100 نقطة؛ إنقاذ 0 أرواح = 0 نقطة).
الاحتمالية: ما مدى احتمالية حدوث هذه النتيجة بناءً على ما تعرفه حالياً؟

يحسب المنطق القيمة الواجبة المتوقعة. الأمر يشبه حساب متوسط نقاط كل مستقبل ممكن تتخيله. إذا كان الإجراء (أ) يؤدي إلى احتمال 50% للحصول على 100 نقطة و50% للحصول على 0 نقطة، فإن درجتك هي 50. وإذا كان الإجراء (ب) يؤدي إلى احتمال 100% للحصول على 40 نقطة، فإن درجتك هي 40.

القاعدة: أنت "ملزم" باختيار الإجراء الذي يحقق أعلى درجة متوقعة.

3. المحرك: "نماذج الأفعال" (آلة المحاكاة)

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

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

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

4. أمثلة من الواقع من الورقة البحثية

المثال (أ): لغز عمال المناجم

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

المثال (ب): الطبيبة والممرضة

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

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

تثبت الورقة أن هذا النظام سليم رياضياً (لا ينهار) وكامل (يمكنه حل أي مشكلة ضمن قواعده).

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

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

ملخص تقني: من الأفعال إلى الالتزامات: نموذج منطق الفعل الوجوبي (DAML)

بيان المشكلة

لطالما عانت المنطق الوجوبي (Deontic logic)، الذي يدرس المفاهيم المعيارية مثل الالتزامات والأذونات، في دمج الاعتبارات المعرفية (ما يعرفه أو يعتقده الوكلاء) مع نمذجة الأفعال الديناميكية. وبينما تعالج امتدادات مثل منطق STIT مسألة الوكالة والاختيار، وتعمل المنطقيات الوجوبية الديناميكية على تقييم الالتزامات بالنسبة للأفعال، فإن هذه الأطر تفتقر غالبًا إلى آليات صريحة للاستدلال في ظل عدم اليقين. وفي المقابل، يتفوق المنطق المعرفي الديناميكي (DEL) ومنطق نموذج الفعل (AML) في نمذجة تحديثات المعلومات، لكنهما يفتقران إلى الأدوات الصورية للتقييم الوجوبي.

توجد فجوة حرجة في نمذجة السيناريوهات التي يجب فيها على الوكلاء اختيار أفعال تحت معلومات غير كاملة لاستيفاء القيود المعيارية. والمثال الرئيسي هو "لغز عمال المناجم" (Miners' Puzzle)، حيث يعتمد الفعل الأمثل على رغبة النتائج المرجحة باحتمالية حدوثها، وهو مفهوم لا تستوعبه المنطقيات الوجوبية التقليدية بشكل طبيعي. تفشل الأطر الحالية في تقديم حساب مبدئي للالتزامات الشرطية والسياقية في الأنظمة متعددة الوكلاء حيث يتعين على الوكلاء مقارنة القيمة الوجوبية المتوقعة للبدائل.

المنهجية

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

الأساس السيمانتيكي:
- يستخدم الإطار نماذج كريبكي المتدرجة ( $M = \langle W, R_i, V, f \rangle$ )، حيث تقوم دالة الرغبة ( $f: W \to \mathbb{N}$ ) بتعيين قيمة أخلاقية أو عملية لكل عالم ممكن.
- تُستخدم نماذج الأفعال ( $U = \langle E, Q_i, pre \rangle$ ) لمحاكاة العواقب المعرفية والفيزيائية لأفعال الوكلاء عبر عملية التحديث بالضرب ( $M \otimes U$ ).
- للتعامل مع عدم اليقين، يحدد المنطق نماذج فرعية مولدة بالأفعال قائمة على الوكيل. وهي نماذج فرعية من نموذج كريبكي المُحدث والتي تُبنى من منظور وكيل محدد $\alpha_i$ وفعل محدد $i$ .
التوقع الوجوبي:
- الآلية الجوهرية هي دالة التوقع الوجوبي ( $E_i$ )، التي تحسب القيمة الوجوبية المتوقعة للفعل. ويتم حساب ذلك كمتوسط قيم الرغبة ( $f(w)$ ) لجميع العوالم التي يمكن للوكيل $i$ الوصول إليها ضمن النموذج الفرعي المولد بالفعل، بافتراض توزيع احتمالي منتظم على العوالم المتاحة.
- يُعتبر الفعل "أفضل" إذا حقق أعلى قيمة وجوبية متوقعة من بين البدائل المتاحة عند نقطة القرار.
اللغة والسيمانتيكا:
- لغة $L_{DAML}$ $L_{D A M L}$ توسع AML بعنصرين جديدين:
  - ذرات التوقع ( $e^{\alpha_i}_i$ ): قضايا ذرية تكون صحيحة إذا كانت القيمة الوجوبية المتوقعة للفعل $\alpha_i$ أكبر من أو تساوي قيمة أي فعل آخر متاح.
  - موجه الالتزام ( $O_i(U, \alpha_i | \phi)$ ): موجه ثنائي يقرأ: "يجب على الوكيل $i$ تنفيذ الفعل $\alpha_i$ تحت الشرط $\phi$ ."
- شروط الحقيقة: يتحقق $O_i(U, \alpha_i | \phi)$ $O_{i} (U, α_{i} ∣ ϕ)$ إذا وفقط إذا:
  1. تحقق الشرط $\phi$ بعد تنفيذ الفعل $\alpha_i$ (شرط دينامي).
  2. امتلك النموذج الفرعي المولد بالفعل الناتج عن $\alpha_i$ القيمة الوجوبية المتوقعة القصوى مقارنة بالأفعال الأخرى (شرط معياري).
- يلتزم هذا الصياغة بمبدأ STIT: الوكيل "يسعى لضمان" الحصول على أفضل نتيجة متوقعة.
التبسيط (Axiomatization):
- يقدم البحث تبسيطاً كاملاً لـ DAML. يتضمن بديهيات AML القياسية، وبديهيات جديدة لذرات التوقع (E1, E2)، ومجموعة من بديهيات الاختزال (R1–R6).
- تسمح بديهيات الاختزال هذه بتحويل أي صيغة تحتوي على الموجه الوجوبي $O_i$ إلى صيغة مكافئة في لغة AML (بدون الموجهات الوجوبية)، مما يسهل إثباتات السلامة والاكتمال.

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

دمج الديناميكيات والمعايير: يعد DAML أول إطار يستمد الالتزامات باستخدام آليات منطق نموذج الفعل، رابطاً بشكل صريح بين العواقب المعرفية للأفعال وتقييمها المعياري.
السيمانتيكا الوجوبية القياسية (Scalar): ينمذج المنطق البيانات الوجوبية بطريقة قياسية، حيث يخصص قيم رغبة للعوالم ويحسب القيم المتوقعة، مما يتجنب عثرات "الكل أو لا شيء" الثنائية للمنطق الوجوبي التقليدي في البيئات غير اليقينية.
المعالجة الصورية للالتزامات الشرطية: يقدم المنطق تعريفاً صارماً للالتزامات الشرطية ( $O_i(\alpha_i | \phi)$ ) التي تعتمد على كل من نتيجة الفعل وتعظيم القيمة الوجوبية المتوقعة.
إثبات السلامة والاكتمال: يثبت البحث أن نظام إثبات DAML سليم ومكتمل بالنسبة لسيمانتيكا الخاصة به، وذلك عبر اختزال لغة DAML إلى لغة AML المعروفة باكتمالها.

النتائج والتطبيقات

يبرهن البحث على القدرة التعبيرية لـ DAMM من خلال تطبيقين رئيسيين:

لغز عمال المناجم:
- نجح الإطار في نمذجة سيناريو يجب فيه على الوكيل الاختيار بين سد المنجم A، أو سد المنجم B، أو عدم سد أي منهما.
- من خلال حساب القيم الوجوبية المتوقعة للنماذج الفرعية الناتجة، يحدد DAMM بشكل صحيح أن الفعل "عدم سد أي منهما" هو الفعل الواجب، لأنه يعظم عدد الأرواح التي يتم إنقاذها بالنظر إلى جهل الوكيل بموقع عمال المناجم. وهذا يتناقد مع الأفعال التي قد تنقذ جميع العمال إذا كانت المواقع معروفة، ولكنها قد تخاطر بقتل الجميع إذا تم التخمين بشكل خاطئ.
الالتزام بالإخبار (سيناريو متعدد الوكلاء):
- يتم نمذجة سيناريو معقد يتضمن وكيلين (أليس وبثاني) ومريضاً يعاني من حساسية.
- يلتقط المنطق عدم تماثل المعلومات: بثاني تعرف أن المريض يعاني من الحساسية، بينما أليس لا تعرف ذلك.
- يستنتج DAMM أن لدى بثاني التزاماً بإخبار أليس ( $O_b(\delta_b | \dots)$ ) لأن أليس، بشرط معرفتها بالحساسية، ستكون ملزمة بإعطاء الدواء الآمن. ينجح الإطار في الاستدلال عبر السلسلة الافتراضية من الأفعال وتحديثات المعلومات لتحديد المتطلب المعياري للوكيل المطلع.

الأهمية والادعاءات

يزعم البحث أن DAMM يوفر إطاراً مبدئياً لاختيار الفعل في الأنظمة متعددة الوكلاء المحكومة بالمعايير والتي تعمل تحت عدم يقين معرفي. وتكمن أهميته في:

الاستدلال الموحد: يسمح للوكلاء بتقييم عواقب الأفعال البديلة قبل التنفيذ، مع مراعاة كل من تقليل عدم اليقين والنتيجة المرغوبة.
التعامل مع الحالات المتوسطة: يدعم الإطار الاستدلال في الحالات التي تكون فيها المعلومات غير كاملة ولا يمكن تحسين معيار واحد (سواء اليقين أو النتيجة) بشكل كامل، وهو أمر شائع في اتخاذ القرار في العالم الحقيقي.
المساهمة التأسيسية: من خلال ترسيخ المنطق الوجوبي في الآليات الديناميكية لـ AML، يقدم البحث طريقة قوية لصياغة كيفية تصرف الوكلاء عندما لا يعرفون الحالة الكاملة للعالم ولكن يجب عليهم مع ذلك الالتزام بالقيود المعيارية.

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