Diferencia entre revisiones de «Conjunto difuso»

← Ir a diferencia anterior Ir a siguiente diferencia →

Contenido eliminado Contenido añadido

En renglón

Revisión del 13:43 19 abr 2010

Un conjunto difuso, es un conjunto que puede contener elementos de forma parcial. Es decir que la propiedad $x\in A$ puede ser cierta con un grado de verdad.

Se mide esta posibilidad de pertenecer (o pertenencia) con un número $\mu _{A}(x)\,$ entre 0 y 1, llamado grado de pertenencia de $x\,$ a $~A\,$ . Si es 0, $x\,$ no pertenece a $~A\,$ , si es 1, entonces $x\in A$ , totalmente, y si $0<\mu _{A}(x)<1\,$ , $x\,$ pertenece a $~A\,$ de una manera parcial.

Un subconjunto $A\,$ de $B\,$ se caracteriza, por tanto, por esta función de pertenencia $\mu _{A}\,$ , de $~B\,$ en $[0,1]\,$ . Es preciso fijar el conjunto $~B\,$ para definir la función $\mu _{A}\,$ que a su vez define $~A\,$ . Por eso se habla de subconjunto difuso y no de conjunto difuso.

Nótese que $\mu _{A}\,$ es una proposición en el contexto de la lógica difusa, y no de la lógica usual binaria, que sólo admite dos valores: cierto o falso.

Introducción

La teoría de los subconjuntos difusos o borrosos (palabras intercambiables en este contexto) fue desarrollada por Lofti A. Zadeh en 1965 con el fin de representar matemáticamente la imprecisión intrínseca de ciertas categorías de objetos.

Los subconjuntos difusos (o partes borrosas de un conjunto) fueron inventados para modelar la representación humana de los conocimientos (por ejemplo para medir nuestra ignorancia o una imprecisión objetiva) y mejorar así los sistemas de decisión, de ayuda a la decisión, y de inteligencia artificial.

Operaciones

En los conjuntos difusos se pueden realizar las mismas acciones que en un conjunto clásico. Siendo dos grupos difusos los siguientes:

Se define su intersección como:

Su unión como:

Y la negación del primero de ellos como:

Otros conceptos

El núcleo de un subconjunto difuso $~A$ es el conjunto de los elementos $~x$ que pertenecen totalmente a $A$ , es decir que verifican $\mu _{A}(x)=1.0$ .
El soporte de subconjunto difuso $A$ es el conjunto de los $x$ que pertenecen, en cierta medida, a $~A$ . Es decir que verifican $\mu _{A}(x)\geq 0$ .
Sean $~A$ y $~B$ dos partes difusas del conjunto $~C$ . Se dice que $~A$ está incluido en $~B$ si para todo $x\in ~C$ , tenemos $\mu _{A}(x)\leq \mu _{B}(x)$ , es decir que los elementos de $A$ siempre pertenecen en mayor medida a $~B$ que a $~A$ .
Partiendo de subconjunto difuso $A$ , se puede definir la familia de los conjuntos clásicos $~A_{t}$ , con $t$ variando en $[0,1]$ , por $A_{t}=\{x\in ~B/\mu _{A}(x)\geq t\}$ . El conocimiento de esta familia define totalmente $A$ .

Por lo tanto, una parte difusa equivale, en concepto de información, a una familia infinita no enumerable de partes clásicas. La teoría de los subconjuntos difusos es por lo tanto muy distinta y mucho más compleja que la teoría de los conjuntos usuales. Por ejemplo, un conjunto finito clásico tiene un número finito de subconjuntos clásicos, pero un número infinito de subconjuntos difusos.

En el Diccionario Crítico de Ciencias Sociales hay sendos artículos sobre 'Sistemas difusos' y 'Sistemas expertos'.

@@ Línea 27: / Línea 27: @@
 * El '''núcleo''' de un subconjunto difuso <math>~A</math> es el conjunto de los elementos <math>~x</math> que pertenecen totalmente a <math>A</math>, es decir que verifican <math>\mu_A(x) = 1.0</math>.
-* El '''soporte''' de subconjunto difuso <math>A</math> es el conjunto de los <math>x</math> que pertenecen, en cierta medida, a <math>~A</math>. Es decir que verifican <math>\mu_A (x) \geq 0</math>. ("EDICIÓN ALUMNO ICAI:Creo que es mayor estricto, porque ha de pertenecer en cierta medida, con lo cual no valdría el cero")
+* El '''soporte''' de subconjunto difuso <math>A</math> es el conjunto de los <math>x</math> que pertenecen, en cierta medida, a <math>~A</math>. Es decir que verifican <math>\mu_A (x) \geq 0</math>.
 * Sean <math>~A</math> y <math>~B</math> dos partes difusas del conjunto <math>~C</math>. Se dice que <math>~A</math> está ''incluido'' en <math>~B</math> si para todo <math>x \in ~C</math>, tenemos <math>\mu_A(x) \leq \mu_B (x)</math>, es decir que los elementos de <math>A</math> siempre pertenecen en mayor medida a <math>~B</math> que a <math>~A</math>.
 * Partiendo de subconjunto difuso <math>A</math>, se puede definir la familia de los conjuntos clásicos <math>~A_t</math>, con <math>t</math> variando en <math>[0, 1]</math>, por <math>A_t = \{x \in  ~B / \mu_A(x) \geq t\}</math>. El conocimiento de esta familia define totalmente <math>A</math>.