Articulo de referencia

teoría de la medida difusa

En matemáticas , la teoría de la medida difusa considera medidas generalizadas en las que la propiedad aditiva se reemplaza por la propiedad más débil de monotonicidad. El conce...

En matemáticas , la teoría de la medida difusa considera medidas generalizadas en las que la propiedad aditiva se reemplaza por la propiedad más débil de monotonicidad. El concepto central de la teoría de la medida difusa es la medida difusa (también llamada capacidad , véase [ 1 ] ), introducida por Choquet en 1953 y definida independientemente por Sugeno en 1974 en el contexto de las integrales difusas . Existen diversas clases de medidas difusas, entre las que se incluyen las medidas de plausibilidad/creencia , las medidas de posibilidad/necesidad y las medidas de probabilidad , que constituyen un subconjunto de las medidas clásicas .

Definiciones

Dejarincógnita{\displaystyle \mathbf {X} }ser un universo de discurso ,do{\displaystyle {\mathcal {C}}}ser una clase de subconjuntos deincógnita{\displaystyle \mathbf {X} }, ymi,Fdo{\displaystyle E,F\in {\mathcal {C}}}. Una funcióngramo:doR{\displaystyle g:{\mathcal {C}}\to \mathbb {R} }dónde

  1. dogramo()=0{\displaystyle \emptyset \in {\mathcal {C}}\Rightarrow g(\emptyset )=0}
  2. miFgramo(mi)gramo(F){\displaystyle E\subseteq F\Rightarrow g(E)\leq g(F)}

se denomina medida difusa . Una medida difusa se denomina normalizada o regular sigramo(incógnita)=1{\displaystyle g(\mathbf {X} )=1}.

Propiedades de las medidas difusas

Una medida difusa es:

  • aditivo si es necesariomi,Fdo{\displaystyle E,F\in {\mathcal {C}}}de tal manera quemiF={\displaystyle E\cap F=\emptyset }, tenemosgramo(miF)=gramo(mi)+gramo(F).{\displaystyle g(E\cup F)=g(E)+g(F).};
  • supermodular si para algunomi,Fdo{\displaystyle E,F\in {\mathcal {C}}}, tenemosgramo(miF)+gramo(miF)gramo(mi)+gramo(F){\displaystyle g(E\cup F)+g(E\cap F)\geq g(E)+g(F)};
  • submodular si para algunomi,Fdo{\displaystyle E,F\in {\mathcal {C}}}, tenemosgramo(miF)+gramo(miF)gramo(mi)+gramo(F){\displaystyle g(E\cup F)+g(E\cap F)\leq g(E)+g(F)};
  • superaditivo si para algunomi,Fdo{\displaystyle E,F\in {\mathcal {C}}}de tal manera quemiF={\displaystyle E\cap F=\emptyset }, tenemosgramo(miF)gramo(mi)+gramo(F){\displaystyle g(E\cup F)\geq g(E)+g(F)};
  • subaditivo si para cualquiermi,Fdo{\displaystyle E,F\in {\mathcal {C}}}de tal manera quemiF={\displaystyle E\cap F=\emptyset }, tenemosgramo(miF)gramo(mi)+gramo(F){\displaystyle g(E\cup F)\leq g(E)+g(F)};
  • simétrico si para cualquiermi,Fdo{\displaystyle E,F\in {\mathcal {C}}}, tenemos|mi|=|F|{\displaystyle |E|=|F|}implicagramo(mi)=gramo(F){\displaystyle g(E)=g(F)};
  • Booleano si para algunomido{\displaystyle E\in {\mathcal {C}}}, tenemosgramo(mi)=0{\displaystyle g(E)=0}ogramo(mi)=1{\displaystyle g(E)=1}.

Comprender las propiedades de las medidas difusas resulta útil en la práctica. Cuando se utiliza una medida difusa para definir una función, como la integral de Sugeno o la integral de Choquet , estas propiedades son cruciales para comprender su comportamiento. Por ejemplo, la integral de Choquet con respecto a una medida difusa aditiva se reduce a la integral de Lebesgue . En casos discretos, una medida difusa simétrica da como resultado el operador de promedio ponderado ordenado (OWA). Las medidas difusas submodulares dan como resultado funciones convexas, mientras que las medidas difusas supermodulares dan como resultado funciones cóncavas cuando se utilizan para definir una integral de Choquet.

