2025-11-29T11:58:18.326653

Characterization of t-norms for type-2 fuzzy sets

Sun
Type-2 fuzzy set (T2 FS) were introduced by Zadeh in 1965, and the membership degrees of T2 FSs are type-1 fuzzy sets (T1 FSs). Owing to the fuzziness of membership degrees, T2 FSs can better model the uncertainty of real life, and thus, type-2 rule-based fuzzy systems (T2 RFSs) become hot research topics in recent decades. In T2 RFS, the compositional rule of inference is based on triangular norms (t-norms) defined on complete lattice (L, \le ) ( L is the set of all convex normal functions from [0,1] to [0,1], and , \le is the so-called convolution order). Hence, the choice of t-norm on (L,\le) may influence the performance of T2 RFS. Therefore, it is significant to broad the set of t-norms among which domain experts can choose most suitable one. To construct t-norms on (L,\le), the mainstream method is convolution which is induced by two operators on the unit interval [0,1]. A key problem appears naturally, when convolution is a t-norm on (L,\le). This paper gives the necessary and sufficient conditions under which convolution is a t-norm on (L,\le). Moreover, note that the computational complexity of operators prevent the application of T2 RFSs. This paper also provides one kind of convolutions which are t-norms on (L,\le) and extremely easy to calculate.
academic

توصيف المعايير الثلاثية للمجموعات الضبابية من النوع الثاني

المعلومات الأساسية

  • معرّف الورقة: 2511.17640
  • العنوان: توصيف المعايير الثلاثية على الدوال المحدبة العادية
  • المؤلف: جي صن (جامعة Southwest Minzu، الصين)
  • التصنيف: math.GM (الرياضيات العامة)
  • تاريخ النشر: نوفمبر 2025 (arXiv v2)
  • رابط الورقة: https://arxiv.org/abs/2511.17640

الملخص

تتناول هذه الورقة مسألة بناء المعايير الثلاثية (t-norms) في نظرية المجموعات الضبابية من النوع الثاني (T2 FS). تم إدخال المجموعات الضبابية من النوع الثاني بواسطة Zadeh عام 1965، حيث تكون درجة الانتماء نفسها مجموعة ضبابية من النوع الأول، مما يوفر نمذجة أفضل للعدم التأكد في الحياة الواقعية. في الأنظمة الضبابية القائمة على القواعد من النوع الثاني (T2 RFS)، تعتمد قواعد تركيب الاستدلال على المعايير الثلاثية المعرّفة على الشبكة الكاملة (L,⊑)، حيث L هي مجموعة جميع الدوال المحدبة العادية من 0,1 إلى 0,1، و⊑ هي ترتيب الالتفاف. يؤثر اختيار المعيار الثلاثي على أداء T2 RFS، لذا فإن توسيع مجموعة المعايير الثلاثية المتاحة لخبراء المجال له أهمية كبيرة. تقدم هذه الورقة الشروط الضرورية والكافية لكي يصبح الالتفاف ∗△ معياراً ثلاثياً على (L,⊑)، وتوفر فئة من المعايير الثلاثية سهلة الحساب للغاية.

الخلفية البحثية والدافع

1. المشكلة الأساسية المراد حلها

المشكلة الرئيسية التي تعالجها هذه الورقة هي: تحت أي شروط يكون الالتفاف ∗△ المستحث من عاملين ∗ و△ على 0,1 معياراً ثلاثياً على الشبكة الكاملة (L,⊑)؟

2. أهمية المشكلة

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

3. حدود الطرق الموجودة

  • عمل Hernández وآخرون (2014): يوفر فقط شروطاً كافية وليست ضرورية لكي يصبح الالتفاف معياراً ثلاثياً حقيقياً (tr-norm)
  • عدم اكتمال النظرية: نقص الشروط الضرورية والكافية الكاملة
  • الكفاءة الحسابية: التعقيد الحسابي العالي للعاملين الالتفافيين الموجودين

