L GICA D IFUSA (F UZZY L OGIC )

D EFINICIN
Lgica Difusa

Es una forma de lgica matemtica en el que la verdad pude tomar un valor de un rango continuo de valores en 0 y 1. Es una extensin de la lgica de dos valores, de tal manera que un enunciado no necesariamente es verdadero o falso, pero puede tener un grado de verdad en 0 y 1. Tales sistemas pueden ser extremadamente tiles en el diseo de lgica de control para sistemas del mundo real, como los elevadores.

E N QUE SITUACIONES ES
Lgica Difusa

TIL APLICAR LA LGICA DIFUSA ?

La lgica difusa se puede aplicar en procesos demasiado complejos, cuando no existe un modelo de solucin simple o un modelo matemtico preciso. Es til tambin cuando se necesite usar el conocimiento de un experto que utiliza conceptos ambiguos o imprecisos. De la misma manera se puede aplicar cuando ciertas partes de un sistema a controlar son desconocidas y no pueden medirse de forma confiable y cuando el ajuste de una variable puede producir el desajuste de otras.

C UANDO NO DEBEMOS USAR LA LGICA DIFUSA ?

Lgica Difusa

No es recomendable utilizar la lgica difusa cuando algn modelo matemtico ya soluciona eficientemente el problema, cuando los problemas son lineales o cuando no tienen solucin.

C ONJUNTOS D IFUSOS
Lgica Difusa

La necesidad de trabajar con conjuntos difusos surge del hecho que existen conceptos que no tienen limites claros. Un conjunto difuso se encuentra asociado por un valor lingstico que esta definido por una palabra, etiqueta lingstica o adjetivo. En los conjuntos difusos la funcin de pertenencia puede tomar valores del intervalo entre 0 y 1, y la transicin de valores entre cero y uno es gradual y no cambia de manera instantnea como pasa con los conjuntos bsicos.

T EORA DE CONJUNTOS
DIFUSOS
Lgica Difusa

La lgica difusa permite tratar con informacin que no es exacta o con un alto grado de imprecisin a diferencia de la lgica convencional la cual trabaja con informacin precisa. El problema principal surge de la poca capacidad de expresin de la lgica clsica.

T EORA DE CONJUNTOS
BORROSOS
Lgica Difusa

La mayora de las veces los conjuntos clsicos se definen mediante un predicado que da lugar a una perfecta biparticin del universo del discurso X. Sin embargo, el razonamiento humano utiliza frecuentemente predicados de los cuales no resulta una

biparticin del universo.

T EORA DE CONJUNTOS
BORROSOS
Lgica Difusa

As por ejemplo, en el universo del discurso X, el formado por todos los hombres de una ciudad se puede definir un subconjunto A como aquel que est formado por todos los hombres "altos".

El predicado utilizado para caracterizar a los elementos de este subconjunto no separa el universo X en dos partes bien diferenciadas; quines constituyen el subconjunto de hombres altos? las personas que miden ms de 1,80 metros? Se puede decir que una persona que mida un centmetro menos que ese umbral es baja?

T EORA DE CONJUNTOS
BORROSOS
Lgica Difusa

La forma adecuada de definir con claridad este tipo de problema es considerar que la pertenencia o no pertenencia de un elemento x al conjunto A no es absoluta si no gradual. El conjunto A constituye un conjunto borroso y su funcin de pertenencia asignar valores comprendidos en el intervalo cerrado [0,1] en vez de slo dos valores distintos, 0 y 1 que realizaba la funcin pertenencia de los conjuntos clsicos.

F UNCIONES DE PERTENENCIA
Lgica Difusa

Trapezoidal:

F UNCIONES DE PERTENENCIA
Lgica Difusa

Triangular

F UNCIONES DE PERTENENCIA
Lgica Difusa

E JEMPLO : FUNCIN DE
PERTENENCIA
Lgica Difusa

VARIABLES L INGSTICAS
Lgica Difusa

N ORMAS TRIANGULARES O T - NORMAS

Lgica Difusa

Para representar la interseccin de dos conjuntos borrosos. funciones del tipo T: *0,1+ x *0,1+ *0,1+