Representación de Möbius

Sea g una medida difusa. La representación de Möbius de g viene dada por la función de conjunto M , donde para cadami,Fincógnita{\displaystyle E,F\subseteq X},

METRO(mi)=Fmi(1)|miF|gramo(F).{\displaystyle M(E)=\sum _{F\subseteq E}(-1)^{|E\backslash F|}g(F).}

Los axiomas equivalentes en la representación de Möbius son:

  1. METRO()=0{\displaystyle M(\emptyset )=0}.
  2. Fmi|iFMETRO(F)0{\displaystyle \sum _{F\subseteq E|i\in F}M(F)\geq 0}, para todosmiincógnita{\displaystyle E\subseteq \mathbf {X} }y todoimi{\displaystyle i\in E}

Una medida difusa en la representación de Möbius M se denomina normalizada simiincógnitaMETRO(mi)=1.{\displaystyle \sum _{E\subseteq \mathbf {X} }M(E)=1.}

La representación de Möbius puede utilizarse para indicar qué subconjuntos de X interactúan entre sí. Por ejemplo, una medida difusa aditiva tiene valores de Möbius iguales a cero, excepto para los elementos únicos. La medida difusa g en la representación estándar puede recuperarse a partir de la forma de Möbius mediante la transformada zeta:

gramo(mi)=FmiMETRO(F),miincógnita.{\displaystyle g(E)=\sum _{F\subseteq E}M(F),\forall E\subseteq \mathbf {X} .}

Supuestos de simplificación para medidas difusas

Las medidas difusas se definen en un semianillo de conjuntos o clase monótona , que puede ser tan granular como el conjunto potencia de X , e incluso en casos discretos el número de variables puede ser tan grande como 2 | X | . Por esta razón, en el contexto del análisis de decisiones multicriterio y otras disciplinas, se han introducido supuestos de simplificación sobre la medida difusa para que sea menos costoso computacionalmente determinarla y usarla. Por ejemplo, cuando se supone que la medida difusa es aditiva , se cumplirá quegramo(mi)=imigramo({i}){\displaystyle g(E)=\sum _{i\in E}g(\{i\})}y los valores de la medida difusa se pueden evaluar a partir de los valores en X. De manera similar, una medida difusa simétrica se define de forma única por los valores | X |. Dos medidas difusas importantes que se pueden utilizar son la de Sugeno oλ{\displaystyle \lambda }-medida difusa y medidas k -aditivas, introducidas por Sugeno [ 2 ] y Grabisch [ 3 ] respectivamente.

Medida λ de Sugeno

El Sugenoλ{\displaystyle \lambda }La medida difusa es un caso especial de medidas difusas definidas iterativamente. Tiene la siguiente definición:

Definición

Dejarincógnita={incógnita1,,incógnitanorte}{\displaystyle \mathbf {X} =\left\lbrace x_{1},\dots ,x_{n}\right\rbrace } Sea un conjunto finito y seaλ(1,+){\displaystyle \lambda \in (-1,+\infty)}. Un Sugenoλ{\displaystyle \lambda }-medida es una funcióngramo:2incógnita[0,1]{\displaystyle g:2^{X}\to [0,1]}de tal manera que

  1. gramo(incógnita)=1{\displaystyle g(X)=1}.
  2. siA,Bincógnita{\displaystyle A,B\subseteq \mathbf {X} }(alternativamenteA,B2incógnita{\displaystyle A,B\in 2^{\mathbf {X} }}) conAB={\displaystyle A\cap B=\emptyset }entoncesgramo(AB)=gramo(A)+gramo(B)+λgramo(A)gramo(B){\displaystyle g(A\cup B)=g(A)+g(B)+\lambda g(A)g(B)}.

