Tutorial de Introduccin de Lgica Borrosa

4. Operaciones con conjuntos borrosos

En este apartado se presentan algunos modelos matemticos para realizar las operaciones de interseccin, unin y complemento de los conjuntos borrosos.

4.1 Extensin de las operaciones clsicas

De la misma manera que se realizan operaciones con los conjuntos clsicos, se definen operaciones para los conjuntos borrosos. Para estas definiciones, inicialmente nos basaremos en las operaciones con conjuntos clsicos que se pueden ver en el anexo I.

Interseccin de conjuntos
El primer problema que nos planteamos es la obtencin de la interseccin de dos conjuntos borrosos. Para ello, vemos qu ocurre en el caso clsico. Dados dos subconjuntos clsicos P y Q del universo X, un elemento x pertenece a la interseccin PQ, si y slo si x pertenece a P y x pertenece a Q. Tomando las respectivas funciones caractersticas como: 1, si x pertenece a P 0, si x no pertenece a P 1, si x pertenece a Q 0, si x no pertenece a Q

P(x) =

Q(x) =

La funcin caracterstica de la interseccin quedar:

PQ(x) =

1, si P(x) = 1 y Q(x) = 1 0, en otro caso

O lo que es lo mismo,

 PQ(x) = Min (P(x),Q(x)) Sin embargo, en el caso de los conjuntos borrosos, la definicin del conjunto interseccin no es tan trivial. Dadas las funciones de pertenencia P: X [0,1] y Q:X [0,1], la pregunta es: si un elemento pertenece a P en un cierto grado entre 0 y 1 (P(x)), y a Q en otro grado entre 0 y 1 (Q(x)), en qu grado pertenecer a PQ? Es decir, qu valor tomar PQ(x) ? Tomando como modelo el caso clsico, una primera forma de definir la interseccin de dos conjuntos borrosos es: PQ(x) = Min(P(x),Q(x))

Unin de conjuntos
En el caso de los conjuntos clsicos, dados dos subconjuntos P y Q del universo X, un elemento x pertenece a la unin de PUQ, si y slo si x pertenece a P x pertenece a Q. Dadas las respectivas funciones caractersticas: 1, si x pertenece a P 0, si x no pertenece a P 1, si x pertenece a Q 0, si x no pertenece a Q

P(x) =

Q(x) =

La funcin caracterstica de la unin ser:

PUQ(x) =

1, si P(x) = 1 Q(x) = 1 0, en otro caso

O lo que es lo mismo, P U Q(x) = Max (P(x),Q(x)) Igual que en el caso de la interseccin de conjuntos borrosos la definicin de la unin de dos conjuntos no es trivial.

Teniendo las funciones de pertenencia P: X [0,1] y Q:X [0,1], y sabiendo que un elemento pertenece a P en un cierto grado 0 y 1 (P (x)), y que pertenece a Q en otro grado (Q (x)), en qu grado pertenecer a PUQ? qu valor tomar P U Q(x) ? Fijndonos en el modelo del conjunto clsico, definimos la unin de dos conjuntos borrosos como: PUQ(x) = Max(P(x),Q(x))

Complemento de un conjunto
Para finalizar, veamos qu ocurre en el caso de los conjuntos clsicos cuando tenemos que realizar la operacin del complemento de un conjunto. Dado el subconjunto clsico P del universo X, un elemento x pertenece al complemento Pc, si y slo si dicho elemento x no pertenece a P. La funcin caracterstica est definida mediante: 0, si P(x) = 1 1, si P(x) = 0

Pc (x) =

El complemento de un conjunto borroso no es una operacin tan claramente definida como en el caso clsico. Dada la funcin de pertenencia P: X [0,1], si un elemento pertenece a P en un cierto grado entre 0 y 1 (P (x)), en qu grado pertenece a Pc? cul es el valor de Pc (x) ? Realizando una semejanza con los conjuntos clsicos se podra definir el complemento de un conjunto borroso P, mediante la funcin de pertenencia: Pc(x) = 1 - P(x) Para poner en prctica los conocimientos adquiridos con la teora anteriormente expuesta, se presentan a continuacin algunos ejercicios donde se realizan las operaciones definidas en los conjuntos borrosos.

Se puede empezar con un ejercicio sencillo en el que seleccionando algunos de los conjuntos discretos dados, se pueden realizar las diferentes operaciones. Ahora vamos a poder realizar operaciones con conjuntos borrosos en un universo continuo. Para ello, recordamos que existen varios tipos de funciones de pertenencia, pero como las ms utilizadas son las trapezoidales y las triangulares, nos limitaremos a trabajar con ellas. En los diferentes ejercicios se podrn dibujar mediante la introduccin de parmetros diferentes formas trapezoidales y triangulares, para despus realizar las distintas operaciones. Ejercicio para dibujar una funcin de pertenencia trapezoidal y obtener su complemento. Ejercicio para dibujar una funcin de pertenencia triangular y obtener su complemento. Ejercicio para realizar operaciones de unin, interseccin y complemento entre conjuntos borrosos con funciones de pertenencia trapezoidal. Ejercicio para realizar operaciones de unin, interseccin y complemento entre conjuntos borrosos con funciones de pertenencia triangular. Ejercicio para realizar operaciones de unin, interseccin y complemento entre conjuntos borrosos con funciones de pertenecia trapezoidal y triangular.

Operaciones entre conjuntos borrosos

Las operaciones bsicas de los conjuntos difusos son:

Contencin o subconjunto: A es un subconjunto de B si y solo si la funcin de pertenencia de A es menor que la de B para todo x

Unin: La unin de los conjuntos difusos A y B es el conjunto difuso C, y se escribe como , su funcin de dependencia est dada por:

Interseccin: La interseccin de los conjuntos difusos A y B es el conjunto difuso C, y se escribe como , su funcin de dependencia est dada por:

Complemento (negacin): El complemento del conjunto difuso A, denotado por

, se define como:

Producto Cartesiano: Si A y B son conjuntos difusos en X e Y, el producto cartesiano de los conjuntos A y B es A x B en el espacio de X x Y y su funcin de pertenencia es:

Co-producto Cartesiano El conjunto borroso A + B en el espacio X x Y tiene como funcin de pertenencia

OPERACIONES ENTRE CONJUNTOS DIFUSOS De manera similar a la que entre los conjuntos clsicos se realizan operaciones entre ellos, en conjuntos difusos se puede hacer lo mismo, pero debido a la naturaleza diferente de ellos la formulacin de estas operaciones es algo especial. En la figura 3, se muestran dos conjuntos difusos los cuales nos serviran para definir las operaciones fundamentales que entre ellos se pueden realizar.

Figura No. 3 Conjuntos difusos entre los se definirn las operaciones Interseccin. La idea intuitiva de interseccin herededa de los conjuntos clsicos expresa que el conjunto interseccin de dos conjuntos A y B, se define como los elementos que estan en el conjunto A Y en el conjunto B; de esta manera la interseccin entre conjuntos se puede entender como el una operacin tipo AND entre los mismos. Siguiendo esta idea, se podria graficar la interseccin de los conjuntos difusos mostrados en la figura 3.

Figura No. 4 Interseccion entre dos conjuntos difusos

De manera similar a como se define el nivel de pertenencia a un conjuntos difuso, vamos a encontrar el nivel de pertenencia de valor x= 4.5 a la interseccin de los dos conjuntos difusos mostrados.

Figura No. 5 Cual es el valor de pertencia de x=4.5 a la interseccion de los conjuntos difusos A y B Graficamente se que el valor x=4.5 tiene un nivel de pertenencia de 0.8 al conjunto A y de 0.2 al conjunto B, y el valor de pertenencia de x= 4.5 a la interseccion (zona sombreada) se desea expresar como una operacion entre estos valores se observa que de estos dos valores, el que "toca" la zona sombreada es el de 0.2 por lo que de manera intuitiva se puede afirmar que el valor de pertenencia del valor dado a la interseccion de los conjuntos A y B es el valor mnimo de los valores de pertenencia del dicho valor a los conjuntos de manera individual, de manera matemtica lo anterior se puede expresar asi:

Unin. La idea intuitiva de unin herededa de los conjuntos clasicos expresa que el conjunto unin de dos conjuntos A y B, se define como los elementos que estan en el conjunto A OR estan en el conjunto B. de esta manera la interseccin entre conjuntos se puede entender como el una operacion tipo OR entre los mismos. Siguiendo esta idea, se podra graficar la unin de los conjuntos difusos mostrados en la figura 3.

Figura No. 6 Union entre dos conjuntos difusos De manera similar a como se define el nivel de pertenencia a un conjuntos difuso, vamos a encontrar el nivel de pertenencia de valor x = 4.5 a la unin de los dos conjuntos difusos mostrados.

Figura No. 7 Cual es el valor de pertencia de x=4.5 a la union de los conjuntos difusos A y B Graficamente se que el valor x=4.5 tiene un nivel de pertenencia de 0.8 al conjunto A y de 0.2 al conjunto B, y el valor de pertenencia de x= 4.5 a la unin (zona sombreada) se desea expresar como una operacin entre estos valores se observa que de estos dos valores, el que "toca" la zona sombreada es el de 0.8 por lo que de manera intuitiva se puede afirmar que el valor de pertenencia del valor dado a la unin de los conjuntos A y B es el valor mximo de los valores de pertenencia de dicho valor a los conjuntos de manera individual, de manera matemtica lo anterior se puede expresar asi:

Complemento.

En conjuntos clsicos se define el complemento como el conjunto de los elementoque le faltan a un conjunto para ser igual al conjunto universo. De la misma manera en conjuntos difusos se habla del complemento como el conjunto formado por los valores de pertencias que le permitiran al conjunto obtener el valor mximo de pertenencia posible, siendo 1 el valor mximo de pertenencia que un conjunto difuso puede suministrar, este conjunto se podria formar restando le a 1 los valores de pertenencia del conjunto difuso al que se desea encontrar el complemento. Graficamente esto se visualiza asi:

Figura No. 8 Complemento de un conjunto difuso En la grafica anterior el conjunto complemento se ha dibujando con trazo negro. De manera similar a como se define el nivel de pertenencia a un conjuntos difuso, vamos a encontrar el nivel de pertenencia de valor x =6 al complemento del conjunto difusos A

Figura No. 9 Cual es el valor de pertencia de x=6 al complemento del conjunto difusos A En x=6 se observa que el valor de pertenencia al conjunto A es de 0.8, si pensamos en el complemento como lo que le falta a esta valor para alcanzar el maximo valor posible se que es 1 se tendria que el nivel del pertencia de x=6 al

complemento es de 0.2, el la grafica se puede verificar esta conclusion. Matematicamente esta operacion se expresa as: