Teoria de los conjuntos borrosos Aplicacin en las ciencias sociales

1. Introduccin: Investigadores en las ciencias sociales han observado durante mucho tiempo que a pesar de que el ser humano dividi su mundo en categoras, usualmente las utiliza con lmites borrosos y gradaciones de membreca. Esto, tambin pasa en muchos conceptos utilizados en las ciencias sociales. Este libro introduce la teora de conjuntos borrosos, una extensin de la teora clsica de conjuntos que primero fue propuesta por Lotfi Zadeh (1965) y que proporciona un marco matemtico para el manejo de categoras que admitan una membreca parcial (o membreca en grados). La teora de los conjuntos borrosos ofrece generalizaciones de los conceptos de la teora de conjuntos como lo son la interseccin y la unin. Por eso, expone conceptos de categoras en el reino dimensional. Si la pobreza econmica y la depresin psicolgica son, como se cree, cuestiones de grado, entonces la teora de los conjuntos borrosos reclama que nosotros podemos seguir dirigindonos significativamente al problema de cuantos conjuntos de gente pobre y deprimida se cruzan o interceptan. Por eso hay cinco razones para aadir los conjuntos borrosos a la caja de herramientas de las ciencias sociales. y y Son capaces de manejar la vaguedad sistemticamente. Muchas construcciones en las ciencias sociales tienen una categora y un carcter (naturaleza) dimensional. Incluso aparentemente los conceptos categricos a menudo resultan se cuestin de grado. Son capaces de analizar relaciones multivariadas ms all de medios condicionales y del modelo lineal general, a travs de las generalizaciones de las operaciones de la teora de conjuntos. Tienen fidelidad terica. Las teoras frecuentemente son expresadas en trminos lgicos, pero la mayora de modelos estadsticos basado en variables continuas no lo son. La teora de conjuntos difusos combinan set-wise (conjuntos sabios) pensamiento lgico y variables continuas de manera rigurosa.

y y

En psicologa, por ejemplo, la teora de conjuntos difusos ha sido usada para resolver problemas de mediciones y proporcionar nuevos datos a las herramientas de anlisis. Igualmente, en sociologa y en ciencias polticas, los conjuntos borrosos han sido propuestos por Ragin como el permitir lo que l llama la diversidad orientada para la investigacin y fortalecimiento de la conexin entre la teora y los datos de anlisis. Una reciente investigacin social de mtodos e investigacin incluy artculos en aspectos metodolgicos de teora de conjuntos borrosos , as como sus aplicaciones empricas

En consecuencia, este libro est orientado hacia los investigadores que se familiarizan en las ciencias sociales con los conjuntos difusos y a algunas herramientas metodolgicas para aplicarlos. Tambin, se enfatiza sobre la combinacin de los conceptos de los conjuntos borrosos con tcnicas estadsticas bastante sencillas, muchas de las cuales pueden ser implementadas usando el estndar de los paquetes estadsticos. Creemos que esta combinacin es esencial. Donde los conjuntos borrosos han sido aplicados en las ciencias sociales, muchos investigadores simplemente usan la nocin del conjunto borroso para invocar gradaciones de membreca y categoras que se superponen. Algunas aplicaciones usan grados explcitos de membreca, tal vez junto con los prototipos y las medidas de similitud de los prototipos. Este libro ha dejado algunos temas de lado no porque sean menos importantes sino porque nos hemos tratado de concentrar en aspectos que creemos son los ms accesibles e interesantes para un nmero de lectores de ciencias sociales quienes a duras penas han odo de la teora de conjuntos difusos. 2. Una visin general de las matemticas de conjuntos borrosos: En esta seccin nos vamos a concentrar en explicar los conceptos tan claro como sea posible. La teora de conjuntos borrosos es una generalizacin de la teora de conjuntos, aunque la teora de conjuntos es fundamento del enfoque moderno de las matemticas y podra ser familiar para cualquiera que tenga conocimiento en esto, como no podemos suponer que todo tienen algn conocimiento de este tema vamos a comenzar con un resumen de la teora de conjuntos y operaciones sobre conjuntos. 2.1 la teora de conjuntos: La teora de conjuntos clsica tiene que ver con las colecciones de objetos y ciertas relaciones entre estos objetos. El conjunto ms bsico es simplemente una lista de objetos, como por ejemplo A= {a, b, c, d, e} o B= {naranja, limn, lima, toronja, mandarina}. Pero generalmente los conjuntos se vuelven interesantes al ser conectados con la regla que determina membreca o no membreca del conjunto. Por ejemplo, el conjunto Asolo puede ser especificado como la regla de primeras cinco reglas del alfabeto y el conjunto B puede ser especificado bajo la regla de frutas ctricas comnmente disponibles siempre que, claro est, que comn tenga un significado preciso. Claramente, en cualquier uso de conjuntos de modelar una realidad emprica o de ensayar con datos reales, la regla que conecta los objetos con cualquier otro es de suma importancia y debe ser especificada claramente. En un lugar donde las naranjas chinas y mandarinas crecen en abundancia pero las limas y las toronjas son desconocidas, la regla frutas ctricas comunes podra no ser especfica al conjunto B. Hay cuatro operaciones comunes de los conjuntos: unin, interseccin, negacin e inclusin, estas son comnmente denotas por los smbolos , , y respectivamente. Con estas operaciones es posible tratar conjuntos muy complejos. La unin y la interseccin son conocidas como conectivos porque crean un nuevo conjunto de dos (o ms) otros conjuntos de acuerdo a un procedimiento especfico. La unin pega dos conjuntos

