Interval Orders, Biorders and Credibility-limited Belief Revision

إليك ملخص تقني مفصل لورقة البحث بعنوان "الترتيبات الفترية، والترتيبات الثنائية، ومراجعة المعتقدات المحدودة بالمصداقية" (Interval Orders, Biorders and Credibility-limited Belief Revision) للباحثين ريتشارد بوث وإيفان فارزينزاك.

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

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

• النجاح (Success): يتم قبول المعلومة الجديدة دائمًا.
• الاتساق (Consistency): تكون مجموعة المعتقدات الناتجة متسقة دائمًا (بشرط أن يكون المدخل متسقًا).

يرى المؤلفان أن هاتين الفرضيتين مثالية للغاية بالنسبة للوكلاء الواقعيين. فالوكلاء الواقعيون قد يواجهون معلومات مزعزعة للاستقرار (تسبب انهيار المعتقدات الحالية) أو غير قابلة للتصديق (يتم رفضها مبدئيًا ولكن قد تُقبل مع توفر سياق إضافي). تسعى الورقة إلى استكشاف معاملات مراجعة المعتقدات بناءً على هياكل ترتيب أكثر عمومية تسمح بـ:

1. عدم الاستقرار/التنافر (Instability/Dissonance): سيناريوهات يؤدي فيها قبول المعلومات الجديدة إلى مجموعة فارغة من النماذج المثلى (عدم الاتساق).
2. المراجعة غير ذات الأولوية (Non-Prioritised Revision): سيناريوهات يرفض فيها الوكيل المعلومة الجديدة للحفاظ على الاتساق، أو حيث يتم التخلي عن فرضية "النجاح".

2. المنهجية

يعمم المؤلفان الهيكل الدلالي لمراجعة المعتقدات من الترتيبات المسبقة الكلية إلى فئتين أوسع من الترتيبات المدروسة في نظرية الاختيار العقلاني: الترتيبات الفترية (Interval Orders) والترتيبات الثنائية (Biorders).

أ. الترتيبات الفترية (IOB)

• التعريف: علاقة ثنائية تحقق خاصية الانعكاس وشرط فيرس (Ferrers condition).
• الدلالات: تُمثل بواسطة تفسير قائم على الفترات $\mathcal{I} = \langle L, U \rangle$، حيث يتم تخصيص فترة $[L(v), U(v)]$ من الأعداد الصحيحة غير السالبة لكل عالم $v$.
• قاعدة المراجعة: يُفضل العالم $v$ على $u$ إذا كان $L(v) \leq U(u)$.
• السلوك: تلبي هذه المعاملات فرضية النجاح ولكنها تفشل في فرضيتي الفراغ (Vacuity) والاستيعاب الجزئي (Subexpansion) (وهي فرضيات AGM القياسية) بشكل عام. وهي تحافظ على الاتساق.

ب. الترتيبات الثنائية (BOB)

• التعريف: تعميم للترتيبات الفترية يحقق شرط فيرس ولكنه لا يتطلب الانعكاسية.
• الدلالات: تُمثل بواسطة تفسير قائم على الترتيب الثنائي $\mathcal{B} = \langle L, U \rangle$. ومن الأهمية بمكان أن طول الفترة $U(v) - L(v)$ يمكن أن يكون سالبًا.
  • الفترة السالبة ($U(v) < L(v)$) تشير إلى تقييم متنافر، مما يمثل شكلًا من أشكال "الاستحالة" أو عدم الاستقرار.
• قاعدة المراجعة: $v \preceq_{bi} u$ إذا وفقط إذا كان $L(v) \leq U(u)$.
• السلوك: تلبي هذه المعاملات فرضية النجاح ولكنها تخالف الاتساق. إذا كانت المعلومة الجديدة $\alpha$ "مزعزعة للاستقرار" (أي أن مجموعة النماذج المثلى لـ $\alpha$ فارغة لأن جميع نماذج $\alpha$ متنافرة)، فإن المراجعة تؤدي إلى مجموعة معتقدات غير متسقة (فارغة).

ج. الفئات الفرعية والترانزيتية (التعاقب)

يحدد المؤلفان فئتين فرعيتين من الترتيبات الثنائية لفرض خصائص هيكلية أقوى:

1. ZTBOB (الترتيب الثنائي المتعدي لـ z): يحقق شكلاً ضعيفًا من الترانزيتية يتعلق بالعناصر المتنافرة. وهذا يضمن الرتابة الحذرة المتسقة.
2. TBOB (الترتيب الثنائي المتعدي): يحقق الترانزيتية الكاملة. وهذا يستعيد فرضية الاستيعاب الجزئي (وهي فرضية AGM تكميلية) ولكنه لا يزال يسمح بعدم الاتساق.

د. المراجعة غير ذات الأولوية (NPR)

لمعالجة مشكلة عدم الاتساق في المراجعة القائمة على الترتيب الثنائي، يحدد المؤلفون معاملات المراجعة غير ذات الأولوية ($\circ$).

