Roughness and entropy measures of a soft set

ملخص تقني: مقاييس الخشونة والاعتلاج للمجموعات الناعمة

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

المنهجية
يطور المؤلفون إطاراً جديداً لـ "المجموعات الخشنة الناعمة" من خلال الالتزام الصارم بمبادئ مولودتسوف التأسيسية. تتضمن المنهجية ما يلي:

1. إعادة تعريف التقريبات: بدلاً من استخدام المجموعات الجزئية من المجموعة الشاملة مباشرة، يعرّف المؤلفون التقريبات الناعمة الدنيا والعليا بناءً على ارتباط السمات بالمجموعات الجزئية التقريبية.

   • التقريب الناعم الأدنى ($L(S, A)$): يُعرَّف كمجموعة من الأزواج $(a_i, \cup B_j)$ حيث $B_j$ هي فئات التكافؤ المتضمنة داخل مجموعة السمات $S(a_i)$.
   • التقريب الناعم الأعلى ($U(S, A)$): يُعرَّف كمجموعة من الأزواج $(a_i, \cup C_k)$ حيث $C_k$ هي فئات التكافؤ التي لها تقاطع غير فارغ مع $S(a_i)$.
   • الحد (Boundary): يُعرَّف الحد بأنه الفرق بين التقريب الناعم الأعلى والأدنى لكل سمة.

2. مقاييس الخشونة: تم تقديم مقياسين متميزين للخشونة:

   • على طراز باولك ($\theta^P_R$): يعتمد على نسبة عدد عناصر التقريب الأدنى إلى التقريب الأعلى، مع تكييفه ليكون مجموعاً عبر جميع السمات.
   • مستوحى من ياو ($\theta^Y_R$): مقياس جديد مصمم لاستيفاء مجموعة محددة من بديهيات الدقة (بما في ذلك شروط المجموعات الدقيقة، والمجموعات الفارغة، والرتابة بالنسبة للتحبيب). يتضمن هذا المقياس كلاً من التقريب الأدنى وتقريب متمم المجموعة الأعلى لضمان التماثل بين الكائن وخلفيته.

3. مقاييس الاعتلاج (Entropy): تم اقتراح ستة مقاييس للاعتلاج لتقدير كمية عدم اكتمال المعرفة المرتبطة بالمجموعة الناعمة:

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

4. التحليل النظري: تثبت الورقة بدقة خصائص التقريبات الداخلية والخارجية، وسلوك هذه المقاييس تحت علاقات التكافؤ المختلفة (التحبيب)، والعلاقة بين المقاييس المقترحة ومتمماتها.

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

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

النتائج

• الخصائص النظرية: يثبت المؤلفون أنه إذا كانت مجموعة ناعمة تقرب أخرى داخلياً، فإن تقريباتهما الناعمة الدنيا والعليا تحافظ على هذه العلاقة. وعلى العكس من ذلك، بالنسبة للتقريبات الخارجية، تسري العلاقة على التقريبات الدنيا ولكن ليس بالضرورة على التقريبات العليا.
• تأثير التحبيب (Granularity): تؤكد الدراسة أنه كلما أصبح تحبيب المجموعة الشاملة أدق (أي أصبحت فئات التكافؤ أصغر)، زادت دقة المجموعة الناعمة وانخفضت خشونتها.
• سلوك الاعتلاج:
  • أظهرت مقاييس الاعتلاج اللوغاريتمية أنها محدبة ومستمرة.
  • تظهر مقاييس الاعتلاج الأسية سلوكيات رتيبة محددة تعتمد على المعامل $\beta$.
  • المقياس Ent^1_P_e (القائم على باولك، ومتعدد المتغيرات) فعال حسابياً ولكنه يفتقر إلى الاتساق البديهي فيما يتعلق بالمتمم.
  • تم تحديد المقياس Ent^3_P_e (المستوحى من ياو، وأحادي المتغير) على أنه أكثر اتساقاً من الناحية النظرية ومناسباً للنمذجة العامة، لا سيما عند تحليل الكائنات والخلفيات في آن واحد.
• التعامل مع التداخلات: نجحت التعريفات المقترحة في تمييز حدود المناطق المتداخلة (مثل المناطق الحمراء والزرقاء والخضراء في صورة ما) من خلال معاملتها كتقريبات متميزة قائمة على السمات، وهو أمر لا يمكن تحقيقه باستخدام تقريبات باولك القياسية.

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

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