Captulo 3.

0: Sociologa y Computacin Suave

3.2 Elementos de la Lgica Borrosa
Aspectos generales
En 1965 Lofti A. Zadeh formul el concepto de borrosidad (fuzzy) como grados de significacin1 o una medida de la incertidumbre2 de los diferentes valores o significados que puede adoptar una variable lingstica, originalmente asociada a instrucciones de control de procesos. Para cada valor de esta variable, estableci una correspondencia con valores numricos normalizados entre cero y uno3. Con estas duplas construy una funcin que denomin funcin de pertenencia de la variable lingstica4. Una vez construidos los grados de significacin de la variable lingstica, fue posible asociar a la funcin con un conjunto al que denomin conjunto borroso con valores entre cero y uno. De esta manera someti al conjunto de etiquetas y nmeros va la funcin, a las posibilidades de un lgebra con operaciones booleanas y a una lgica de conjuntos borrosos que finalmente la denomin lgica borrosa (Fuzzy Logic). Esta conjuncin entre la incertidumbre de variables lingsticas5, grados de significacin, etiquetas lingsticas, funciones de pertenencia, conjuntos borroso y lgica difusa constituyen una Teora de conjuntos borrosos (Fuzzy Set Theory). Pero veamos esta secuencia de asociaciones matemticas con un ejemplo sencillo en trminos de una variable / concepto asociado al anlisis de actores sociales:

Es necesario tener en cuenta que la perspectiva de Zadeh y la de casi todos los investigadores de las Ciencias Fsicas que han adoptado la inclusin de grados de significado en sus mtodos de trabajo, no est cargada de una mirada filosfica ni lingstica asociada a teoras de significado. Por el momento es pertinente pensar en los grados de significado como las diferentes posibilidades de uso que tienen las palabras en un contexto de hechos explcitos, como por ejemplo intensidad (poca intensidad, mediana intensidad,... mucha intensidad, intensidad sin prisa, etc...). 2 La estadstica abord la incertidumbre varios aos atrs mediante el concepto de probabilidad y mediante el uso de funciones de probabilidad y el concepto de esperanza matemtica, sin embargo estos conceptos siempre remitirn a posibilidades de frecuencias sujetas a una contingencia y a la factibilidad de que ciertos eventos sucedan en el tiempo. La funcin de pertenencia, por otro lado, alude a un valor numrico con una identificacin especfica dada por el constructor de la funcin asociado al valor de una propiedad, que a su vez est asociada a una escala de valores y a un conjunto de significados posibles asociados a un objeto, accin o concepto, y que tiene un grado de incertidumbre respecto a un valor de referencia entre cero y uno. 3 El valor asignado entre cero y uno se establece como una medida de certidumbre. No por ello permanecer fijo, sino que estar sujeto a una constante rectificacin que mejor aproxime esta certidumbre con la etiqueta lingstica asociada. 4 En trminos un poco ms formales, la Teora de conjuntos borrosos, cuyos elementos tomamos de (Bro y Sanz, 2002) y (Hung y Walker, 2000) parte de la teora clsica de conjuntos aadiendo una funcin de pertenencia Ma en realidad la letramu griega, al conjunto U generalmente de elementos lingsticos. El dominio de dicha funcin de pertenencia est definido por un nmero real entre cero y uno [0,1] y el co-dominio de la funcin de pertenencia est definido por etiquetas lingstica A(i) perteneciente a U. As se introduce el concepto de conjunto o subconjunto borroso asociado a una variable A que adopta determinados valores lingsticos A(i) definidos por una palabra, un conjunto de palabras clave y adjetivos o un enunciado, y que estn asociados a valores normalizados entre cero y uno. De esta manera la definicin de un conjunto borroso A(i) que pertenece al universo lingstico U est asociada a la funcin de pertenencia Ma tal, que a cada etiqueta lingstica A(i) le corresponde un valor numrico entre [0,1]. Zadeh indica que la lgica para manipular estos conceptos no responde al uso de valores discernibles crispy propios de una lgica booleana o digital, sino a valores difusos o borrosos mas cercanos a una lgica multivaluada. 5 Esta incertidumbre es posible concebirla a partir de la necesidad de un observador para matizar y/o discernir elementos / relaciones ms finos para el anlisis de sus observables que los considera burdos y poco precisos para mejor delimitar su objeto de estudio. Si el observador se encuentra operando en dominios de etiquetas lgicas (palabra, frases y conceptos fuertemente establecidos), muy probablemente no vea la necesidad de distinguir entre diferentes niveles de peligro o de juventud por ejemplo. Pero si desea transformar la incertidumbre implcita en algunas partes y zonas de su objeto de estudio, necesita modificar su ngulo de comprensin y considerar otras perspectivas para distinguir, diferenciar, relacionar, agrupar, seleccionar e integrar en mayores grados de certidumbre las partes oscuras e indiferenciables e inmatizables de los observables y en una secuencia de la definicin misma de su objeto de estudio. De aqu la necesidad de transformar incertidumbre en mayor certidumbre, la cual quedar inscrita, por aproximaciones sucesivas en la funcin de pertenencia.