juntos y corresponde a o en el sentido inclusivo, casi siempre se expresa en el lenguaje natural como y/o. usando los conjuntos anteriormente mencionados, A B= {a, b, c, d, e, naranja, limn, lima, toronja, mandarina}. Interseccin es la superposicin entre dos conjuntos y corresponde a y . Los dos conjuntos mencionados no tienen elementos en comn por lo tanto su interseccin esta vaca. Escribimos A B= , el smbolo para nulo o conjunto vacio, el conjunto que no tiene elementos en absoluto. La negacin, corresponde a no , crea el complemento del conjunto el cual contiene todos los elementos en el conjunto universal que no est en el conjunto. Su definicin requiere que nosotros definamos el discurso del universo, representado por el conjunto universal U, sin U no podramos decir significativamente que hemos encontrado un complemento. 2.2 Por qu conjuntos borrosos? Definir el conjunto V= {a, e, i, o, u} como el conjunto de vocales. Lgicamente, C= V, el conjunto de consonantes, porque una letra es o una consonante o una vocal. Tabla 2.1 Claves para las operaciones de conjunto Operacin Unin Interseccin Complemento Inclusin Smbolo Notacin A B A B A  Traduccin verbal
Todos los elementos de A o B, o ambos Elementos que estn solo en ambos A y B Elementos en U que no estn en A Todos los elementos en A tambin estn en B

Sin embargo, nosotros sabemos que la letra Y es a veces una vocal y otras una consonante, por ejemplo, en la palabra my , y es una vocal, pero en la palabra yours no lo es. Pertenece y al conjunto V, o al C, el conjunto de consonantes? La respuesta no es muy clara porque y no se ajusta ni al V o C, o ms bien a los dos. Esto significa, claramente, que la regla de separar las vocales y las consonantes, no conduce a una clasificacin mutuamente excluyente de las letras que ha sugerido la dicotoma entre vocales y consonantes. La letra y viola la ley de exclusividad media que es asumida cuando nosotros definimos C= V. Es difcil pensar con precisin sobre este ejemplo que incluso es familiar para los nios. Pero el problema se asemeja a los que se enfrentan todos los das en el proceso de construccin de conjuntos de datos y al proceso de hacer inferencias acerca de estos objetos en el conjunto de datos. La teora de conjuntos clsica no es muy adecuada al tratar con la incertidumbre de la regla que asigna los objetos a los conjuntos. Los objetos matemticos generalmente pueden ser definidos precisamente: los objetos empricos casi nunca pueden ser definidos.