Como convención, el valor de g en un conjunto unitario{incógnitai}{\displaystyle \left\lbrace x_{i}\right\rbrace } se denomina densidad y se denota porgramoi=gramo({incógnitai}){\displaystyle g_{i}=g(\left\lbrace x_{i}\right\rbrace )}. Además, tenemos queλ{\displaystyle \lambda }satisface la propiedad

λ+1=i=1norte(1+λgramoi){\displaystyle \lambda +1=\prod _{i=1}^{n}(1+\lambda g_{i})}.

Tahani y Keller [ 4 ] así como Wang y Klir han demostrado que una vez que se conocen las densidades, es posible utilizar el polinomio anterior para obtener los valores deλ{\displaystyle \lambda }de forma única.

medida difusa k -aditiva

La medida difusa k -aditiva limita la interacción entre los subconjuntos.miincógnita{\displaystyle E\subseteq X}al tamaño|mi|=k{\displaystyle |E|=k}Esto reduce drásticamente la cantidad de variables necesarias para definir la medida difusa, y como k puede ser cualquier valor desde 1 (en cuyo caso la medida difusa es aditiva) hasta X , permite un compromiso entre la capacidad de modelado y la simplicidad.

Definición

Una medida difusa discreta g en un conjunto X se denomina k-aditiva (1k|incógnita|{\displaystyle 1\leq k\leq |\mathbf {X} |}) si su representación de Möbius verificaMETRO(mi)=0{\displaystyle M(E)=0}, cuando sea|mi|>k{\displaystyle |E|>k}para cualquiermiincógnita{\displaystyle E\subseteq \mathbf {X} }y existe un subconjunto F con k elementos tal queMETRO(F)0{\displaystyle M(F)\neq 0}.

Índices de Shapley e interacción

En teoría de juegos , el valor de Shapley o índice de Shapley se utiliza para indicar la importancia de un juego. Los valores de Shapley se pueden calcular para medidas difusas con el fin de indicar la importancia de cada elemento. En el caso de medidas difusas aditivas, el valor de Shapley será el mismo para cada elemento.

Para una medida difusa dada g y|incógnita|=norte{\displaystyle |\mathbf {X} |=n}, el índice de Shapley para cadai,,norteincógnita{\displaystyle i,\dots ,n\in X}es:

ϕ(i)=miincógnita{i}(norte|mi|1)¡|mi|¡norte¡[gramo(mi{i})gramo(mi)].{\displaystyle \phi (i)=\sum _{E\subseteq \mathbf {X} \backslash \{i\}}{\frac {(n-|E|-1)!|E|!}{n!}}[g(E\cup \{i\})-g(E)].}

El valor de Shapley es el vectorϕ(gramo)=(ψ(1),,ψ(norte)).{\displaystyle \mathbf {\phi } (g)=(\psi (1),\dots ,\psi (n)).}

Véase también

Referencias

  1. Gustave Choquet (1953). "Teoría de las Capacidades". Anales del Instituto Fourier . 5 : 131-295 .
  2. M. Sugeno (1974). "Teoría de las integrales difusas y sus aplicaciones. Tesis doctoral". Instituto Tecnológico de Tokio , Tokio, Japón .
  3. M. Grabisch (1997). " Medidas difusas discretas aditivas de orden k y su representación". Fuzzy Sets and Systems . 92 (2): 167– 189. doi : 10.1016/S0165-0114(97)00168-1 .
  4. H. Tahani y J. Keller (1990). "Fusión de información en visión por computadora mediante la integral difusa". IEEE Transactions on Systems, Man, and Cybernetics . 20 (3): 733– 741. doi : 10.1109/21.57289 .

Lecturas adicionales

  • Beliakov, Pradera y Calvo, Funciones de agregación: una guía para profesionales , Springer, Nueva York, 2007.
  • Wang, Zhenyuan y George J. Klir , Teoría de la medida difusa , Plenum Press, Nueva York, 1991.
  • Teoría de la medida difusa en Procesamiento de imágenes difusas Archivado el 30/06/2019 en Wayback Machine