• الآلية: إذا أدت مراجعة $\alpha$ القائمة على الترتيب الثنائي ($\bullet$) إلى مجموعة غير متسقة، فإن معامل NPR يرفض المدخل ويعيد مجموعة المعتقدات الأصلية $KB$.
• المصداقية: يُعت old $\alpha$ مصدقًا عليه إذا كانت $KB \bullet \alpha$ متسقة؛ وإلا فهو غير قابل للتصديق.
• الارتباط بالمراجعة المحدودة بالمصداقية (CLR): يربط المؤلفون هذه المعاملات بإطار المراجعة المحدودة بالمصداقية (Hansson et al.)، ولكن مع تعديل جوهري: هم يرفضون خاصية الإغلاق للجملة الواحدة.
  • الـ CLR القياسي: إذا كانت $\alpha$ مصدقًا عليها، فإن أي نتيجة منطقية لها هي أيضًا مصدق عليها.
  • الـ CLR المقترح: قد يرفض الوكيل $\alpha$ في البداية، ولكنه قد يقبل $\alpha \land \beta$ إذا وفرت $\beta$ سياقًا ضروريًا (على سبيل المثال، جملة "زار الملك تشارلز مدرسة" تجعل جملة "تناول ابن الأخ الغداء مع الملك تشارلز" مصدقة عليها).

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

1. توسيع دلالات المراجعة:

   • قدموا المراجعة القائمة على الترتيب الفتري (IOB)، مكملين بذلك الصورة التي بدأها Rott (2014) فيما يتعلق بالتقلص (contraction).
   • قدموا المراجعة القائمة على الترتيب الثنائي (BOB)، باستخدام أطوال الفترات السالبة لنمذجة "التنافر" وعدم الاستقرار، وهو مفهوم لم يتم استكشافه سابقًا في مراجعة المعتقدات.

2. التوصيفات البديهية (Axiomatic Characterizations):

   • قدموا نظريات تمثيل لمعاملات IOB و ZTBOB و TBOB.
   • حددوا أن معاملات TBOB تلبي جميع فرضيات AGM باستثناء الاتساق، بالإضافة إلى العقلانية التوزيعية (Disjunctive Rationality).
   • وصفوا معاملات NPR الناتجة (BOB-NPR, ZTBOB-NPR, TBOB-NPR) باستخدام مجموعة من الفرضيات بما في ذلك النجاح النسبي (النجاح أو عدم التغيير) والعقلانية التوزيعية المعدلة.

3. المراجعة المحدودة بالمصداقية مع الإغلاق السياقي:

   • صاغوا معاملات NPR كمعاملات مراجعة محدودة بالمصداقية.
   • اقترحوا تخفيفًا لشرط الإغلاق للجملة الواحدة (استبداله بإغلاق أضعف للفصول المنطقية). هذا يسمح بـ مصداقية تعتمد على السياق، حيث تُرفض الجملة منفردة ولكن تُقبل عند دمجها مع سياق تفسيري.

4. التعامل مع المدخلات المزعزعة للاستقرار:

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

4. النتائج

• النظرية 1-3: أثبتت الارتباط بين الترتيبات المسبقة الكلية، والترتيبات الفترية، والترتيبات الثنائية، ومعاملات المراجعة الخاصة بها.
• النظرية 4 و 5: أظهرت أن معاملات ZTBOB و TBOB تلبي مجموعات محددة من الفرضيات المعززة (على سبيل المثال، TBOB يلبي الاستيعاب الجزئي).
• النظرية 6-8: قدمت توصيفات بديهية لمعاملات النسخة غير ذات الأولوية لهذه المعاملات، مقدمة فرضيات مثل P12+ (إذا كان الفصل المنطقي مصدقًا عليه وكان أحد طرفيه غير مصدق عليه، فإن النتيجة تكافئ المراجعة بالطرف المصدق عليه وحده).
• النظرية 9 و 10: أثبتت أن معاملات ZTBOB-NPR و TBOB-NPR تعادل معاملات المراجعة المحدودة بالمصداقية حيث تعتمد المراجعة الأساسية على الترتيبات الفترية والترتيبات المسبقة الكلية (AGM) على التوالي.
• الأمثلة المضادة: أظهرت أن فرضيات AGM القياسية مثل الفراغ و الاستيعاب الجزئي تفشل في الترتيبات الثنائية العامة، وأن الاتساق يفشل في مراجعة BOB ما لم يتم تصفية المدخلات.

5. الأهمية

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

باختصار، تقترح الورقة إطارًا نظريًا قويًا حيث لا تكون مراجعة المعتقدات قبولًا أعمى للحقيقة، بل عملية انتقائية محكومة بالخصائص الهيكلية لترتيب معتقدات الوكيل، وقادرة على التعامل مع عدم الاستقرار والمصداقية المعتمدة على السياق.