Conjunto clsico y conjunto borroso

En el apartado anterior hemos utilizado los trminos conjunto y subconjunto, refirindonos

a una coleccin de elementos que tienen una determinada caracterstica. Por otra parte, el
estudio de los predicados clsicos y borrosos nos permitir hablar de conjuntos borrosos o
fuzzy. El estudio de los mismos ser el objetivo de la presente seccin.
Un conjunto clsico es una coleccin de elementos. Por ejemplo, puede ser el conjunto de
elementos que verifican un predicado ntido. Dado un subconjunto clsico A de X, se le
puede asociar su funcin caracterstica.
A: X {0,1}, dada por

A(x) =

1,
0,

si x pertenece A
si x no pertenece A

es decir, A(x) = 1 si el grado en que x pertenece a A es 1 y A(x) = 0, si el grado en que x

pertenece a A es 0.

Ejemplo
Sea el conjunto de estudiantes {Luca, scar, Marcos, Roberto, Marta, Almudena, Aurora,
Pedro}, el predicado P = "no ser de Madrid" y la siguiente tabla en donde se recogen las
ciudades de origen de cada uno de ellos:
Nombre

Ciudad de origen

Luca

Segovia

scar

Mstoles-Madrid

Marcos

Legans-Madrid

Roberto

Crdoba

Marta

Ciudad Real

Almudena

Madrid

Aurora

Lugo

Pedro

Alcobendas-Madrid

Expresamos el subconjunto de los estudiantes que provienen de otras ciudades

siguiente forma:

de la

= {Luca, Roberto, Marta, Aurora}

La funcin de pertenencia de P o funcin caracterstica tendr los siguientes valores:

P(Luca) = 1;
P(Marcos) = 0;
P(Marta) = 1;
P(Aurora) = 1;

P(scar) = 0;
P(Roberto) = 1;
P(Almudena) = 0;
P(Pedro) = 0;

Se muestran ms ejemplos de conjuntos clsicos.

Las operaciones entre conjuntos clsicos y sus propiedades aparecen en el anexo I.
Los conjuntos borrosos son aqullos cuyos elementos no tienen por qu pertenecer (grado
de pertenencia 1) o no pertenecer (grado de pertenencia 0), sino que pertenecen segn un
cierto grado entre 0 y 1.

Ejemplo
Dado el universo X=[1,100] y los predicados A="nmero grande" y B="mayor de 70"
podemos decir que, para el predicado B, tenemos dos subconjuntos diferenciados:
1. B = {x perteneciente a X | x > 70}
2. B = {x perteneciente a X | x 70}
El problema aparece cuando intentamos obtener dos subconjuntos del predicado A,
1. A={x perteneciente a X| "x es grande" es verdadera}
2. A={x perteneciente a X| "x es grande" es falsa}
ya que si tenemos un x perteneciente a A (por ejemplo, x=100), entonces existe un > 0 tal
que x- tambin es grande. De la misma forma (x-) - = x-2 tambin es grande.
Repitiendo el razonamiento sucesivas veces, llegaremos a que todos los nmeros en [1,100]
son grandes, lo que contradice nuestra intuicin. Por lo tanto, los conjuntos clsicos no son
vlidos para trabajar con predicados borrosos.
Por tanto, para un predicado borroso no se puede obtener de forma precisa el conjunto de
los elementos que lo verifican, sino que cada elemento verifica dicho predicado en un cierto
grado. De esta forma todo conjunto borroso A en el universo X tiene asociada una funcin
de pertenencia A:X [0,1] que a cada elememto de X le hace corresponder el grado en
que verifica dicha propiedad.

Existen varias formas de representar los conjuntos borrosos; en este tutorial se utilizarn las
dos ms usuales.

Mediante la notacin valor/elemento dentro de un conjunto de elementos.

Determinando la funcin de pertenencia.

Ejemplo
Dado el universo de personas X={p1, p2, p3, p4, p5} y el predicado B="bueno", el
subconjunto = {personas buenas} puede venir definido por:
= {0.5/p1, 0.9/p2, 0.2/p3, 0.4/p4, 0.6/p5 }
o mediante la funcin de pertenencia con los siguientes valores:
B(p1) = 0.5; B(p2) = 0.9;
B(p3) = 0.2; B(p4) = 0.7;
B(p5) = 0.6;
Por ejemplo, la persona p1 es buena con un grado 0.5 mientras que la persona p3 lo es con
grado 0.2.
http://ateismoparacristianos.blogspot.com/2010/01/evolucion-teorias-y-leyescientificas.html