Tema1 FundamentosdelaLgicaDifusa

M.enC.YeseniaE.GonzlezNavarro UPIITAIPN

TeoradeConjuntosClsicoso Certeros
ParalosconjuntoscerterosAyBquecontienenelementoseneluniversoX, sedefinelasiguientenotacin: se define la siguiente notacin:

x X

elementoxquepertenecealuniversoX elementoxquepertenecealconjuntoA q p j elementoxquenopertenecealconjuntoA AestcompletamentecontenidaenB A t l t t t id B (six A,entoncesx B) AestcontenidaenoesequivalenteaB

x A
x A
A B

A B

A= B

B A

y B A

Operaciones con Conjuntos Certeros OperacionesconConjuntosCerteros

Unin A A Interseccin

X
A B = x | x A o x B

B
A B = x | x A y x B

Complemento Diferencia(A|B) A A

X
A = {x | x A, x X }

B
AB = x | x A y xB

Propiedades de los Conjuntos Certeros PropiedadesdelosConjuntosCerteros

Conmutativa

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

Asociativa

A (B C) = (A B) C

Distributiva

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

Idempotencia

A A = A A A = A

Identidad

A = A A X = A A = A X = X

Transitiva Involutiva

Si

A B C ,entonces A C

A= A
A A = X
A A =

LeydelMedioExcluido LeydelaContradiccin

LeyesdeDMorgan A B = A B
A B = A B

TransformacindeConjuntos ClsicosaFunciones

FuncionesdeMembresapara ConjuntosCerteros
Una mejor representacin para la manipulacin matemtica de los conjuntos tericos se logra al convertir estos conjuntos a funciones. Sea la funcin caracterstica

A ( x) =

1, x A 0, x A

donde A expresa membresa en el conjunto A para el elemento x en el universo.

1 A

Operaciones
Sean los conjuntos A y B definidos en el universo X. A continuacin se describen las operaciones de estos conjuntos en trminos de funciones: Unin
1 A B

A B A B ( x) = A ( x) B ( x) = max( A ( x), B ( x) )
1 A B

Interseccin

A B A B ( x) = A ( x) B ( x) = min ( A ( x), B ( x) )

1 A B

1 A B

Complemento Complemento
1 A

A A ( x) = 1 A ( x)
1 A

Diferencia
1 A

A | B = min( A ( x) B ( x)) ),
B 1 A B

TeoradeConjuntosDifusos Teora de Conjuntos Difusos

ConsideracionesImportantes Consideraciones Importantes

1. 2. 3. 4. 5. Un conjunto difuso es aquel donde el cambio de pertenencia a no pertenencia o viceversa es gradual. Un conjunto difuso debe ser continuo y monotnicamente creciente od decreciente. i t Un conjunto difuso puede pasar de no pertenencia a pertenencia y de nuevo a no pertenencia, pero, una vez que decae, no puede volver a adquirir valores numricos mayores al anterior anterior. Al menos un elemento del conjunto difuso debe tener el mayor grado de pertenencia posible (uno). El conjunto difuso debe estar definido en todo el universo.

FuncionesdeMembresaDifusasen UnaDimensin
Funcionesdiscretas(referentealtipodeprogramacin). ( p p g )
0, x a 0, x a xa xa b a ,a < x b b a , a < x b Trapezoida l (x; a , b, c, d ) = 1, b < x c Triangular ( x; a, b, c ) = cx d x ,c < x d ,b < x c d c cb 0, c < x 0, d < x
1 A 1 A

Funcionescontinuas.
Gaussiana ( x; c, ) = e
1 x c 2
2

1
1 2

c A

Campana ( x; a, b, c ) =
(Con el valor de b usualmente positivo). l t iti )

1 1+ xc a
2b

1
1 2

c a

Sigmoide( x; a, c ) =

1 + e a ( x c )

1 0.5 0 0

El parmetro a controla la razn de cambio de la pendiente.

OperacionesconFuncionesde MembresaDifusas b f
Sean los conjuntos A y B definidos en el universo X. Unin

A B A B ( x) = A ( x) B ( x) = max ( A ( x), B ( x) )

1 A B

1 A B

Interseccin

A B A B ( x) = A ( x) B ( x) = min ( A ( x), B ( x) )

1 A B

1 A B

Complemento Complemento A A ( x) = 1 A ( x)

1 A

1 A
A

Diferencia
1 A

A | B = min( A ( x) B ( x)) ),
B 1 A B
B

Realizar lo siguiente: Realizarlosiguiente:

Realicegrficamenteutilizandounconjuntodifusotriangular Realice grficamente utilizando un conjunto difuso triangular definidosobreeluniversoXlasoperacionesquedescribena:
Leydelmedioexcluido A A = X Leydelacontradiccin Ley de la contradiccin A A =

CaracterizacindeUniversosde Discurso

Ununiversodifusoestcompletamente caracterizadoporsusfuncionesdemembresa. i d f i d b
Baja j 1
Media Alta Caracterizacin de la variable Velocidad empleando funciones de membresa discretas.

0 0
Velocidad[Km/h]

200 B j Baja 1

Media M di

Alta Al

Caracterizacin de la variable Velocidad empleando funciones de membresa continuas.

0 0

Velocidad[Km/h]

200

