Matemáticas borrosas. Conceptos básicos de conjuntos difusos

Un deseo excesivo de precisión comenzó a ejercer un efecto que niega la teoría del control y la teoría del sistema, ya que conduce al hecho de que la investigación en esta área se centra en esos y solo aquellos problemas que pueden resolverse con precisión. Muchas clases de problemas importantes en los que los datos, las metas y las restricciones son demasiado complejas o están mal definidas para permitir un análisis matemático preciso se han mantenido y permanecen al margen solo porque no pueden interpretarse matemáticamente. L. Zade

Definición y características


En el mundo, mucho no se divide solo en blanco y negro, en verdad y verdad ... Una persona usa muchos conceptos confusos para evaluar y comparar cantidades físicas, estados de objetos y sistemas en un nivel aproximado y cualitativo. Entonces, cualquiera de nosotros es capaz de estimar la temperatura fuera de la ventana, sin recurrir a un termómetro, y guiados solo por nuestros propios sentimientos y una escala de estimaciones aproximadas ("lo suficientemente nublado como para llevar un paraguas").


Pero una evaluación cualitativa no posee la propiedad de aditividad inherente a nuestros números habituales; es decir, no podemos determinar el resultado de las operaciones para estimaciones aproximadas ("una pequeña cantidad de dinero" + "una pequeña cantidad de dinero"), en contraste con, por ejemplo, los números naturales (2 + 2). No podemos determinar porque una evaluación cualitativa depende en gran medida del tomador de decisiones, el contexto y el significado invertido en un caso particular.


Sin embargo, en el mundo hay cantidades suficientes que no podemos evaluar con precisión por una razón u otra: el grado de orden en la habitación, el "prestigio" del automóvil, la belleza de una persona, la "similitud" de las cosas ... Pero quiero trabajar con ellos como con los números habituales sería para tareas de automatización.


. 1964 .


.



( ) \ tilde {A} () U (u, \ mu_A (u)), u \ subseteq U,
\ mu_A (u)\ tilde {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 (-) \ tilde {A}. , . - .


\ mu_A (u) ( . ), – . – U \ tilde {A}. , , .


, \ mu_A (u) = \ begin {cases} 1 & amp;  u \ subseteq A \\ 0 & amp;  u \ nsubseteq A \ end {casos}, .


, \ 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 (-a, a) \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) = \ begin {cases} \ mu_B (x) & amp;  \ mu_A (x) = 1 \\\ mu_A (x) & amp;  \ mu_B (x) = 1 \\ 0 & amp;  \ end {casos}.




\ 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) = \ begin {cases} \ mu_B (x) & amp;  \ mu_A (x) = 0 \\\ mu_A (x) & amp;  \ mu_B (x) = 0 \\ 1 & amp;  \ end {casos}.



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


, λ- :




?


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


, . , , , . : , .


, , . , .


, , , , , :


  • 0 <= μ(x) <= 1;
  • ( );
  • La función y el conjunto de funciones definidas deben tener una diferenciación natural de conceptos representados por conjuntos vecinos;
  • No debe haber vacíos en el conjunto universal (o limitado para consideración) para el que no se asocia ningún conjunto;
  • Para conjuntos adyacentes, el máximo de uno debe coincidir con el mínimo del otro, y el punto de intersección de sus gráficos debe corresponder a los puntos de transición;
  • y algunas otras tareas específicas.

aunque hay situaciones excepcionales en las que una función debe determinarse en función del contexto. La construcción de tales funciones es un tema separado y bastante complicado.


Y eso es todo por hoy.


All Articles