LGICA DIFUSA

Conjuntos clsicos y conjuntos

difusos.
Operaciones Fundamentales.
Operadores y propiedades de
conjuntos difusos.
Funciones de Membresa.
Variables Lingusticas.
Conjuntos Clsicos:
Conjunto Clsico:
Un conjunto clsico es una coleccin de elementos, que
verifican su pertenencia segn un determinado criterio.
Ejemplo.
A = {x| x<10; x es par}
A = {2,4,6,8}

A
2
4
6
8
U
Ejemplos de Conjuntos Clsicos:
Si se quisiera representar dentro de la teora de
conjuntos clsicos, el conjunto de familias con
ingresos anuales altos.
Se propone un umbral: $ 80,000.00,
Familias con un ingreso de $ 79,999.00;
(no pertenecen al conjunto de familias con ingresos
anuales altos)

Estos conjuntos tienen fronteras bien definidas.
Ej. el conjunto de estudiante de nivel secundario.

Muchos otros no tienen fronteras bien definidas
Ej. el conjunto de escuelas con buenos alumnos
egresados. (limitacin de los conjuntos clsicos)
Operaciones en conjuntos clsicos:
{ }
{ }
{ }
{ } B x y A x x B A DIFERENCIA
X x A x x A O COMPLEMENT
B x y A x x B A N INTERSECCI
B x o A x x B A UNION
e e =
e e =
e e =
e e =
,
Ejemplos:
Conjuntos clsicos:
Si A y B son dos conjuntos de percepciones anuales
por persona definidos por:



Donde U es el universo de discurso [0,1000]. Se
tiene que:
{ }
{ } U x x x B
U x x x A
e s s =
e s s =
, 120 50
, 200 100
{ }
{ }
{ } 1000 200 100 0
, 200 50
, 120 100
s < < s =
e s s =
e s s =
x x x A
U x x x B A
U x x x B A
C
Conjuntos Difusos:
Son aquellos cuyos elementos no tienen por que
pertenecer (grado de pertenencia 1) o no pertenecer
(grado de pertenencia 0), sino que pertenecen segn
un cierto grado entre 0 y 1, donde el grado esta dado
por la funcin de pertenencia del conjunto.
Grado de
Pertenencia
entre 0 y 1
(0 y 100%)
Altura (cm)
Hombres Altos
Hombre que
mide 175 cm,
pertenece 33% al
conjunto de
Hombres Altos
La teora de conjuntos difusos al permitir que la
membresa sea graduada en un conjunto da
solucin a las limitacin que se presenta en la
teora de conjuntos clsica.
Un conjunto difuso se define como una funcin que
proyecta objetos de un dominio de conceptos
(denominado Universo de Discurso) a sus valores
de membresa en el conjunto.
Dicha funcin se define como Funcin de
Membresa y es denotada por el smbolo Griego
.
Ejemplo de conjuntos difusos:
Representacin de Familias de ingresos-altos.
80,000 $ 120,000 $
Ingresos al ao
Alto

1
El conjunto difuso es asociado a un trmino lingstico
Ejemplo de Conjunto Difuso
Mientras que la teora de conjuntos tradicional, define ser
miembro de un conjunto, la teora de conjuntos difusos
permite representar el ser miembro de un conjunto como
una distribucin de posibilidades.
Lgica Booleana vs Lgica Difusa
Lgica Difusa:
La tcnica esencial de la lgica difusa se basa en cuatro
conceptos fundamentales:

1) Conjuntos difusos: conjuntos con fronteras uniformes o
suaves.

2) Variables lingsticas: variables cuyos valores son
descritos cualitativamente y cuantitativamente por un
conjunto difuso.

3) Distribuciones de posibilidad: restricciones impuestas
en el valor de una variable lingstica al asignarle un
conjunto difuso.

4) Reglas difusas si-entonces: un esquema de
representacin del conocimiento para describir una
proyeccin funcional o una frmula lgica que generaliza
una implicacin en la lgica de dos valores.

Los tres primeros conceptos son fundamentales
en todas las sub-reas de la lgica difusa.