PQ(x) = T( P(x), Q(x) ), x X

Si queremos que la interseccin sea conmutativa, asociativa, que tenga por elemento neutro el conjunto X y sea montona creciente, se debe verificar:

N ORMAS TRIANGULARES O T - NORMAS

Lgica Difusa

Propiedades:

Conmutativa:

PQ(x) = QP(x), y por tanto,

T(P (x), Q (x)) = T(Q (x),P (x)) x

Asociativa: (PQ)R(x) = P(QR)(x), entonces, T(T(P (x), Q (x)),R (x)) = T(P (x), T(Q (x),R (x))) x

N ORMAS TRIANGULARES O T - NORMAS

Lgica Difusa

Elemento neutro el conjunto X: PX(x) = P(x) con lo que

T(P (x), X (x)) = T(P (x),1) = P (x) x, siendo el 1 el elemento neutro de T.

Montona creciente: Si P (x) Q (x) x y R (x) S (x) x,

entonces, P R (x) Q S (x) x. De esta forma, T(P (x), V (x)) T(Q (x),S (x)) por lo tanto, T ha de ser creciente

N ORMAS TRIANGULARES O T - NORMAS

Lgica Difusa
Por tanto buscamos las funciones T: *0,1+ x *0,1+ *0,1+ que cumplan las siguientes propiedades:

Conmutativa : T(x,y) = T(y,x) x, y [0,1]

Asociativa : T(x,T(y,z)) = T(T(x,y),z) x, y, z [0,1]

Elemento neutro : T(x,1) = x x [0,1]

Montona creciente :

Si x y entonces T(x,z) T(y,z)

x, y, z [0,1]

N ORMAS TRIANGULARES O T - NORMAS

Lgica Difusa Mnimo T(x,y) = Min (x,y), que es la mayor de las t-normas.

Producto Prod (x,y) = x y

Operacin de Lukasiewicz: W (x,y) = Max (0, x+y-1)

C ONORMAS TRIANGULARES O T - CONORMAS

Lgica Difusa

Se trata de representar la unin de dos conjuntos borrosos.

funciones del tipo S: *0,1+ x *0,1+ *0,1+

PUQ (x) = S(P(x),Q(x))

xX

Desde el punto de vista de las funciones de pertenencia se deben cumplir unas propiedades

P ROPIEDADES DE LAS T - CONORMAS

Lgica Difusa

Conmutativa: PUQ(x) = QUP(x), y por tanto, S(P (x), Q (x)) = S(Q (x),P (x)) x,

Asociativa: (PUQ)UR(x) = PU(QUR)(x), entonces, S(S(P (x), Q (x)),R (x)) = S(P (x), S(Q (x),R (x))) x, por lo que S ha de ser asociativa. Elemento neutro el conjunto : PU(x) = P(x) con lo que S(P (x), (x)) = S(P (x),0) = P (x) x, siendo el 0 el elemento neutro de S. Montona creciente: Si P (x) Q (x) x y R (x) S (x) x, entonces, P U R (x) Q U S (x) x. De esta forma, S(P (x), R (x)) S(Q (x),S (x)) por lo tanto, S ha de ser creciente.

P ROPIEDADES DE LAS T - CONORMAS

Lgica Difusa

Conmutativa S(x,y) = S(y,x) x, y [0,1]

Asociativa S(x,S(y,z)) = S(S(x,y),z) x, y, z [0,1]

Elemento neutro S(x,0) = x x [0,1]

-Mximo S(x,y) = Max(x,y) que es la menor de todas las tconormas -Suma-Producto: Sum-Prod(x,y) = x + y - x y

Montona creciente Si x y entonces S(x,z) S(y,z)

x, y, z [0,1]

N EGACIONES
Lgica Difusa

ESTRICTAS

Para representar el complemento o la negacin de un conjunto, funciones N: [0,1] [0,1],

Nos permita obtener la funcin de pertenencia del conjunto complementario

(x) = N(P (x)), x del universo.

N(x) = 1 - x, cuyo automorfismo viene dado por (x) = x. Esta negacin es las ms utilizada y se denomina negacin usual.

N(x) = (1 - x2) , donde (x) = x2

