Convexity of Picture Fuzzy Multisets

إليك ملخص تقني مفصل لورقة البحث بعنوان "تحدب المجموعات متعددة المجموعات الضبابية الصورية" (Convexity of Picture Fuzzy Multisets) للباحث تايو أو سانغودابو.

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

تعالج الورقة فجوة في النظرية الرياضية للمجموعات الضبابية والذكاء الحسابي. فبينما تمت دراسة مفاهيم المجموعات الضبابية (FS)، والمجموعات الضبابية الحدسية (IFS)، والمجموعات الضبابية الصورية (PFS) بشكل مكثف، وتم إرساء مفاهيم المجموعات متعددة المجموعات الضبابية (FMS) والمجموعات متعددة المجموعات الضبابية الصورية (PFMS) كتعميمات لها، إلا أن خاصية التحدب (Convexity) لم تُعرَّف أو تُحلل بدقة للمجموعات الضبابية الصورية متعددة المجموعات بعد.

لقد أرست الأدبيات الموجودة التحدب لكل من:

• المجموعات الضبابية الكلاسيكية (Zadeh, 1965).
• المجموعات الضبابية الحدسية (Huang, 2012; Das & Mukhlalsah, 2018).
• المجموعات الضبابية الصورية (Sangodapo, 2022).

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

2. المنهجية

يستخدم المؤلف نهجاً استنتاجياً رياضياً، بناءً على التعريفات الراسخة من نظرية المجموعات الضبابية وتوسيعها لتشمل مجال المجموعات متعددة المجموعات. تتضمن المنهجية ما يلي:

• مراجعة الأدبيات: تتبع تطور المجموعات من مجموعات Zadeh الضبابية إلى مجموعات Atanassov الحدسية، ومجموعات Cuong الصورية، ومجموعات Cao et al. الضبابية الصورية متعددة المجموعات.
• توسيع التعريف: تكييف تعريف التحدب من المجموعات الضبابية الصورية (PFS) إلى المجموعات الضبابية الصورية متعددة المجموعات (PFMS). ويتضمن ذلك تعديل دالات العضوية لتأخذ في الاعتبار طبيعة "العد" الخاصة بالمجموعات متعددة المجموعات (أي سلاسل من قيم العضوية بدلاً من قيم مفردة).
• البراهين الرسمية: استخدام الاستقراء الرياضي والمنطق النظري للمجموعات لإثبات نظريات تتعلق بـ:
  • التكافؤ بين تحدب الـ PFMS وتحدب قطعها من نوع $(r, s, t)$.
  • سلوك التحدب تحت عمليات المجموعات (التقاطع).
  • توصيف التحدب عبر التوليفات المحدبة النهائية.
  • بناء "الغلاف المحدب الصوري" (Picture Convex Hull).

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

تقدم الورقة المساهمات النظرية المحددة التالية:

أ. تعريف الـ PFMS المحدب

يعرف المؤلف المجموعة الضبابية الصورية متعددة المجموعات $D$ بأنها محدبة إذا كانت سلاسل العضوية لأي نقطتين $x, y$ في الكون ولأي قياس $\lambda \in [0, 1]$ تحقق تفاوتات محددة. وتحديداً، بالنسبة للعنصر رقم $k$ في تسلسل العضوية:

• العضوية الإيجابية ($\sigma$): $\sigma^k_D[(1-\lambda)x + \lambda y] \geq \sigma^k_D(x) \wedge \sigma^k_D(y)$
• العضوية المحايدة ($\tau$): $\tau^k_D[(1-\lambda)x + \lambda y] \geq \tau^k_D(x) \wedge \tau^k_D(y)$
• العضوية السلبية ($\eta$): $\eta^k_D[(1-\lambda)x + \lambda y] \leq \eta^k_D(x) \vee \eta^k_D(y)$

ب. التعميم إلى النقاط المحدودة

