الرياضيات الضبابية. أساسيات المجموعات الضبابية

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

التعريف والخصائص


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


لكن التقييم النوعي لا يمتلك خاصية الإضافة المتأصلة في أعدادنا المعتادة ؛ أي أنه لا يمكننا تحديد نتيجة العمليات لتقديرات تقريبية ("مبلغ صغير من المال" + "مبلغ صغير من المال") ، على النقيض من ، على سبيل المثال ، الأرقام الطبيعية (2 + 2). لا يمكننا التحديد لأن التقييم النوعي يعتمد بشدة على صانع القرار والسياق والمعنى المستثمر في حالة معينة.


ومع ذلك ، في العالم هناك كميات كافية لا يمكننا تقييمها بدقة لسبب أو لآخر: درجة النظام في الغرفة ، "هيبة" السيارة ، جمال الشخص ، "تشابه" الأشياء ... لكني أريد العمل معهم كما هو الحال مع الأرقام المعتادة على الرغم من سيكون لمهام الأتمتة.


يمكن أن يعتمد إضفاء الطابع الرسمي على هذه التقديرات على نظرية المجموعات الضبابية. ظهر مفهوم المجموعات الضبابية في عام 1964 بفضل عالم أمريكي من أصل أذربيجاني لطفي زاده .


نبدأ النظر في نظريته مع المفاهيم الأساسية.



مجموعة ضبابية ( غامض مجموعة) \ التلدة {A}في المجموعة العالمية (الكون) U هي مجموعة من الأزواج (ش ، \ mu_A (ش))، حيث u \ subseteq Uو
\ mu_A (u)- وظيفة عضوية مجموعة غامض \ التلدة {A}، \ mu_A (u): U → [0؛ 1]. يمكن أيضًا كتابة مجموعات غامضة كـ \ tilde {A} = \ bigcup _ {(u \ subseteq U)} (\ mu_A (u) / u) = \ left \ {(\ mu_A (u) / u) \ right \}.


U \ mu_A (u) ( ) u (-) \ التلدة {A}. , . - .


\ mu_A (u) ( . ), – . – U \ التلدة {A}. , , .


, \ mu_A (u) = \ start {cases} 1 & amp؛  u \ subseteq A \\ 0 & amp؛  u \ nsubseteq A \ end {cases}, .


, \ mu_A (u) :


  • ( );
  • ;
  • ;
  • ;
  • ...




-a≤x≤a.




“ ”.


\ mu_A (x) = \ frac {(a- | x |)} {a} ، -a \ leq x \ leq a
\ tilde {A} = \ left \ {0 / -a؛ ...؛ 1/0؛ ...؛ 0.5 / \ frac {a} {2}؛ ...؛ 0 / a \ right \}.



.


– , 1. 0.


, \ mu_A (u) 0.5, . -a/2 a/2.


sup⁡ (\ mu_A (u)) ، u \ subseteq U.


, 1, . – .


, , 0, .


, 1 .


2 (-أ ، أ) \omega = \left\{x | \mu_A(x)>0,  x \subseteq X \right\}\tilde{A}. S_A Supp A.


, x, \mu_A(x)=0; – lim_{|x| \to \infty ⁡}{\mu_A (x)}=0.




, , . :


  1. , ;
  2. , ;
  3. , , .


: \tilde{A}, \tilde{B} ,\tilde{C} — U, x \subseteq U. , .


\tilde{A} = \tilde{B} , \mu_A(x)= \mu_B(x).


A \subseteq B , \mu_A(x) \leq 
 \mu_B (x) x.



\tilde{C} = \tilde{A} \cup \tilde{B} , \mu_C (x) = max⁡ (\mu_A (x); \mu_B (x)). , \mu_C(x) = \mu_A(x) \vee \mu_B (x). (t– s–)



\tilde{C} = \tilde{A} \cap \tilde{B} , \mu_C (x) = min⁡ (\mu_A (x); \mu_B (x)). , \mu_C(x) = \mu_A(x) \wedge \mu_B (x). (t-)



:




. , , . , min max .



\tilde{C} = \tilde{A} \backslash \tilde{B} , \mu_C (x) = \mu_A(x) - \mu_{A \cap B}(x) = \mu_A(x) - min⁡ (\mu_A (x); \mu_B (x)) = max(0; \mu_A(x) - \mu_B(x)).


U \backslash \tilde{A} \overline{\tilde{A}}. , \mu_{A}(x) = 1- \mu_{\overline{A}}(x).


. , , , (, A \cap \overline{A}= ∅). :


α- . α- A_{\alpha}, \mu_A(x) \geq \alpha.




. \tilde{A} = \bigcup_{a \subseteq M}{\alpha * A_{\alpha}}, M — .



A^{\beta} , \mu_{A^{\beta}} (x)= \mu_A^{\beta}(x). :


  1. β = 2 ( CON(A) ). , . , “ ” ;
  2. β = 0.5 ( DIL(A) ). , . “ ”.


.



\ mu_ {A * B} (x) = \ mu_A (x) * \ mu_B (x).


\ mu_ {A \ circledcirc B} (x) = (\ mu_A (x) + \ mu_B (x) - 1) \ vee 0.


\ mu_ {A \ triangle B} (x) = \ start {cases} \ mu_B (x) & amp؛  \ mu_A (x) = 1 \\\ mu_A (x) & amp؛  \ mu_B (x) = 1 \\ 0 & amp؛  \ تنتهي {الحالات}.




\ mu_ {A + B} (x) = \ mu_A (x) + \ mu_B (x) - \ mu_A (x) * \ mu_B (x).


\ mu_ {A \ circledcirc B} (x) = (\ mu_A (x) + \ mu_B (x) - 1) \ wedge 1.


\ mu_ {A \ triangledown B} (x) = \ start {cases} \ mu_B (x) & amp؛  \ mu_A (x) = 0 \\\ mu_A (x) & amp؛  \ mu_B (x) = 0 \\ 1 & amp؛  \ تنتهي {الحالات}.



- – A B λ (1 — λ) ( A B). \ mu_ {A _ + ^ {\ lambda} B} (x) = \ lambda * \ mu_A (x) + (1 - \ lambda) * \ mu_B (x).


, λ- :




?


, , . . , ( , ). 2 – .


, . , , , . : , .


, , . , .


, , , , , :


  • 0 <= μ(x) <= 1;
  • ( );
  • يجب أن تحتوي الوظيفة ومجموعة الوظائف المحددة على تمييز طبيعي للمفاهيم التي تمثلها المجموعات المجاورة ؛
  • يجب ألا تكون هناك فجوات في مجموعة عالمية (أو محدودة للنظر) لا ترتبط بها مجموعة ؛
  • بالنسبة للمجموعات المجاورة ، يجب أن يتطابق الحد الأقصى لأحدهما مع الحد الأدنى للآخر ، ويجب أن تتوافق نقطة تقاطع الرسوم البيانية الخاصة بهم مع نقاط الانتقال ؛
  • وبعض المهام الأخرى الخاصة بالمهمة.

على الرغم من وجود حالات استثنائية يجب فيها تحديد الوظيفة بناءً على السياق. بناء مثل هذه الوظائف هو موضوع منفصل ومعقد إلى حد ما.


وهذا كل شيء لهذا اليوم.


All Articles