Rough sets by reflexive relations and their algebras

إليك ملخص تقني مفصل للورقة البحثية بعنوان "المجموعات التقريبية الخشنة بواسطة العلاقات الانعكاسية وجبرياتها" (Rough sets by reflexive relations and their algebras) للباحثين جوني يارفينين وساندور راديليتشكي.

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

تعتمد نظرية المجموعات التقريبية الخشنة (Rough set theory)، التي قدمها في الأصل زد. باولك (Z. Pawlak)، على علاقات التكافؤ لتقريب المجموعات الجزئية من عالم $U$. ومع ذلك، تتضمن العديد من السيناريوهات الواقعية علاقات غير تكافؤية (مثل علاقات التسامح، أو الترتيب شبه المرتب، أو العلاقات الثنائية التعسفية). عندما لا تكون العلاقة الأساسية $R$ علاقة تكافؤ، فإن مجموعة المجموعات التقريبية الخشنة $RS$ (أزواج التقريبات السفلية والعلوية) لا تشكل بالضرورة شبكة (lattice)، أو إذا شكلت شبكة، فقد تفتقر إلى الخصائص الجبرية المرغوبة.

لمعالجة ذلك، يستخدم المؤلفون إكمال ديديكيند-ماكنيلي (Dedekind–MacNeille completion) للمجموعة المرتبة من المجموعات التقريبية الخشنة، ويرمز له بـ $DM(RS)$. يضمن هذا الإكمال بنية شبكة كاملة حتى عندما لا تكون $RS$ نفسها شبكة. المشكلة المركزية في هذه الورقة هي توصيف أنواع محددة من العلاقات الانعكاسية $R$ التي تجعل الشبكة المكتملة $DM(RS)$ تشكل بنى جبرية محددة وذات سلوك جيد، وهي:

1. جبرات كليين شبه المتممة المنتظمة (Regular Pseudocomplemented Kleene Algebras).
2. جبرات ستون المزدوجة (Double Stone Algebras).
3. جبرات ستون المزدوجة المنتظمة (Regular Double Stone Algebras).

يهدف المؤلفون إلى تعميم النتائج المعروفة لعلاقات التكافؤ لتشمل فئة أوسع من العلاقات الانعكاسية، وبالتحديد التحقيق في متى تحقق هذه الجبرات شرط ستون ($x^* \vee x^{**} = 1$) والانتظام (congruence-regularity).

2. المنهجية

تستخدم الورقة مزيجاً من نظرية الترتيب، ونظرية الشبكات، ونظرية المجموعات التقريبية الخشنة. تسير المنهجية كما يلي:

• الإعداد التأسيسي: يعرّف المؤلفون التقريبات الخشنة ($X^\blacktriangleleft, X^\blacktriangleright$) بناءً على علاقة انعكاسية تعسفية $R$ على عالم $U$. ويعرّفون مجموعة المجموعات التقريبية الخشنة $RS$ وإكمالها من نوع ديديكيند-ماكنيلي $DM(RS)$.
• التوصيف الجبري: يحللون الخصائص الجبرية لـ $DM(RS)$ من خلال فحص بنية شبكات التقريبات $\wp(U)^\blacktriangleright$ (التقريبات العلوية) و $\wp(U)^\blacktriangleleft$ (التقريبات السفلية).
• شبه المتممة: يستنتج المؤلفون صيغاً صريحة للمتممة الكاذبة (pseudocomplement $^*$) والمتممة الكاذبة المزدوجة (dual pseudocomplement $^+$) في $DM(RS)$ بناءً على خصائص $\wp(U)^\blacktriangleright$. ويستخدمون مفهوم النواة (core) للعلاقة ($core_R(x)$) لبناء هذه المتممات.
• التحليل البنيوي للعناصر غير القابلة للجمع (Join-Irreducibles): يتضمن الجزء الحاسم من المنهجية تحليل العناصر غير القابلة للجمع تماماً ($J$) في الشبكة $DM(RS)$. يصنف المؤلفون هذه العناصر ويدرسون "مستويات" المجموعة الجزئية $J$.
• اشتقاق الشروط: يضعون شروطاً ضرورية وكافية على العلاقة $R$ (تحديداً فيما يتعلق بذرات $\wp(U)^\blacktriangleright$ وعدم خلو النوى من العناصر) التي تجبر $DM(RS)$ على تحقيق بديهيات جبرات ستون والجبرات المزدوجة.
• الأمثلة المضادة والتعميمات: تستخدم الورقة أمثلة محددة (مثل العلاقات غير المتماثلة وغير المتعدية) لإثبات أن هذه البنى الجبرية يمكن أن توجد خارج نطاق علاقات التكافؤ.

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