تم توسيع التعريف من نقطتين إلى $n$ من النقاط باستخدام التوليف المحدب الصوري (PCC). وتكون الـ PFMS محدبة إذا كانت قيم العضوية لأي توليف محدب من النقاط داخل المجموعة أكبر من أو تساوي (بالنسبة للإيجابية/المحايدة) أو أصغر من أو تساوي (بالنسبة للسلبية) الحد الأدنى/الأقصى لقيم العضوية للنقاط المكونة لها.

ج. الغلاف المحدب الصوري (Pch)

تعرف الورقة الغلاف المحدب الصوري لـ PFMS، ويرمز له بـ $Pch(D)$، بأنه مجموعة كل التوليفات المحدبة الممكنة للنقاط في$D$. وتثبت أنه يمثل أصغر PFMS محدب يحتوي على$D$.

د. التكافؤ مع مجموعات القطع (Cut Sets)

تتمثل إحدى النتائج النظرية الهامة في إثبات أن الـ PFMS تكون محدبة إذا وفقط إذا كانت مجموعات قطعها من نوع $(r, s, t)$ (المجموعات الحادة المستمدة من عتبات قيم العضوية) هي مجموعات محدبة. وهذا يربط بين التحدب في المجموعات الضبابية/متعددة المجموعات وبين الهندسة المحدبة الكلاسيكية.

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

تضع الورقة عدة مقترحات ونظريات:

1. المقترح 3.1 (تكافؤ مجموعة القطع): تكون الـ PFMS $D$ محدبة إذا وفقط إذا كانت مجموعة قطعها $C_{r,s,t}(D)$ هي مجموعة حادة محدبة لجميع العتبات الصالحة $r, s, t$.
2. المقترح 3.2 (خاصية التقاطع): تقاطع اثنتين من الـ PFMS المحدبة هو أيضاً PFMS محدبة.
3. النتيجة 3.1 (التقاطع التعسفي): تقاطع عائلة من الـ PFMS المحدبة هو أيضاً محدب.
4. المقترح 3.3 (توصيف التوليف المحدود): تكون الـ PFMS محدبة إذا وفقط إذا استوفت شرط التحدب لجميع العائلات المحدودة من النقاط وتوليفاتها المحدبة.
5. النظرية 3.1 (خاصية الغلاف المحدب): بالنسبة لـ PFMS محدبة $D$، فإن الغلاف المحدب الصوري $Pch(D)$يتكون بالضبط من جميع التوليفات المحدبة للنقاط في$D$.

5. الأهمية والآثار المترتبة

• التقدم النظري: يسد هذا العمل فجوة حرجة في التسلسل الهرمي لتعميمات المجموعات الضبابية. فمن خلال تعريف التحدب لـ PFMSs، فإنه يوحد مفاهيم "الحياد" (من PFS) و"التعدد" (من المجموعات متعددة المجموعات) ضمن الإطار الهندسي للتحدب.
• تطبيقات الذكاء الحسابي: صُممت الـ PFMSs للتعامل مع سيناريوهات اتخاذ القرار المعقدة التي تتضمن آراء إيجابية، محايدة، وسلبية (مثل أنظمة التصويت، التشخيص الطبي، وتحليل مشاعر وسائل التواصل الاجتماعي). ويسمح إدخال مفهوم التحدب بـ:
  • التحسين (Optimization): تطبيق تقنيات التحسين المحدب على المشكلات التي يتم نمذجتها باستخدام PFMS.
  • التجميع (Clustering): تعزيز خوارزميات التجميع (مثل التجميع الصوري الهرمي المذكور في المقدمة) من خلال ضمان أن حدود المجموعات (clusters) محدبة.
  • دعم القرار: توفير أساس رياضي صارم لتجميع بيانات اتخاذ القرار متعدد المعايير حيث توجد حالات متعددة لنفس الرأي.
• تأسيس للأبحاث المستقبلية: تمهد الورقة الطريق لمزيد من التوسعات، مثل الـ PFMSs الأفينية (affine)، والبرمجة المحدبة الضبابية مع قيود PFMS، والتطبيقات في نظرية المجموعات (والتي أشارت الورقة إلى استكشافها في سياقات أخرى).

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