R ELACIN ENTRE
OPERACIONES
Lgica Difusa

A travs de las negaciones fuertes es posible relacionar las t-normas y las t-conormas. Dada una t-norma T y una negacin fuerte N, funcin SN: *0,1+ x *0,1+ *0,1+,

definida como: SN (x,y) = N( T (N(x), N(y) ) )

Es una t-conorma a la que denominaremos tconorma N-dual de T.
*Dada una t-conorma S y una negacin fuerte N, Funcin TN: *0,1+ x *0,1+ *0,1+, expresada como: TN (x,y) = N(S(N(x), N(y))) Es una t-norma a la que denominaremos t-norma N-dual de S

E JERCICIO : V IGILANCIA NIO

Lgica Difusa

La siguiente figura muestra la funcin de pertenencia u(x) que describe el conjunto borroso x es cerca (siendo el dominio de la distancia el rango real [0-15] metros).

Cerca

DISTANCIA

m
0 4 5 15

S OLUCIN : V IGILANCIA NIO

Lgica Difusa

A partir del conjunto anterior obtener la funcin de pertenencia u(x) para el conjunto borroso x es lejos (siendo lejos el antnimo de cerca). Expresarla grficamente. Alguien cerca(C) o lejos (L). Se supondr un nio esta lejos si pasa los 5 m caso contrario esta cerca. Obtenemos el complemento de Cerca: Ulejos(x) = Ucerca (15-x) Ulejos (x)=10 metros

Lejos 1

Lejos
0 10 1 1

S OLUCIN : V IGILANCIA NIO

Lgica Difusa

Demostrar que la t-conorma dual del prodcuto

( Prod(x,y)=x*y ) es Prod*(x,y) = x + y - x*y.

Si es necesario, tomar como negacin N(x)=

1 - x.

Si T es una t-noma y N es una negacin fuerte entonces T*(r,s) = N(T(N(r ) , N(s))) es una Tconorma que se denomina t-conorma dual de T. En el caso de Prod. Prod*(x,y) N(Prod(N(x),N(y))) = 1 - Prod(1 - x, 1 - y) = 1 - (1 - x)*(1 - y) = 1 - (1 x y + x*y) = x + y - x*y

S OLUCIN : V IGILANCIA NIO

Lgica Difusa

Calcula el grado de VERDAD de las siguientes expresiones :

4.5m no es muy cerca o 10.7m es lejos .

Utilizando la t-norma / t-conorma del Producto.

Datos:
P1= 4.5m no es muy cerca P2= 10.7 es lejos Uc(4.5)=0.5

Up1 = = = = =

Unomuyc(4.5) 1-Umuc(4.5) 1-Uc(4.5)^2 1-0.52^2 1-0.25 = 0.75

S OLUCIN : V IGILANCIA NIO

Lgica Difusa

La disyuncin se obtiene aplicando la t-conorma Prod*: Up1 U P2 = Prod(Unomuyc(4.5),U(10.7) = 0.75 + 0.7 - 0.75 *0.7 = 0.925

S OLUCIN : V IGILANCIA NIO

Lgica Difusa

Supngase la siguiente regla de razonamiento: si un nio est cerca, el nivel de atencin que hay que tener es bajo. El nivel de atencin se mide en una escala de 0 a 10, cuyos valores cualitativos y sus conjuntos borrosos se muestran en la figura. Supngase que un nio se encuentra a 4.5m del padre, obtener el conjunto borroso(no desborrisificar) que describe el nivel de atencin que debe tener el padre aportado por la regla anterior. En la inferencia se deber utilizar la implicacin de Mandani.

S OLUCIN : V IGILANCIA NIO

Lgica Difusa

Calculamos el nivel de Ajuste(NA) de la regla con el valor dado. Al ser un valor nitido, el NA es el grado de pertenencia al conjunto borroso: NA = Uc(4.5) = 0.5 Se Obtiene el Conjunto borroso resultado como el min(NA, Atencion = bajo).

S OLUCIN : V IGILANCIA NIO

Lgica Difusa Si un nio esta cerca, el nivel de atencin es Bajo ? Cerca 1 Lejos 0 4 5 15

Bajo 1

Medio

Alto

1 0