Los conjuntos borrosos esta diseados para manejar una clase particular de incertidumbre llamada grado de imprecisin o de vaguedad- la cual resulta cuando tenemos una propiedad o caracterstica que puede estar poseda por objetos de distintos grados. La vaguedad es ms fcil de ver al referirnos a la paradoja clsica de Sorites. Si tenemos un montn de arena y removemos un grano de arena, este sigue siendo un montn. Probablemente se puede apelar al argumento falaz de la induccin matemtica y remover otro grano de arena y seguir teniendo un montn de arena. Y as sucesivamente. Eventualmente, sin embargo, vamos a tener muy poca arena y a eso no lo vamos a poder seguir llamando montn. Por eso, la definicin de montn no es precisa. Esto es un asunto de la vaguedad porque en ninguna parte del proceso hay un punto que divida las cosas en dos estados distinguibles: montn y no montn. Muchos conceptos en las ciencias sociales contienen una vaguedad esencial en el sentido que mientras nosotros podemos definir casos prototpicos que se ajustan a la definicin, no es posible proporcionar lmites claros entre los conjuntos. Considerando pobreza. En un contexto dado, como soltero y vive en una ciudad universitaria en el medio oeste U.S.A (lo cual provee un entendimiento del costo de vida), nosotros podemos definir una lnea de pobreza relativamente simple. con menos de $20.000 por ao en 2003 la teora clsica de conjuntos podra darnos a entender que un ciudadano del medio oeste que hizo exactamente $20.000 por ao es, por lo tanto, no pobre, aunque cualquiera que reconozca que aadiendo un dlar extra al sueldo, no hace una diferencia material en la vida de la persona en cuestin. Sin embrago si se aaden $10.000 por ao al sueldo de esta persona podra hacerla no pobre. As, en alguna parte entre el sueldo anual de $20.000 y $30.000, la persona podra dejar de ser pobre. Dnde exactamente? dado un lmite propuesto, nosotros podemos casi siempre jugar a lo mismo, sealando que un dlar mas no hace que uno deje de ser pobre. La teora de los conjuntos borrosos proporciona una caja de herramientas matemtica para analizar las situaciones como estas con precisin, es decir definiendo un grado de membreca entre los estados cualitativamente diferentes de si es definitivamente pobre o no lo es. 2.3 la funcin de membreca Un conjunto borroso est basado en el conjunto clsico, pero aade un elemento ms: un grado numrico de membreca de un objeto en el conjunto, que va de 0 a 1. Formalmente, la funcin de membreca es una funcin sobre algn espacio del objeto asignado a la unidad del intervalo [0,1] y la asignacin es denotada por (x): [0,1].

Esto genera un conjunto borroso A. tengase en cuenta que un dominio puede referirse a un conjunto universal , pero esto tambin puede ser definido en trminos de alguna regin matemtica como la lnea real o un intervalo representado el rango de una escala. La funcin de membreca es un ndice de sethood que mide el grado al cual un objeto x es miembro de un conjunto particular. A diferencia de la teora de probabilidad, los grados de membreca no tienen que sumar 1 en todos los objetos, muchos o pocos objetos en el conjunto

pueden tener alta membreca. Sin embrago, la membreca de un objeto en el conjunto y el complemento del conjunto debe seguir sumando a 1, la gran diferencia entre la teora clsica de conjuntos y la de los conjuntos borrosos es que el ultimo admite un conjunto parcial de membreca. Un conjunto clsico es un conjunto borroso que restringe su pertenencia a dos valores {0,1}. Tabla 2.2 Frutas ctricas comunes Fruta Naranja ombligona Limn Toronja roja Lima Mandarina Naranja china Mandarina Membreca 1.00 1.00 0.75 0.75 0.50 0.00 0.25

Usamos dos ejemplos simples para ilustrar varios puntos. Primero, construiramos un conjunto de frutas ctricas comunes asignando valores de membreca subjetivamente al escoger nmeros de {0, .25, .50, .75, 1} sobre la base de nuestra propia pericia. Estas asignaciones se muestran en la tabla 2.2 El procedimiento adoptado no es tan diferente de la codificacin de los objetos que llevaron a cabo varios cientficos sociales. Una notacin til es generalizarla lista de los elementos {(naranja ombligona, 1), (limn 1), (toronja roja, .75), (lima, .75), (mandarina, .5), (naranja china, 0), (mandarina, .25) la lista de pares ordenados es compacta y til para la relatividad de los conjuntos pequeos. Nuestro segundo ejemplo ilustra una regla que asigna el dominio de la membreca. Tpicamente, esto es hecho cuando el dominio o la propiedad son definidos en trminos de una construccin cualitativa. Por ejemplo usando el ejemplo de pobreza ya mencionado, podramos decidir usar un filtro lineal sobre el ingreso, en esta definicin la membreca en el conjunto de gente pobre es 0 si su ingreso anual excede los $30.000, aumenta linealmente para ingresos en el rango de $30.000 hasta $20.000, e igual 1 para cualquier ingreso bajo $20.000   

Esto parece simple. Sin embargo un dilema que tenemos que enfrentar inmediatamente cuando construimos un conjunto borroso es la definicin del conjunto universal U. Se puede notar que

el conjunto de frutas definido se confunde en el que se incluye al menos dos propiedades, comn y ctrico . Qu constituye el universo del discurso?. Especficamente estas son frutas ctricas, frutas en general, cosas que se encuentran en una frutera o algo ms? un valor de membreca en diferentes sentidos para conjuntos universales diferentes. En el caso de U= {frutas ctricas}, el valor de 0 de las naranjas chinas indica que es muy poco comn, aunque es una fruta ctrica, si, sin embrago, u= {frutas en general}, mucho otros casos podran tener 0 membreca al no ser frutas ctricas. Las manzanas son muy comunes, pero no son para nada frutas ctricas y por eso este criterio no es vlido. Aunque esto parezca algo trivial el conjunto es, de hecho, bastante complicado. Segunda parte mircoles 2 de noviembre 2.4 operaciones de la teora de conjuntos borrosos Al igual que la teora de conjuntos clsicos, la teora de conjuntos borrosos incluye operaciones de unin, interseccin, complemento e inclusin, adems, tambin incluye operaciones que no tienen un equivalente en la de conjuntos clsicos, como los modificadores de concentracin, dilatacin, y la agregacin borrosa conectiva. En esta seccin, todas las formulas estas escritas con la asuncin de que solo dos conjuntos son considerados, pero es posible ampliarlos a tres o ms conjuntos fcilmente gracias a la induccin matemtica. Para ilustrar las operaciones borrosas, se elabor el ejemplo de las frutas. De esta manera, se han construido cuatro conjuntos borrosos sobre el universo del discurso frutas ; esta no es una lista exhaustiva. Comn representa una evaluacin subjetiva de los grados de disponibilidad de estas frutas en un mercado Americano. Ctrico es verdadero si la fruta es cuestin es clasificada botnicamente como ctrica. Y finalmente, amargo representa el grado subjetivo del sabor amargo. Ctrico y rosceo son conjuntos ntidos porque todos los valores de membreca son 0 1 (ver tabla 2.3) La membreca en la unin borrosa es definida como el grado mximo de membreca en los conjuntos. Membreca en la unin x y se podra escribir
 

=(

).

Por esto, la membreca de una naranja en el conjunto ctricos comunes podra ser mx (1.00, 1.00)= 1.00, y su membreca en rosceo amargo podra ser max (.00, .25)=.25. la membreca de la interseccin borrosa es definida como el grado mnimo de membreca en los conjuntos, lo que es,
 

=(

).

As, la membreca de la naranja en el conjunto fruta comn y agria podra ser min(1.00, .25)=.25. El complemento borroso es definido como =1 . Por esto, la membreca de una naranja en el conjunto  es 1- .25=.75.

Tabla 2.3 Ejemplo de frutas con membreca de dos conjuntos derivados Fruta Naranja ombligona Limn Toronja roja Lima Mandarina Naranja china Mandarina Manzana Carambola Banano Frambuesa roja Cereza Fresa Coco Pia Uva verde Comn 1.00 1.00 0.75 0.75 0.50 0.00 0.25 1.00 0.00 1.00 0.75 0.25 0.75 0.50 0.50 1.00 Ctrica 1.00 1.00 1.00 1.00 1.00 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 Roscea 0.00 0.00 0.00 0.00 0.00 0.00 0.00 1.00 0.00 0.00 1.00 1.00 1.00 0.00 0.00 0.00 Agria 0.25 1.00 0.75 0.75 0.25 0.00 0.00 0.00 0.25 0.00 0.75 0.25 0.00 0.00 0.50 0.50 ctrica 1.00 1.00 1.00 1.00 1.00 1.00 1.00 1.00 0.00 0.00 1.00 1.00 1.00 0.00 0.00 0.00 Comn 0.25 1.00 0.75 0.75 0.25 0.00 0.00 0.00 0.00 0.00 0.75 0.25 0.00 0.00 0.50 0.50

A menos que se note, se usaron los operadores max y min para la unin borrosa y la interseccin borrosa, respectivamente. Sin embrago, es importante anotar que estos no son solo definiciones de la unin y la interseccin adecuadas a la teora de conjuntos borrosos. En algunos contextos, definiciones alternativas de los operadores estn en mejores condiciones para cumplir con las necesidades de aplicaciones particulares. Por ejemplo, los productos operadores son   =  -  y . Estas formulas son, de hecho, las mismas que las reglas    =  para componer eventos independientes en la teora de probabilidad. A diferencia de las operaciones max-min, estas son continuas; cambios en la membreca de un conjunto estn siempre reflejados en la membreca de la unin o la interseccin. Por contraste, esto no es verdadero para los operadores max-min. Este cambio ms continuo puede mejorar la base del espacio conceptual. A pesar de la discontinuidad, las operaciones max-min permanecen en la industria estndar son muy fciles de calcular, lo cual es una virtud en algunos casos. Quizs lo ms importante, es que son relativamente resistentes a perturbaciones en la entrada de los valores de membreca lo cual es usual debido a ms errores en las medidas que a variaciones reales- y demanda solo medidas ordinales. La multiplicidad de operadores es ambas una fortaleza y una debilidad de la teora de conjuntos difusos. Como una fortaleza, muchos operadores diferentes proveen opciones para modelar diferentes conceptos. Y como una debilidad, hay muchas opciones para tomar, y no es siempre claro cual alternativa es la mejor por supuesto, estos operadores todos se reducen a los clsicos donde la membreca es restringida solo a 0 y 1.

Es posible unir operadores juntos, de este modo se construyen conjuntos ms complicados. De hecho, parte del poder de la teora de conjuntos borrosos viene de esto, tanto como sea posible derivar varios conjuntos interesantes de cadenas de reglas construidas por simples operadores. La membreca de la naranja en el conjunto   podra ser min (1-1.00, .25)=0. En realidad como la naranja es casi prototpica de una dulce, fruta comn, debera tener sentido que la membreca en el conjunto es baja. La inclusin de lo borroso es algo ms complicado, ac se introduce la inclusin clsica Ratio (CIR) que posterga una discusin ms completa hasta el capitulo 5. Para los conjuntos ntidos la inclusin es una cuestin de todo o nada. O el conjunto A esta incluido en conjunto B o no lo est, y todo lo que toma es un elemento en A no en B para su inclusin al fracaso. Esto es decididamente no borroso y adems no tiene sentido desde un punto de vista de un dato analtico, donde se podra esperar ver algunos errores de un patrn general simplemente debido a la casualidad. Porque los conjuntos ntidos son conjuntos borrosos sin valores de membreca en interior del intervalo de la unidad, estos tambin tiene funciones de membreca. Por lo tanto, la inclusin puede ser trasladada a un principio de la membreca: para qu B incluya A, los objetos en A deben tener membreca no mayor que los objetos en B. fcilmente esto se puede extender a la membreca continua. As, el CIR simplemente cuenta el nmero de tales objetos relativo al total del nmero de objetos. Si hay n objetos, = #


) /n [2.1]