4. الدافع البحثي

  • توفير توصيف نظري كامل لبناء المعايير الثلاثية، مما يسمح لخبراء المجال باختيار معايير ثلاثية مناسبة بمرونة أكبر
  • تقليل التعقيد الحسابي، وتعزيز التطبيق العملي لـ T2 RFS
  • تعميق الفهم لترتيب الالتفاف ⊑، وتعزيز البحث في عاملي التجميع

المساهمات الأساسية

  1. نظرية الشروط الضرورية والكافية: توفير الشروط الضرورية والكافية لكي يصبح الالتفاف ∗△ معياراً ثلاثياً على (L,⊑) (النظرية 3.6 والنظرية 4.19)، مما يحل هذه المشكلة المفتوحة بالكامل
  2. تكافؤ المعايير الثلاثية والحقيقية: إثبات أنه على (L,⊑)، يكون الالتفاف ∗△ معياراً ثلاثياً إذا وفقط إذا كان معياراً ثلاثياً حقيقياً (النظرية 3.6)
  3. معايير ثلاثية سهلة الحساب: توفير فئة من المعايير الثلاثية الالتفافية سهلة الحساب للغاية (التعريف 4.15 والقضية 4.21)، بالشكل ∧△، حيث △ هو معيار ثلاثي متصل الحدود
  4. توصيف جديد لترتيب الالتفاف: توفير توصيف معادل جديد لترتيب الالتفاف ⊑ (القضية 4.11)، معبراً عنه من خلال مجموعات α-القطع والقطع α-القوية، مما يجعل ترتيب الالتفاف أكثر وضوحاً
  5. النتائج الثنائية: توفير نظرية ثنائية كاملة للمعايير الثلاثية المزدوجة والحقيقية المزدوجة (النظرية 5.7 والنظرية 5.8)

شرح الطريقة

تعريف المهمة

الإدخال: عاملان ثنائيان ∗: 0,1² → 0,1 و△: 0,1² → 0,1، حيث ∗ هو دالة شاملة

الإخراج: تحديد ما إذا كان الالتفاف ∗△: L² → L المستحث من ∗ و△ هو معيار ثلاثي على (L,⊑)

شروط القيد:

  • L هي مجموعة جميع الدوال المحدبة العادية من 0,1 إلى 0,1
  • ⊑ هو ترتيب الالتفاف، معرّف بـ f ⊑ g إذا وفقط إذا كان f ∧∧ g = f
  • (L,⊑,0̄,1̄) هي شبكة موزعة كاملة

المفاهيم الأساسية

1. تعريف الالتفاف (التعريف 2.6)

بالنسبة للعامل n-ary ∗ و△، يُعرّف الالتفاف ∗△: Mⁿ → M بـ:

∗△(f₁,...,fₙ)(x) = ⋁_{∗(y₁,...,yₙ)=x} △(f₁(y₁),...,fₙ(yₙ))

للحالة الثنائية:

(f ∗△ g)(x) = ⋁_{y∗z=x} f(y)△g(z)

2. تعريف المعيار الثلاثي (التعريف 2.1)

العامل الثنائي ∗: P² → P هو معيار ثلاثي على المجموعة المرتبة الجزئية المحدودة (P,≤,0_P,1_P)، إذا:

  • التبادلية: x∗y = y∗x
  • الترابطية: (x∗y)∗z = x∗(y∗z)
  • العنصر المحايد: 1_P∗x = x
  • الرتابة: y ≤ z ⟹ x∗y ≤ x∗z

3. الدوال المحدبة العادية

  • العادية: sup{f(x) | x ∈ 0,1} = 1
  • المحدبة: x ≤ y ≤ z ⟹ f(y) ≥ f(x) ∧ f(z)

خطوط تفكير الإثبات للنتائج الرئيسية

تحليل الضرورة (القسم 3)

اللمة الرئيسية 3.3: إذا كان ∗△ معياراً ثلاثياً على (L,⊑)، فإن:

  • ∗△ مغلق على J (مجموعة دوال الخصائص أحادية النقطة) و J2 (مجموعة دوال الخصائص للفترات المغلقة)
  • ∗ هو معيار ثلاثي متصل