Tambin, el cuarto concepto es importante
debido a que es la base de la mayora de las
aplicaciones industriales de la lgica difusa
desarrolladas hasta hoy, lo cual incluye muchos
sistemas de control lgico difuso.
Trminos lingsticos:
Asociar un conjunto difuso a un trmino lingstico
ofrece dos beneficios importantes:
1. La asociacin hace ms fcil que un operador
experto exprese su conocimiento usando
trminos lingsticos.
2. El conocimiento expresado en trminos
lingsticos es ms fcil de comprender.

Estos beneficios resultan en un ahorro significante
en el costo del diseo, la modificacin, y el
mantenimiento de un sistema lgico difuso.
Operaciones bsicas en conjuntos difusos:
Entonces un conjunto difuso A de U ser
un conjunto de parejas:
A = {x,
A
(x)},

Si se considera el siguiente conjunto difuso
finito:
A = 0.2/x
1
, 0/ x
2
, 0.3/x
3
, 1/ x
4
, 0.8/x
5.
xeX.

X x e
Considerando que x
i
es un elemento del
soporte del conjunto difuso A y que
i
es su
grado de membresa en A.
A =
A
(x
1
) / x
1
+
A
(x
2
) / x
2
+....+
A
(x
n
) / x
n.

Donde.
El smbolo / Se emplea para unir los elementos del
soporte con sus grados de membresa en A, y.
El smbolo + Indica que los pares de elementos y
grados de membresa listados forman colectivamente
la definicin del conjunto A, en vez de cualquier tipo
de suma algebraica.
Conjunto difuso: universo de discurso finito
y no-finito
( ) ( ) ( )
A
x
x
x
x
x
x
A A A i
i
i
n
= + +

)
=

1
1
2
2
1

( )
A
x
x
A
U
=

`
)
}

La integral y la sumatoria indican la unin de

elementos dentro de un conjunto difuso A.
Conjunto
Difuso
discreto
Conjunto Difuso contnuo
Operaciones Lgicas Difusas:
Un operador comn de conjuncin difusa
(AND) es el operador mnimo. Con
frecuencia la interseccin difusa se define
como:

AB
(x)= min{
A
(x),
B
(x)}

Interseccin: En conjuntos difusos es
el grado de membresa que dos
conjuntos comparten. Una interseccin
difusa es el menor de la membresa de
cada elemento en ambos conjuntos.
Por ejemplo:
Se puede definir un conjunto difuso A de los nmeros
reales muy cercanos a 8, y
B como el conjunto difuso de los nmeros reales muy
cercanos a 15. Entonces,
A B se definira como el conjunto difuso de los
nmeros reales muy cercanos a 8 y a 15.
Tomando en cuenta la ecuacin:



A = (1 0.8 0.4 0.5) y B = (0.9 0.4 0.0 0.7)


AB
(x) = (0.9 0.4 0.0 0.5).
( ) ( ) ( ) ( ) ( ) ( ) x x x x x
B A B A B A
, min = . =

Representacin de la Interseccin difusa o

conjuncin difusa.


1
Temperatura
A B

BajaMedia

Operaciones Lgicas Difusas:
Un operador comn de disyuncin difusa
(OR) es el operador mximo. Por lo tanto,
con frecuencia la unin difusa se define
como:

AB
(x)= max{
A
(x),
B
(x)}

La unin (o disyuncin) difusa, representa al
conjunto difuso ms pequeo que contiene a
A y que contiene a B. El operador mximo,
toma como valor verdadero el valor mximo
de la funcin de membresa del elemento x
en A y B.

Ejemplo:
Se puede definir al conjunto difuso A de los
nmeros reales muy cercanos a 8, y
B como el conjunto difuso de los nmeros
reales muy cercanos a 15.
Tomando en cuenta la ecuacin.


A = (1 0.8 0.4 0.5) y B = (0.9 0.4 0.0 0.7)


AB
(x) = (1 0.8 0.4 0.7).
( ) ( ) ( ) ( ) ( ) ( ) x x x x x
B A B A B A
, max = v =

Representacin de la Unin difusa o

disyuncin difusa.
Temperatura

BajaMedia

A B


1
Operaciones Lgicas Difusas
El complemento de un conjunto difuso A se define por la
diferencia entre uno y el grado de membresa en A:

A
c (x)= 1-
A
(x)

Complemento (negacin difusa): El complemento de un
conjunto difuso es la cantidad que la membresa necesita
para alcanzar 1. Sea U un conjunto cualquiera y M =
[0,1], su conjunto asociado de membresa. Si se considera
a un conjunto difuso AeU, entonces el complemento de A
ser:


Evidentemente, se cumple que:
(A) = A
( ) ( ) U x x x
A A
e = , 1
Representacin del complemento de un
conjunto difuso negacin difusa

Medio

Medio


1
Temperatura
Operaciones entre Conjuntos Difusos:
Es posible considerar que el empleo de estas
operaciones de lgica difusa afecta
directamente el grado de pertenencia de los
elementos que conforman el conjunto difuso,
por lo que se tendra descripciones diferentes
al emplear estos operadores.
Dichas descripciones permiten realizar un
mapeo entre los valores ntidos y los valores
difusos.
Algunas operaciones son el resultado de
operaciones con dos o ms conjuntos, como
es el caso del producto del conjunto difuso.
Operaciones entre Conjuntos Difusos:
Producto de dos conjuntos difusos


Potencia de un conjunto difuso

Donde:
: Nmero real positivo

: Conjunto difuso nuevo

Concentracin

( ) ( ) ( ) x x x
B A B A
~ ~ ~
.
~ . =
( ) ( )
o

o
] [ ~
~
x x
A
A
=
( ) ( ) ( )
2
~
)
~
(
x x
A A CONT
=
Operaciones entre Conjuntos Difusos:
Concentracin
Esta operacin es equivalente al trmino lingistico muy
(very) que modifica la caracterstica de un funcin de
pertenencia o membresa, concentrando los valores de la
misma, como se aprecia en el ejemplo:


Operaciones entre Conjuntos Difusos:
Dilatacin


Equivale a la expresin lingstica de mas o menos
(more or less), modificando los parmetros de la funcin
segn se muestra en el grfico:


( ) ( ) ( ) ( )
2 / 1
~ ~
)
~
(
x x x
A A A DIL
= =
Operaciones entre Conjuntos Difusos:
Intensificacin de contraste
Incrementa la funcin de membresa donde los valores
sean mayores a 0.5 y la disminuye para valores menores
a 0.5



En la sgte figura se presenta el efecto de dicha operacin;
cabe destacar que el punto de variacin se fija en 0.5.
Pero, puede tener varias opciones de seleccin para
diferentes puntos.
( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) 1 5 . 0 1 2 1
5 . 0 0 2
~
2
~
)
~
(
~
2
~
)
~
(
s s =
s s =
x para x x
x para x x
A A A INT
A A A INT


Operaciones entre Conjuntos Difusos:
Intensificacin de contraste
Operaciones entre Conjuntos Difusos:
Corte alfa
El corte alfa se define como un conjunto ntido o difuso
que contiene a los elementos del conjunto que tengan
un valor de membresa mayor o igual al valor escalar de
la constante alfa; esta constante se define entre los
valores de 0 a 1. En donde la constante alfa define el
valor de referencia, valor de membresa alfa, para decidir
cules son los elementos que pertenecen o no a dicho
conjunto.
A
~
( ) ( ) o
o
> e = x X x x
A
~ | {
Operaciones entre Conjuntos Difusos:
Corte alfa
Ejemplo:
Encontrar el corte alfa para el siguiente conjunto difuso,
tomando alfa=0.5
Propiedades de los Conjuntos Difusos:
Doble negacin:
Idempotencia:

Conmutatividad:
Asociacin:
Absorcin:
Leyes de De Morgan:

A A
~ ~
=
A A A
A A A
~ ~ ~
~ ~ ~
=
=
A B B A
~ ~ ~ ~
=
)
~ ~
(
~ ~
)
~ ~
( C B A C B A =
A B A A
~
)
~ ~
(
~
=
B A B A
B A B A
~ ~ ~ ~
~ ~ ~ ~
=
=