أ. توصيف جبرات كليين شبه المتممة المنتظمة

يثبت المؤلفون أنه إذا كانت $DM(RS)$ شبكة مكانية وتوزيعية تماماً، فإنها تشكل جبر كليين شبه متمم منتظم إذا وفقط إذا كانت شبكة التقريبات العلوية $\wp(U)^\blacktriangleright$ هي شبكة بولية ذرية (atomistic Boolean lattice).

• وهذا يعمم النتائج السابقة حيث كانت مثل هذه البنى معروفة فقط لعلاقات التكافؤ أو علاقات التسامح المحددة بتغطيات غير زائدة (irredundant coverings).

ب. توصيف جبرات ستون والجبرات المزدوجة

تقدم الورقة شروطاً محددة، يُرمز لها بـ (St1) و (St2)، تتعلق بخصائص التقاطع للتقريبات العلوية.

• شرط ستون: تكون $DM(RS)$ جبر ستون إذا وفقط إذا كان لأي $x, y, p$ حيث $\{x\}^\blacktriangleright, \{y\}^\blacktriangleright \subseteq \{p\}^\blacktriangleright$، فإن التقاطع $\{x\}^\blacktriangleright \wedge \{y\}^\blacktriangleright$ غير فارغ.
• شرط ستون المزدوج: تكون $DM(RS)$ جبر ستون مزدوج إذا كانت هي جبر ستون وكان نظيرها أيضاً جبر ستون.

ج. تقديم "تكافؤ الكلينكر" (Clinker Equivalence)

المساهمة الأكثر أهمية هي تحديد فئة جديدة من العلاقات تسمى تكافؤ الكلينكر.

• التعريف: يقال عن العلاقة الانعكاسية $R$ أنها تكافؤ كلينكر إذا كانت عائلة المجموعات $\{\{x\}^\blacktriangleright \mid x \in U\}$ تشكل تغطية غير زائدة (irredundant covering) لـ $U$.
• الأهمية: يثبت المؤلفون أن $DM(RS)$ تشكل جبر ستون مزدوج منتظم إذا وفقط إذا كانت $R$ هي تكافؤ كلينكر.
• التعميم: هذه الفئة أوسع بشكل صارخ من فئة علاقات التكافؤ. على سبيل المثال، العلاقة $R$ على $U=\{1,2,3\}$ حيث $R(1)=U, R(2)=\{2\}, R(3)=\{1,3\}$ ليست علاقة تكافؤ (ليست متماثلة أو متعدية)، ومع ذلك فهي تولد جبر ستون مزدوج منتظم متشاكل مع $2 \times 3$.

د. البناء الصريح للمتممات

توفر الورقة صيغاً إنشائية للمتممات الكاذبة في $DM(RS)$ باستخدام نواة العلاقة العكسية:
$$(A, B)^* = (B^* \triangledown \blacktriangleleft \blacktriangleleft, B^*)$$
حيث $B^*$ هي المتممة الكاذبة في $\wp(U)^\blacktriangleright$، ويتم حساب $B^*$ عبر مجموعات النواة: $B^* = K(B)^{\blacktriangleright c \blacktriangleleft \blacktriangleright}$.

4. النتائج الرئيسية

1. البنية الشبكية: إذا كانت $R$ انعكاسية وكانت $\wp(U)^\blacktriangleright$ توزيعية تماماً، فإن $DM(RS)$ هي جبر كليين شبه متمم وتوزيعي تماماً.
2. شرط الانتظام: تكون $DM(RS)$ جبر كليين منتظم إذا وفقط إذا كانت مجموعة العناصر غير القابلة للجمع تماماً في $DM(RS)$ تحتوي على مستويين على الأكثر (أي لا توجد سلاسل بطول 3 في العناصر غير القابلة للجمع). ويحدث هذا تحديداً عندما تكون $\wp(U)^\blacktriangleright$ شبكة بولية ذرية.
3. شرط ستون: تكون $DM(RS)$ جبر ستون إذا وفقط إذا تحقق الشرط (St1): لأي $p$، تحتوي المجموعة $\{p\}^\blacktriangleright$ على ذرة واحدة بالضبط من $\wp(U)^\blacktriangleright$ (في الحالة الذرية).
4. النظرية الرئيسية (Theorem 7.2 & 7.6): تكون $DM(RS)$ جبر ستون مزدوج منتظم إذا وفقط إذا كانت $R$ هي تكافؤ كلينكر.
   • وهذا يعني أن البنية الجبرية للمجموعات التقريبية الخشنة لهذه العلاقات غير التكافؤية المحددة غنية ومنضبطة تماماً مثل علاقات التكافؤ الكلاسيكية.

5. الأهمية

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

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