1)

Sea por ejemplo la variable Juventud, que alude a un grupo de edades posibles y que nos remite a un grado de incertidumbre o indefinicin si no precisamos la edad, respecto a un conjunto de referentes en nuestro sistema en construccin6. A esta variable le definimos varios grados de significacin: no llega a ser joven, muy joven, no tan joven, joven a secas, ya no tan joven y ya no es joven. Cada valor se considera como una etiqueta lingstica. Ahora establecemos una correspondencia para cada etiqueta o grado de juventud, con un valor numrico entre cero y uno: por ejemplo a la etiqueta no llega a ser joven le asignamos el valor de cero y a la etiqueta ya no es joven el valor de uno. Estos valores son nuestros lmites o umbrales de la naciente funcin de pertenencia. A los dems valores les asignamos -por el momento- valores intermedios, ya de manera proporcional por medio de una interpolacin lineal o de manera no lineal, de acuerdo a nuestra propia experiencia, a nuestra valoracin y criterios de sentido que consideramos para cada etiqueta lingstica: 0.3 para muy joven, 0.5 para no tan joven, 0.7 para joven a secas y 0.9 para ya no tan joven 7. En la figura 3.2 se muestra la representacin de otra funcin.

2)

3)

4)

5)

Podemos incluso matizar con ms detalle el significado antes un tanto incierto, aadiendo valores numricos de edades, por ejemplo para muy joven ampliamos la etiqueta (ya no tan lingstica) con el componente (de 14 a 17 aos) y para la etiqueta ya no es joven, quedara finalmente como ya no es joven (mayor de 30 aos)8.

6 Este ejemplo considera una variable que bien puede ser considerada como ordinal o de intervalo bajo una perspectiva clsica en la medicin sociolgica. Las aplicaciones significativas de la LB desglosaran los valores de variables como formas de relacin, de compromiso, de destreza, en la que cada etiqueta tiene que ver con expresiones asociadas a un significado distinto. 7

Hasta este momento podemos pensar que el procedimiento seguido ahora es ms parecido a la perspectiva de la medicin basada en variables de proporcin: valores relativos ordenados de mayor a menor con intervalos de medida casi proporcionales, matizaramos, y con un (verdadero) punto de cero como origen (Havens, Everett y Lipman, 1965). Sin embargo el tratamiento posterior y el carcter recursivo a que estarn sujetos los valores de estas variables / funciones ya no quedar dentro de la perspectiva del anlisis estadstico clsico. Esta etiqueta puede construirse como un enunciado con la formalidad propia que su constructor establezca y no por haberlo establecido de manera formal es definitivo, sino que estar sujeto como ya lo hemos mencionado, a una

6)

Nuestra funcin de pertenencia ya puede ser referida en un contexto matemtico en el que podemos usarla como un conjunto borroso sujeto a operadores booleanos y a expresiones de inferencia lgica9, por ejemplo: SI <el valor de la funcin JUVENTUD -que en un momento dado de un proceso vale 0.5> ES MAYOR QUE 0.4 (valor que tiene un significado dado por otra funcin de pertenencia) ENTONCES <otra funcin de pertenencia del sistema, como TRABAJO, toma el valor de> 0.8

De esta manera, la incertidumbre que hubiramos tenido al considerar la variable JUVENTUD dentro de nuestro sistema, antes de haberla transplantado a un dominio numrico como conjunto borroso, la hemos transformado a un concepto con menor incertidumbre o de mayor certidumbre para nuestro sistema en construccin y en consecuencia, con un mayor grado de posibilidades de discernimiento, con mayores significados mediante una funcin de pertenencia cada vez ms densa e incluso de establecer mejores matices en procesos de inferencia. Los trminos difusos en la funcin de pertenencia pueden ser del tipo: Predicativos: bajo, viejo, lento, cerca Valores ciertos: cierto, falso, muy cierto Probabilsticas: poco probable que, algo probable que suceda Cuantitativos: muchos, pocos, casi ninguno En la figura 3.3 se muestra la variable nivel socioeconmico. Note que se deriva de cuatro funciones que conjuntamente permiten obtener grados de dicho nivel a partir de una u otra funcin.

Las formas de las funciones de pertenencia pueden ser muy variadas. En la figura 3.4 se muestran cuatro grupos.
constante afinacin, depuracin e incluso transformacin propia de la naturaleza de una variable borrosa, que forma parte de la dinmica de construccin de un sistema complejo.
9