نقاط الإثبات:

  1. استخدام خاصية العنصر المحايد 1̄∗△x̄ = x̄
  2. إثبات Ā∗△B̄ = A∗B من خلال اللمة 3.2
  3. بناء التماثل τ: 0,1 → J, x ↦ x̄
  4. الحصول على أن ∗ هو معيار ثلاثي من القضية 2.4، وبالتالي إثبات الاتصال

اللمة الرئيسية 3.4: إذا كان ∗△ معياراً ثلاثياً على (Lu,⊑) أو (L,⊑)، فإن △ هو معيار ثلاثي

نقاط الإثبات:

  1. بناء عائلة دوال خاصة P = {p_a | a ∈ 0,1}، حيث 
    p_a(x) = {1,  x=0
         {a,  x∈(0,1] (عندما a<1)
  2. إثبات أن الدالة p: 0,1 → P هي تماثل ترتيب
  3. استخدام القضية 2.4 للحصول على النتيجة

القضية 3.7: إذا كان ∗△ معياراً ثلاثياً على (L,⊑)، فإن △ هو معيار ثلاثي متصل الحدود

القضية 3.11: إذا كان ∗△ معياراً ثلاثياً على (L,⊑) و ∗≠∧، فإن △ هو معيار ثلاثي أيسر متصل

استراتيجية الإثبات: بناء دوال خاصة f,g,h ∈ L، استخدام الترابطية والرتابة، إثبات a△1⁻ = a من خلال سلسلة عدم مساواة ماهرة

تحليل الكفاية (القسم 4)

4.1 الإغلاق (القضية 4.2)

إذا كان ∗ معياراً ثلاثياً متصلاً و△ متصلاً عند (1,1)، فإن ∗△ مغلق على L

نقاط الإثبات:

  1. العادية: استخدام اتصال △ عند (1,1)، لأي a<1 توجد b₁,c₁ بحيث b₁△c₁>a
  2. المحدبة: اللمة الرئيسية 4.1 تثبت أن اتحاد عائلة مجموعات محدبة تحقق شرط التقاطع غير الفارغ هو محدب

4.2 الرتابة (القضية 4.13)

إدخال علاقة ترتيب جديدة ≼ على مجموعة الفترات I:

A≼B ⟺ A∧B = A

اللمة الرئيسية 4.8: A≼B ⟺ ↑B⊆↑A و ↓A⊆↓B

حيث ↑A = ⋃{x∈A}x,1, ↓A = ⋃{x∈A}0,x

القضية 4.11 (توصيف جديد لترتيب الالتفاف): بالنسبة لـ f,g ∈ L، ما يلي متكافئ:

  1. f ⊑ g
  2. f^â≼g^â لجميع a∈(0,1)
  3. f^a≼g^a لجميع a∈(0,1)

4.3 الترابطية

القضية 4.14: إذا كان ∗ و△ معايير ثلاثية و△ أيسر متصل، فإن ∗△ ترابطي على M

القضية 4.17: إذا كان △ معياراً ثلاثياً متصل الحدود، فإن ∧△ ترابطي على L

نواة الإثبات: إدخال تعريف f⁺ (التعريف 4.15):

f⁺ = ∪{[0,a] | f متزايد رتيب على [0,a]}

إثبات (f∧△g)⁺ = f⁺∩g⁺، ثم مناقشة الحالات لإثبات الترابطية

النظرية الرئيسية (النظرية 4.19)

الالتفاف ∗△ هو معيار ثلاثي على (L,⊑) إذا وفقط إذا:

  1. ∗ هو معيار ثلاثي متصل
  2. إذا كان ∗≠∧، فإن △ هو معيار ثلاثي أيسر متصل
  3. إذا كان ∗=∧، فإن △ هو معيار ثلاثي متصل الحدود

نقاط الابتكار التقني

  1. الإطار الموحد: توحيد المعايير الثلاثية والحقيقية تحت إطار واحد، إثبات التكافؤ (النظرية 3.6)
  2. تصنيف الاتصال الدقيق: التمييز بين حالتي ∗=∧ و ∗≠∧، حيث تختلف متطلبات الاتصال لـ △:
    • ∗≠∧ يتطلب اتصالاً يسراً
    • ∗=∧ يتطلب فقط اتصالاً عند الحدود
  3. أدوات علاقة ترتيب جديدة: إدخال علاقة ≼ والعاملين ↑ و↓، توفير أدوات جديدة للتعامل مع ترتيب الالتفاف
  4. الإثبات البنائي: من خلال بناء دوال خاصة (مثل عائلة p_a، f,g,h محددة) استخراج خصائص العاملين بمهارة
  5. تبسيط الحساب: القضية 4.21 توفر صيغة حساب صريحة لـ ∧△:
    (f∧△g)(x) = {f(x)∨g(x),     x∈f⁺∩g⁺
             {f(x),           x∈g⁺\f⁺
             {g(x),           x∈f⁺\g⁺
             {f(x)△g(x),      x∉f⁺∪g⁺

إعداد التجارب

هذه ورقة رياضية نظرية بحتة، لا تتضمن التحقق التجريبي. تتمثل طرق البحث في:

  1. الإثبات الرياضي الصارم
  2. بناء الأمثلة المضادة
  3. الاستدلال بسلسلة اللمات
  4. الإثبات ثنائي الاتجاه للضرورة والكفاية

نتائج التجارب

ملخص النتائج النظرية

النظريات الرئيسية:

  • النظرية 3.6: معيار ثلاثي ⟺ معيار ثلاثي حقيقي (على L)
  • النظرية 4.19: نظرية الشروط الضرورية والكافية
  • النظرية 5.7: شروط المعيار الثلاثي المزدوج
  • النظرية 5.8: معيار ثلاثي مزدوج ⟺ معيار ثلاثي حقيقي مزدوج

القضايا الرئيسية:

  • القضية 4.11: ثلاثة توصيفات متكافئة لترتيب الالتفاف
  • القضية 4.21: صيغة حساب مبسطة لـ ∧△

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

  1. الاكتمال: إثبات الشروط الضرورية والكافية ثنائي الاتجاه يضمن اكتمال النظرية
  2. العمومية: النتائج تنطبق على جميع مجموعات ∗ و△ التي تحقق الشروط
  3. القابلية للبناء: توفير طرق بناء محددة للمعايير الثلاثية

الأعمال ذات الصلة

الاتجاهات البحثية الرئيسية

  1. نظرية المعايير الثلاثية الأساسية:
    • Schweizer & Sklar (1961): إدخال المعايير الثلاثية على 0,1
    • Alsina, Frank & Schweizer (2006): الدوال المرتبطة والـ copulas
  2. المعايير الثلاثية على المجموعات المرتبة جزئياً:
    • Zhang (2005): المعايير الثلاثية على المجموعات المرتبة جزئياً
    • Deschrijver et al. (2004): المعايير الثلاثية للمجموعات الضبابية الحدسية
  3. نظرية المجموعات الضبابية من النوع الثاني:
    • Zadeh (1975): المتغيرات اللغوية والاستدلال التقريبي
    • Walker & Walker (2005): جبر القيم الضبابية
    • Harding et al. (2008, 2010): شبكة الدوال المحدبة العادية
  4. عاملي الالتفاف:
    • Zhang & Hu (2019, 2025): قوانين التوزيع للالتفاف ومجموعات α-القطع
    • Hu & Wang (2014, 2015): المجموعات الضبابية من النوع الثاني والمجموعات الضبابية من النوع الثاني ذات القيم الفترية
    • Hernández et al. (2014): المعايير الثلاثية للمجموعات الضبابية من النوع الثاني (شروط كافية)

مزايا هذه الورقة

  1. اكتمال النظرية: مقارنة بعمل Hernández et al. (2014) الذي يوفر فقط شروطاً كافية، توفر هذه الورقة شروطاً ضرورية وكافية
  2. الكفاءة الحسابية: توفير صيغة صريحة لـ ∧△، مما يقلل التعقيد الحسابي بشكل كبير
  3. تعميق النظرية:
    • إثبات تكافؤ المعايير الثلاثية والحقيقية
    • توفير توصيف جديد لترتيب الالتفاف
    • نظرية ثنائية كاملة
  4. النظامية: معالجة موحدة للمعايير الثلاثية والمعايير الثلاثية المزدوجة

الخلاصة والمناقشة

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

  1. الشروط الضرورية والكافية: تحت افتراض أن ∗ دالة شاملة، توصيف كامل لشروط أن يصبح ∗△ معياراً ثلاثياً على (L,⊑)
  2. نتائج التكافؤ: على (L,⊑)، مفهوم المعيار الثلاثي مكافئ لمفهوم المعيار الثلاثي الحقيقي
  3. تبسيط الحساب: عندما يكون △ معياراً ثلاثياً متصل الحدود، يكون لـ ∧△ صيغة حساب بسيطة
  4. النظرية الثنائية: يتم الحصول على شروط المعايير الثلاثية المزدوجة من خلال الطريقة الثنائية

القيود

  1. افتراض الشمولية: يتطلب أن تكون ∗ دالة شاملة، مما يستبعد بعض العاملين (مثل معيار Drastic الثلاثي في بعض الحالات)
  2. متطلبات الاتصال: يتطلب اتصالاً لـ ∗، واتصالاً يسراً أو اتصالاً عند الحدود لـ △، مما يحد من نطاق التطبيق
  3. عدم شمول Lu: تشير الورقة إلى أن البحث المستقبلي سيتناول توصيف المعايير الثلاثية على (Lu,⊑)، مما يشير إلى عدم الحل الكامل للحالة العلوية
  4. التعقيد الحسابي: على الرغم من أن ∧△ لها صيغة مبسطة، قد يكون حساب الالتفاف العام ∗△ معقداً
  5. التحقق من التطبيق العملي: نقص التحقق من التطبيق في أنظمة T2 RFS محددة ومقارنات الأداء

الاتجاهات المستقبلية

  1. التوصيف على Lu: البحث عن الشروط الضرورية والكافية للمعايير الثلاثية على مجموعة الدوال العادية والمحدبة والعلوية (Lu,⊑)
  2. تخفيف متطلبات الاتصال: استكشاف ما إذا كان يمكن تخفيف متطلبات الاتصال لـ ∗ و△
  3. تحسين الحساب: تحسين خوارزميات حساب الالتفاف العام
  4. البحث التطبيقي: اختبار أداء المعايير الثلاثية المختلفة في أنظمة T2 RFS محددة
  5. عاملي آخرون: البحث عن توصيف uninorms و copulas وعاملي تجميع آخرين على (L,⊑)

التقييم المتعمق

المزايا

  1. الصرامة النظرية:
    • الإثبات كامل والمنطق صارم
    • إثبات ثنائي الاتجاه للضرورة والكفاية
    • تسلسل واضح للمات والنظريات
  2. اكتمال حل المشكلة:
    • حل كامل للمشكلة المفتوحة التي تركها Hernández وآخرون
    • توفير شروط ضرورية وكافية وليس فقط كافية
    • تغطية المعايير الثلاثية والمعايير الثلاثية المزدوجة
  3. الابتكار التقني:
    • إدخال علاقة ≼ والعاملين ↑ و↓، توفير أدوات تحليل جديدة
    • تعريف f⁺ يميز بمهارة مناطق الرتابة للدالة
    • الإثبات البنائي يعرض تقنيات عالية
  4. القيمة العملية:
    • الصيغة الصريحة في القضية 4.21 تقلل التعقيد الحسابي بشكل كبير
    • الاستنتاج 4.20 يوفر شروطاً كافية سهلة التحقق
    • توفير إرشادات نظرية لمصممي T2 RFS
  5. جودة الكتابة:
    • الهيكل واضح، يتقدم من المعرفة الأساسية إلى النتائج الرئيسية بشكل متدرج
    • استخدام متسق للتعريفات والرموز
    • شرح واضح لخطوط تفكير الإثبات الرئيسية

أوجه القصور

  1. القراءة:
    • العتبة عالية للقراء غير المتخصصين
    • بعض الإثباتات (مثل القضية 3.11) تقنية قوية، تفتقر إلى الشرح الحدسي
    • نقص الرسوم التوضيحية لمساعدة الفهم
  2. تقييد الافتراضات:
    • افتراض الشمولية يستبعد بعض العاملين المهمين
    • متطلبات الاتصال قد تكون قوية جداً
    • عدم مناقشة ضرورة الافتراضات
  3. عدم كفاية التوجه التطبيقي:
    • نقص تحليل الحالات في سيناريوهات التطبيق المحددة
    • عدم المقارنة مع تطبيقات T2 RFS الموجودة
    • عدم وجود تحليل كمي لتعقيد الحساب
  4. الاكتمال:
    • مشكلة Lu تُترك للعمل المستقبلي
    • عدم مناقشة الحالة n-ary (n>2)
    • عدم تناول التعميم على الدوال غير العادية أو غير المحدبة
  5. التحقق التجريبي:
    • كورقة نظرية بحتة، تفتقر إلى التجارب الرقمية أو التحقق التطبيقي
    • عدم توفير تطبيق الكود

التأثير

  1. المساهمة النظرية:
    • حل كامل لمشكلة مفتوحة مهمة
    • توفير أدوات تحليل جديدة لنظرية المجموعات الضبابية
    • قد تصبح مرجعاً كلاسيكياً في هذا المجال
  2. القيمة العملية:
    • توفير أساس نظري لتصميم T2 RFS
    • صيغة الحساب المبسطة تساعد على التطبيق العملي
    • توسيع نطاق المعايير الثلاثية المتاحة
  3. القابلية للتكرار:
    • جميع النظريات لها إثباتات كاملة
    • يمكن التحقق من النتائج بشكل مستقل
    • طرق البناء واضحة
  4. البحث اللاحق:
    • توجيه البحث على Lu
    • إمكانية التعميم على مجموعات مرتبة جزئياً أخرى
    • إلهام البحث في عاملي التجميع

السيناريوهات القابلة للتطبيق

  1. البحث النظري:
    • بحث نظرية المنطق الضبابي
    • نظرية الشبكات والترتيب
    • نظرية عاملي التجميع
  2. تصميم النظام:
    • تصميم أنظمة الاستدلال الضبابي من النوع الثاني
    • أنظمة الاستدلال للعدم التأكد
    • أنظمة دعم القرار
  3. مجالات التطبيق:
    • التحكم في العمليات الصناعية (مثل متحكمات Mamdani)
    • تحليل الأنظمة المعقدة
    • التعرف على الأنماط والتصنيف
    • دمج المعلومات
  4. التعليم:
    • دورات متقدمة في نظرية المجموعات الضبابية
    • دورات المنطق الرياضي
    • دورات نظرية الشبكات

المراجع الرئيسية

  1. Zadeh (1965, 1975): الأعمال الأساسية لنظرية المجموعات الضبابية والمجموعات الضبابية من النوع الثاني
  2. Schweizer & Sklar (2011): الكتاب الكلاسيكي للمعايير الثلاثية
  3. Harding, Walker & Walker (2008, 2010): خصائص مهمة لشبكة الدوال المحدبة العادية
  4. Hernández et al. (2014): العمل السابق الذي تحسنه هذه الورقة مباشرة
  5. Zhang & Hu (2025): أحدث النتائج لمجموعات α-القطع
  6. Alsina, Frank & Schweizer (2006): نظرية الدوال المرتبطة

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