borrosamente incluido en comn.

Porque esta es una proporcin, es posible usar las estadsticas estndar para que las proporciones formen la base de test estadsticos teniendo en cuenta el CIR, el cual es uno de sus puntos principales. Otro punto de referencia para la inclusin de A en B es considerar cuan similar es a , el cual puede fcilmente ser visto por un trazo (plotting) en . Si son iguales, entonces deberan formar una lnea fuerte con intercepcin 0 y pendiente o inclinacin 1. En las frutas por ejemplo,  =15/16 =.9275. Lo que indica que agrio es difusamente o

Recordad que los conjuntos borrosos no obedecen la ley del medio o tercero excluido. Considerando la lima, la cual tiene .75 de membreca en Agrio y por eso una membreca en Agrio de .25. La membreca en Agrio Agrio es min (.75, .25)= .25. Dado que estamos considerando una situacin de vaguedad, esto parece razonable. Pero la ingeniera gentica propone que una planta no puede ser ctrica y no ctrica al mismo tiempo y la membreca de la lima es ctrico y no ctrico es min (1,0) como debera ser. Se han menciona otras tres operaciones de los conjuntos borrosos que son importantes: concentracin, dilatacin y agregacin. Ninguno de estos operadores tiene conjuntos clsicos paralelos porque todos ellos dependen de los valores de membreca entre 0 y 1. La concentracin y dilatacin modifican un conjunto, similar al complemento, mientras la agregacin es otro conector entre conjuntos similar a la unin y la interseccin. El sentido de estos operadores viene