Lo que hemos hecho es conmutar / transmitir las propiedades de la funcin de pertenencia a las propiedades de un conjunto consistente que adopta un valor posible propio de su dominio, de su pertenencia.

El lgebra entre las funciones de pertenencia tiene tres operadores bsicos, la interseccin, la unin y el complemento. Con ellas es posible hacer integraciones por unin y por interseccin. En la figura 3.5 se muestra cmo se realiza la interseccin de dos funciones.

Habiendo representado un concepto dentro de una variable y asocindolo a una funcin de pertenencia, la lgica borrosa establece que es posible operar entre funciones con base en una lgebra booleana. Mediante las tres operaciones bsicas se pueden establecer mltiples formas de inferencia y el resultado es una nueva funcin que es necesario defuzzificar o desborrosificar para transformar el resultado borroso en numrico. Existen varios mtodos para ello, como el de biseccin o el del promedio de los valores mximos en la funcin que corresponde al mtodo del centroide.

La lgica difusa es en su conjunto una estrategia para operar con variables que presentan valores aproximados. Primero las convierte en valores numricos normalizados, luego opera con ellas y finalmente las transforma a etiquetas lingsticas. El anlisis de los significados en las transformaciones no es muy claro, depende mucho del constructor de las funciones y de la forma de las operaciones que siempre son de unin, de interseccin y/o de complemento, y no hay una valoracin explcita en la construccin de las funciones de pertenencia.

De la funcin de pertenencia a la funcin de interfase.

Distinguimos tres razones por las cuales consideramos necesaria una nueva modalidad de la funcin de pertenencia orientada a un ngulo de observacin desde la sociologa constructivista. Estas razones son las siguientes: observamos que en la lgica difusa se concibe la transferencia del dominio lingstico al numrico y viceversa dentro de un procedimiento rectificable, pero enmarcado en un formalismo que no toma en cuenta una necesaria y permanente rectificacin y actualizacin de dichos procesos. No se tiene presente el aprendizaje necesario para ello. Por otro lado, se deja a un lado las implicaciones valorativas que tiene la construccin de dicha funcin. Implcitamente y por definicin se asocia el valor mximo a uno y el mnimo a cero pero no se considera necesariamente que el ms deseable o el mejor sea uno de ellos y que en los valores intermedios se mantenga un gradiente axiolgico. La forma comn de las funciones de pertenencia son triangulares y trapezoidales y el espacio de fase derivado no queda claramente delimitado no visualizado para su constructor. El lgebra entre las funciones de pertenencia asume una formalidad matemtica en sus integraciones ya como uniones o intersecciones, o como centroides que si bien no son lineales, se derivan de criterios de ponderacin de los que se puede derivar implcitamente un gradiente de matices, pero que difcilmente permiten al constructor y sobre todo a constructores no matemticos matizarlos de acuerdo a una dimensionalidad ms especfica y explcitamente asociada a significados.

A partir de estas observaciones proponemos otra forma de construccin de la funcin de conversin, denominada funcin de interfase porque ms que establecer una pertenencia o membresa del dominio numrico al dominio lingstico, lo que hace es condensar / evaporar y no reificar- formas de energa simblica: de enunciados en permanente actualizacin a enunciados representados numricamente mediante un proceso anlogo a la condensacin o cristalizacin, y de enunciados simblicamente representados en nmeros que se destilan en un nuevo proceso de evaporacin, en enunciados lingsticos. Respecto a las cuatro caractersticas que es necesario desarrollar durante el proceso de construccin de las funciones de interfase, tenemos:

La funcin de interfase, por definicin se construye dentro de una permanente rectificacin incluso los valores mximos y mnimos que se hace asntota cuando la estabilidad del constructor social lo permite. La funcin de interfase parte de que el valor de uno est asociado al valor ms deseado respecto al sistema al que pertenece y el valor de cero no necesariamente es el valor menos deseado sino que puede ser la ausencia o nulidad de valor. Todos los enunciados intermedios asumen un valor intermedio entre ambas cotas. La seleccin de un enunciado lingstico a un valor numrico establece una relacin de implicacin, de tal manera que la distincin de valores numricos en una funcin de interfase implica en ellos diferentes significados. La forma de la funcin de interfase se deriva de la correspondencia que el constructor de la funcin establece entre los enunciados lingsticos y su correspondiente valor numrico. Estos valores se construyen a partir de un modelo de correspondencia en una dimensin o en dos o ms dimensiones. Cada dimensin corresponde a un nivel de significado en los enunciados. La forma polinomial es la ms clara para la funcin de interfase. Las formas de ms dimensiones se derivan de arreglos matriciales en dos o ms dimensiones. Estas asociaciones permiten construir enunciados con significados ms precisos, por ejemplo que distingan significados respecto al espacio segunda dimensin en el que se emiten y/o en el momento (tiempo) como tercera dimensin. El lgebra entre las funciones de interfase se deriva de la dinmica de operacin de las redes neuronales artificiales y de los sistemas expertos. Los procesos de integracin pueden ser por ponderacin elemental o se llevar a cabo dentro de una dinmica de ponderaciones a travs de pesos y pueden ser tan complicadas como los procesos entre una y otra etapa o fase de transformacin en un sistema. Las formas de diferenciacin equivalentes a la desborrosificacin o defusificacin se llevan a cabo mediante estrategias derivadas de los Sistemas Expertos. Los significados generados por las integraciones o diferenciaciones, tienen que ser derivados necesariamente de los significados implcitos en los procesos anteriores que pueden ser derivados de las funciones de interfase o de otras integraciones. En todos los casos, esta derivacin se puede establecer en forma automtica10 reto maysculo o a partir de nuevas asignaciones de significados que d el constructor de la funcin de integracin o diferenciacin.