Aparte de cumplir con las condiciones antes mencionadas, al caracterizar un universo de discurso con diferentes conjuntos difusos difusos, estos conjuntos deben traslaparse, ya que es precisamente mediante el traslape como la lgica difusa manipula la ambigedad o incertidumbre.
1

S!

No

0
Universodediscurso

0
Universodediscurso

ProbabilidadvsDifusividad Probabilidad vs Difusividad

Es importante mencionar que la difusividad no proviene de la aleatoriedad de los elementos que constituyen los q y conjuntos, pero s proviene de la incertidumbre e imprecisin de pensamientos y de conceptos abstractos. abstractos

Operacioneselementales aplicablesalosconjuntosdifusos

NotacinConvencionalparaConjuntos f Difusos
Universodiscretoyfinito: y
(x ) (x ) (x ) (x ) A = A 1 + A 2 + K + A n = A i x2 xn i xi x1

Universocontinuoeinfinito:
( x)dx A = A x

Ejemplodeunconjuntodifusocon elementosdiscretoseneluniverso l d l
X = {0,50,100,150,200,250}

donde X es la temperatura en grados centgrados de un horno casero. A= Temperatura media de coccin

1

A = {( x, A ( x) ) | x X }
1 0.7 0.3 0.1 0.3 0.7 A= + + + + + 0 50 100 150 200 250

0.5

0 0 50 100 150 200 250

A = {(0,0.1), (50,0.3), (100,0.7 ), (150,1), (200,0.7 ), (250,0.3)}

p [ ] Temperatura [C]

Ejemplodeunconjuntodifusocon elementoscontinuoseneluniverso l l
X = R+

dondeR+sonlasedadesposiblesenloshumanos(enaos)

B=Edadescercanasa50aos
B ( x) =
1 x 50 1+ 10
4

B = {( x, B ( x) ) | x X }

Operacionesdifusas l Ejemplo1
Supongalassiguientesfuncionesdemembresadiscretas S l i i f i d b di parauntransistoryunresistor:
T = +
0 0 0.3 0.7 0.8 0.9 1 + + + + 1 2 3 4 5 0 0 0.2 0.4 0.6 0.8 1 + + + + 1 2 3 4 5

R = +

1) 2) 3) ) 4)

Paraestosdosconjuntosdifusosrealizarlosiguiente: T R 5) T R T R 6)GraficarTyR T q querepresentanlascurvasdeT yR? p Ty R

Ejemplo2
Considere los conjuntos difusos A, B y C definidos en el intervalo X [0 10] d l nmeros reales por l f i i l X=[0,10] de los l las funciones de membresa:
A ( x) =
x x+2

B ( x) = 2

C ( x) =

1 1 + 10( x 2) 2

Determine la notacin matemtica y grafique las funciones de membresa para cada una de las siguientes operaciones: 1) A, B, C 3) A B, A C , B C 2) A B, A C , B C 4) A C , B C , A C

Operadores TnormaySnorma

OperadorT norma Operador Tnorma

La interseccin de dos conjuntos difusos est especificada en forma general por una funcin
T : [0,1] [0,1] [0,1]

que agrega dos grados de membresa de la siguiente manera: A B ( x) = T ( A ( x), B ( x)) = A ( x) ~ B ( x) * donde ~ es un operador binario para la funcin T. Este tipo de * operadores de interseccin difusa se conocen como operadores Tnorma (norma triangular.) T norma

OperadoresT normamsutilizados Operadores Tnorma ms utilizados

Tmin ( a , b ) = min( a , b ) = a b Mnimo: Productoalgebraico: Tap ( a , b ) = a b Productofrontera: Tbp ( a , b ) = 0 ( a + b 1)

Productodrstico: P d d i

a, b = 1 Tdp ( a , b ) = b, a = 1 0, ( a , b ) < 1

OperadorS norma Operador Snorma

Al igual que la interseccin difusa, el operador de unin difusa est especificado en general por una funcin
S : [0,1] [0,1] [0,1]

que agrega dos grados de membresa de la siguiente manera: A B = S ( A ( x), B ( x)) = A ( x) ~ B ( x) + donde ~ es un operador binario para la funcin S. Este tipo de + operadores de unin difusa se conocen como operadores S norma o Tconorma.

OperadoresS normamsutilizados Operadores Snorma ms utilizados

Mximo: Sumaalgebraica: Sumafrontera: Sumadrstica:
S max ( a , b ) = max( a , b ) = a b S as ( a , b ) = a + b a b

S bs ( a , b ) = 1 ( a + b )
a, b = 0 S ds ( a , b ) = b, a = 0 1, ( a , b ) > 0

Ejercicio1: Ejercicio 1:
Aplique los distintos operadores Tnorma y Snorma a los siguientes conjuntos difusos descritos en el mismo universo:
T = +
0 0 0 .3 0 .7 0 .8 0 .9 1 + + + + 1 2 3 4 5

R = +

0 0

0 .2 0 .4 0 .6 0 .8 1 + + + + 1 2 3 4 5

Ejercicio2: Ejercicio 2:
ObtenerlasgrficasdelosdistintosoperadoresTnormayS normaaplicadosalossiguientesconjuntosdifusos(considere aX=[15,15]). a X [ 15 15])
A ( x) =
1 x+5 1+ 7 .5
4

B ( x) =

1 x5 1+ 5
2