de las propiedades de poder en el intervalo de la unidad del mapa en el intervalo de la unidad, lo cual significa que pueden ser interpretados como valores de membreca. La concentracin reduce todos los valores excepto 0 y 1 al elevarlos al cuadrado, pero el efecto es ms dbil en aquellos que son justamente ms pequeos. A la inversa. La dilatacin incrementa todos los valores de membreca menos 0 y 1, pero el efecto es ms dbil en aquellos que son demasiado largos. La figura 2.1 ilustra esto, y la 2.2 muestra la concentracin y la dilatacin a la funcin de membreca pobre (x). El ltimo operador del que se va a hablar es la agregacin borrosa, denotada por el smbolo  . As, la agregacin de dos conjuntos X y Y es denotada X Y y la agregacin de conjuntos X, Y y Z ser X Y Z. Los conjuntos clsicos tienen dos conectores, uniones e intersecciones y estos se han extendido a los conjuntos borrosos. Como ya se dijo, la membreca en la unin se determina por la unin ms fuerte de la cadena mientras la membreca en la interseccin se determina por la unin ms dbil de la cadena. En este sentido, la unin borrosa es de total compensacin en los valores bajos de membreca en los conjuntos A, B y C son completamente compensados, en nivel alto de los valores de membreca en el conjunto D. la interseccin borrosa no es totalmente compensatoria, en los valores altos de membreca en los conjuntos A, B y C no puede compensar en absoluto una membreca baja de en el conjunto D. alternativamente. Sin embrago, en muchos casos, la teora dice que varias propiedades contribuyen a la membreca general en la agregacin, pero esos valores bajos en una propiedad no son completamente compensatorios para los valores alto en otra, unin invalida borrosa. De hecho es muy similar la suposicin que usualmente se usa en la escala de construccin, donde componentes diferentes constituyen la totalidad al sumarse en conjunto. Hay muchos operadores diferentes de agregacin, pero ac se van a discutir dos de los ms simples. El primero es el medio geomtrico de la funcin de membreca = .

El medio geomtrico acta como un promedio de los valores de membreca cerca unos a otros pero como la interseccin cuando uno de los valores de membreca esta cerca a o. el segundo es el aritmtico de la unin y la interseccin Aca va una formula que no pude hacer En el caso de los conjuntos, este es solo el medio aritmtico de los valores de membreca, pero cuando se consideran tres o ms conjuntos, no es necesariamente valido. Si queremos agregar comn y agrio en el modo geomtrico tendramos  = .50,

Mientras que en el modo aritmtico seria (1.00+.25)/2. La interpretacin de la agregacin es, por supuesto, un asunto de la teora sustantiva.

2.4.1

nivel de los conjuntos

El nivel de los conjuntos proporciona una conexin efectiva entre conjuntos ntidos y conjuntos borrosos. Comenzando con un conjunto borroso X, se introduce un nivel de parmetro, [0,1], y define el conjunto como = {x X l }. Traducindolo a palabras, con elementos que tienen membreca mayor que . Por ejemplo, si X= {(a, 0), (b, .2), (c, .3), (d, .6), (e, .8), (f, 1)}, entonces = {a, b, c, d, e, f,}, = {d, e, f], y = {f}. Ntese que si , entonces tal como puede verse en el ejemplo como un uso de los niveles de los conjuntos es generar tablas de contingencia. 2.5 nmeros borrosos y variables borrosas. Es varios un numero? Claramente especifica una informacin numrica, pero es vago. En vez, especifica un rango posible de enteros, algunos de los cuales son ms plausibles que otros que se refieren a varios . varios realmente no aplica a un solo entero, es muy vago. Cuantificadores verbales como varios pueden volverse preciso utilizando la teora de los conjuntos difusosnal crear un numero borroso.