Las formas de integracin aludidas, las hemos denominado como Funciones de integracin heterognea y las describiremos ms adelante en el apartado de Redes Neuronales Artificiales, y formas de diferenciacin (equivalentes a la desborrosificacin), las hemos denominado como Funciones de diferenciacin homognea y son descritas en el apartado de Sistemas Expertos. Dentro del captulo quinto, en donde se describe el modelo adaptativo, definimos con mayor precisin ambas funciones.

Formas de las funciones de interfase

10

Este reto implica una mayor reflexin sobre la construccin de significados y un largo proceso de aproximacin a resultados que en primera instancia estaran avalados por el constructor de dichas funciones, y en una mejor instancia consensados por un equipo de investigacin. El desarrollo de estas posibilidades queda fuera de los alcances de este trabajo y se indica como futuro desarrollo.

En la figura 3.6 mostramos una manera diferente de representar la funcin de pertenencia y que facilita la adaptacin a la perspectiva sociolgica. La grfica que se encuentra en la parte superior derecha de dicha figura representa dos formas de diferenciar posibles valoraciones sobre los matices relacionados a la juventud, una es lineal y la otra es una de las mltiples formas de representacin no lineal, esto es, de acuerdo a la forma particular del constructor de la funcin. En la parte inferior se establece la correspondencia entre la tabla, a partir de la cual se construye dicha funcin y su representacin grfica.

La funcin de pertenencia a que se ha hecho mencin est construida bajo una correspondencia de un dominio y un codominio, que en ambos casos tienen asociada una dimensin. Esto permite ser fcil e intuitivamente visualizada en un sistema de coordenadas cartesianas de dos dimensiones. Sin embargo si atendemos a la necesidad de enriquecer la dimensionalidad de los enunciados lingsticos es posible asociar dos o ms dimensiones a los enunciados para incrementar el nmero de significados que puede tener. Para cada nuevo significado del enunciado se podr asociar un nuevo nmero derivado de las dimensiones establecidas. En la figura 3.7 se muestra la matriz que permite construir una funcin de interfase para un conjunto de etiquetas lingsticas bajo dos perspectivas, dimensiones o bajo dos niveles de implicacin. Por un lado los significados establecidos ya en el primer ejemplo y por otro lado, una nueva dimensin que arroja nuevas implicaciones a dicho concepto, en este caso es bajo la dimensin espacial (en casa, en la escuela y en el extranjero).

En la matriz de posibilidades se tiene ahora una zona de valores numricos que son factibles de usar dentro de la funcin de interfase y en consecuencia sujetas procesos de inferencia. Se puede apreciar que el nmero de implicaciones que es necesario construir por ahora en dos dimensiones no es ya trivial si partimos de al menos diez matices valores / etiquetas lingsticas en cada dimensin. En un sistema de tres dimensiones (ver figura 3.8) podemos asociar a cada significado asociado a una palabra / variable / concepto, la dimensin espacial y la temporal, de tal manera que la funcin de interfase distinga significados de una palabra en funcin de los tiempos y espacios de nuestro sistema en construccin. En dicho campo (de significados, de valores numricos como vectores, como matrices e incluso como tensores), la densidad de elementos de esta funcin se acerca ms a las formas de modelos tridimensionales que permitiran acercarnos a las disposiciones que tienen las neuronas en el cerebro. Si bien las representaciones de este ejemplo permiten visualizar las potencialidades de las matemticas para construir la funcin de interfase, es posible imaginar que dichas posibilidades siempre tendrn tanto que ofrecer como las posibilidades reales del sujeto constructor tiene de sus

significados. Por ello, los lmites de construccin matemtica no estn en funcin de las limitaciones matemticas sino de las capacidades de construccin del constructor.

Informacin de la Tesis sobre Sistemas adaptativos para el anlisis social: una aproximacin desde la Sociociberntica de Jos A. Amozurrutia, junio del 07.