12 Carlos Ochoa

Sistemas Dinamicos Difusos
Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

Proyecto Curricular de Matem
aticas
Universidad Distrital Francisco Jos
e de Caldas
Semillero LOTO
25 de enero de 2013

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco1Jos
/ 1e de
Parte I
Desde La Logica

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco2Jos
/ 1e de
Algo de Historia
A
no 1965, Lotfi A. Zadeh: Primeras ideas de teora de conjuntos difusos,
Objetivo: Encontrar en las matematicas modelos apropiados para el
estudio de problemas complejos de control que se presentan en la teora de
la informacion;
Resultado: Se supero la rigidez de la teora clasica de conjuntos y
clasificando objetos de un universo conocido que responden a una
determinada propiedad de manera que no solo la verifican o no, sino que la
pueden verificar parcialmente.
Consecuencias: Estrecha relaci
on entre la teora de los conjuntos difusos
y la logica multi-valuada.

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco3Jos
/ 1e de
Algo de Historia
A
la informacion;

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco3Jos
/ 1e de
Algo de Historia
A
la informacion;

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco3Jos
/ 1e de
Algo de Historia
A
la informacion;

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco3Jos
/ 1e de
Desde la logica clasica
Definicion
Principio de Bivalencia: Cada proposici
on tiene exactamente uno de los
dos valores de verdad: (falso) o > (verdadero) que usualmente se
codifican con 0 y 1 respectivamente.
Definicion
Principio de Composicion, el valor de verdad de cada formula bien formada
compuesta es funcion del valor de verdad de sus componentes.
Conjunto de valores de verdad: {0, 1}

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco4Jos
/ 1e de
Definicion
Definicion

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco4Jos
/ 1e de
Definicion
Definicion

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco4Jos
/ 1e de
Los conectivos clasicos son definidos a partir de la conjuncion, disyuncion

y negacion i. e. se considera el junto con las funciones
mn, max y 1 . . .
La estructura de valores de verdad puede ser un algebra Booleana
B = {B, , ,c , 0, 1},

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco5Jos
/ 1e de
Los conectivos clasicos son definidos a partir de la conjuncion, disyuncion

y negacion i. e. se considera el junto con las funciones
mn, max y 1 . . .
La estructura de valores de verdad puede ser un algebra Booleana
B = {B, , ,c , 0, 1},

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco5Jos
/ 1e de
Las funciones de verdad para conjunci

on, disjunci
on y negacion son
escogidos de acuerdo a
, ,c
respectivamente y
Validez de una formula bien formada H con respecto a una interpretacion
dada significa que H tiene el valor 1 de B en esa interpretacion.
Qu
e Cambia. La logica multi-valuada solamente cambia el principio de
bivalencia;
Se asume que
{0, 1} W S .
(1)

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco6Jos
/ 1e de

on, disjunci
on y negacion son
, ,c
respectivamente y
Qu
bivalencia;
Se asume que
{0, 1} W S .
(1)

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco6Jos
/ 1e de

on, disjunci
on y negacion son
, ,c
respectivamente y
Qu
bivalencia;
Se asume que
{0, 1} W S .
(1)

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco6Jos
/ 1e de
Ejemplo (1.2)
De los Grados de Verdad
No hay restricciones para el conjunto W S de grados de verdad de S; es
usual tener ademas de (??) la estructura
W S [0, 1] R,
(2)
en este ambiente, algunos ejemplos:

W0 =: { x Q | 0 x 1} o,
(3)
W =: { x R | 0 x 1},
(4)
Wn =: {
k
| 0 k n 1},
n1
(5)

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco7Jos
/ 1e de
Conjuncion
(Lukasiewicz y Godel), una conjunci
on es la operaci
on binaria
et1 (u, v ) =: mn{u, v },
(6)
Ejemplo
la tabla de verdad correspondiente para W4 es
et1 0 13 23 1
0
1
3
2
3
0
0
1
3
2
3
2
3
1
3
2
3
1
3
1
3
1
3

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco8Jos
/ 1e de
Conjuncion
(Lukasiewicz y Godel), una conjunci
on es la operaci
on binaria
et1 (u, v ) =: mn{u, v },
(6)
Ejemplo
la tabla de verdad correspondiente para W4 es
et1 0 13 23 1
0
1
3
2
3
0
0
1
3
2
3
2
3
1
3
2
3
1
3
1
3
1
3

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco8Jos
/ 1e de
otro ejemplo procedente de Lukasiewicz es

et2 (u, v ) =: max{0, u + v 1},
(7)
Ejemplo
La tabla de verdad correspondiente para W4 es
et2 0 13 23 1
0
1
3
2
3
1
3
1
3
2
3
1
3
2
3

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco9Jos
/ 1e de
otro ejemplo procedente de Lukasiewicz es

et2 (u, v ) =: max{0, u + v 1},
(7)
Ejemplo
La tabla de verdad correspondiente para W4 es
et2 0 13 23 1
0
1
3
2
3
1
3
1
3
2
3
1
3
2
3

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco9Jos
/ 1e de
Ejemplo
En tiempos recientes se ha considerado la conjunci
on
et3 (u, v ) =: u v ,
(8)
Definicion
Una Operacion binaria t en [0, 1] es una t-norma si
T1. t es asociativa y conmutativa,
T2. t es no creciente en cada argumento,
T3. 1 es elemento neutro para t.
Para todo x [0, 1], t(x, 0) = 0 pues t(x, 0) = t(0, x) t(0, 1) = 0.
([0, 1], t) es un monoide.

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
10Jos
/ 1e de
Ejemplo
En tiempos recientes se ha considerado la conjunci
on
et3 (u, v ) =: u v ,
(8)
Definicion
Una Operacion binaria t en [0, 1] es una t-norma si
T1. t es asociativa y conmutativa,
T2. t es no creciente en cada argumento,
T3. 1 es elemento neutro para t.
Para todo x [0, 1], t(x, 0) = 0 pues t(x, 0) = t(0, x) t(0, 1) = 0.
([0, 1], t) es un monoide.

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
10Jos
/ 1e de
Conectivos Negacion
G
odel y Lukasiewicz proponen:
1 si x = 0
non0 (x) =
0 si x 6= 0,
y non1 (x) = 1 x;
(9)
Post propone non2 para Wm :
1 si x = 0
non2 (x) =
x 1 si x 6= 0
m1
(10)

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
11Jos
/ 1e de
Definicion
Una funcion n : [0, 1] [0, 1] es una negaci
on si es no creciente y
n(0) = 1 y n(1) = 0. Una negaci
on es etricta si es estrictamente
decreciente y continua, es fuerte si es estricta y es una involucion, es decir,
satisface n(n(x)) = x para todo x [0, 1].
As, non2 no es una negaci
on para m > 2, non0 es una negacion y non1 es
una negaci
on fuerte. Otro ejemplo de negaci
on no estricta es
1 si x < 1
non (x) =
0 si x = 1,
(11)
toda funcion negacion n satisface

non0 n non

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
12Jos
/ 1e de
Definicion
Una funcion n : [0, 1] [0, 1] es una negaci
on si es no creciente y
n(0) = 1 y n(1) = 0. Una negaci
on es etricta si es estrictamente
decreciente y continua, es fuerte si es estricta y es una involucion, es decir,
satisface n(n(x)) = x para todo x [0, 1].
As, non2 no es una negaci
on para m > 2, non0 es una negacion y non1 es
una negaci
on fuerte. Otro ejemplo de negaci
on no estricta es
1 si x < 1
non (x) =
0 si x = 1,
(11)
toda funcion negacion n satisface

non0 n non

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
12Jos
/ 1e de
Un ejemplo de una negaci

on estricta que no es fuerte es
non3 (x) = 1 x 2 ,
(12)
un surtidor de negaciones fuertes lo constituye la familia de funciones

n (x) =
1x
1 + x
(13)
donde > 1.

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
13Jos
/ 1e de
Un ejemplo de una negaci

on estricta que no es fuerte es
non3 (x) = 1 x 2 ,
(12)
un surtidor de negaciones fuertes lo constituye la familia de funciones

n (x) =
1x
1 + x
(13)
donde > 1.

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
13Jos
/ 1e de
Teorema
Sean t una t-norma continua y n una negaci
on estricta, para todo
x [0, 1] se tiene que t(x, n(x)) = 0 si y solo si existe un automorfismo
del intervalo [0, 1] tal que para todo x, y [0, 1] es
t(x, y ) = 1 (et2 ((x), (y )))
n(x) 1 (1 (x)).
y
(14)
Una situaci
on tpica la presentan et2 y non1 .

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
14Jos
/ 1e de
Teorema
Sean t una t-norma continua y n una negaci
on estricta, para todo
x [0, 1] se tiene que t(x, n(x)) = 0 si y solo si existe un automorfismo
del intervalo [0, 1] tal que para todo x, y [0, 1] es
t(x, y ) = 1 (et2 ((x), (y )))
n(x) 1 (1 (x)).
y
(14)
Una situaci
on tpica la presentan et2 y non1 .

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
14Jos
/ 1e de
Conectivos Disyuncion
Una operacion binaria s en el intervalo [0, 1] es una t-conorma si

S1 Es asociativa y conmutativa,
S2 Es no decreciente en cada argumento,
S3 0 es elememto neutro, es decir; s(x, 0) = x para todo x [0, 1].
Es claro que para todo x [0, 1], s(x, 1) = 1 pues
s(x, 1) = s(1, x) s(0, 1) = 1.
El intervalo [0, 1] con la operaci
on s es un monoide.

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
15Jos
/ 1e de
Conectivos Disyuncion
Una operacion binaria s en el intervalo [0, 1] es una t-conorma si

S1 Es asociativa y conmutativa,
S2 Es no decreciente en cada argumento,
S3 0 es elememto neutro, es decir; s(x, 0) = x para todo x [0, 1].
Es claro que para todo x [0, 1], s(x, 1) = 1 pues
s(x, 1) = s(1, x) s(0, 1) = 1.
El intervalo [0, 1] con la operaci
on s es un monoide.

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
15Jos
/ 1e de
Teorema
Si n es una negacion fuerte y s y t son dos operaciones binarias
relacionadas por
s(x, y ) = n(t(n(x), n(y ))),
x, y [0, 1],
entonces t es una t-norma y s es una t-conorma.

Es usual que se considere la negaci
on fuerte non1 ; as, para una t-norma t
se tiene la t-conorma:
st (x, y ) = 1 t(1 x, 1 y ),
x, y [0, 1],
(15)

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
16Jos
/ 1e de
Teorema
Si n es una negacion fuerte y s y t son dos operaciones binarias
relacionadas por
s(x, y ) = n(t(n(x), n(y ))),
x, y [0, 1],
entonces t es una t-norma y s es una t-conorma.

Es usual que se considere la negaci
on fuerte non1 ; as, para una t-norma t
se tiene la t-conorma:
st (x, y ) = 1 t(1 x, 1 y ),
x, y [0, 1],
(15)

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
16Jos
/ 1e de
Se obtener las t-conormas mas populares

vel1 (x, y ) = max{x, y },
(16)
vel2 (x, y ) = mn{1, x + y } y
(17)
vel3 (x, y ) = x + y x y
(18)

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
17Jos
/ 1e de

vel1 (x, y ) = max{x, y },
(16)
vel2 (x, y ) = mn{1, x + y } y
(17)
vel3 (x, y ) = x + y x y
(18)

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
17Jos
/ 1e de

vel1 (x, y ) = max{x, y },
(16)
vel2 (x, y ) = mn{1, x + y } y
(17)
vel3 (x, y ) = x + y x y
(18)

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
17Jos
/ 1e de

vel1 (x, y ) = max{x, y },
(16)
vel2 (x, y ) = mn{1, x + y } y
(17)
vel3 (x, y ) = x + y x y
(18)

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
17Jos
/ 1e de
Conectivos Implicacion
De Lukasiewicz
seq2 (x, y ) = mn{1, 1 x + y },
(19)
ahora de Godel,
1
seq1 (x, y ) =
y
si x y ,
(20)
en otro caso.
Como es de esperarse,
seq2 (x, y ) = vel2 (non1 (x), y )
= non1 (et2 (x, non1 (y ))),
(21)
(22)

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
18Jos
/ 1e de
De Lukasiewicz
seq2 (x, y ) = mn{1, 1 x + y },
(19)
ahora de G
odel,
1
seq1 (x, y ) =
y
si x y ,
(20)
en otro caso.
seq2 (x, y ) = vel2 (non1 (x), y )
= non1 (et2 (x, non1 (y ))),
(21)
(22)

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
18Jos
/ 1e de
De Lukasiewicz
seq2 (x, y ) = mn{1, 1 x + y },
(19)
ahora de G
odel,
1
seq1 (x, y ) =
y
si x y ,
(20)
en otro caso.
seq2 (x, y ) = vel2 (non1 (x), y )
= non1 (et2 (x, non1 (y ))),
(21)
(22)

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
18Jos
/ 1e de
vel2 la disyuncion (aritmetica) de Lukasiewicz

et2 la conjuncion (aritmetica) de Lukasiewicz;
. . . pero en lo que concierne a seq1 . . . ???
seq1 (x, y ) = sup{w | et1 (x, w ) y }
(23)
la situacion expuesta en (??) es equivalente a

w seq1 (x, y ) et1 (x, w ) y ,
(24)
de donde se dice que et1 , seq1 forman un par adjunto.

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
19Jos
/ 1e de

seq1 (x, y ) = sup{w | et1 (x, w ) y }
(23)

w seq1 (x, y ) et1 (x, w ) y ,
(24)

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
19Jos
/ 1e de

seq1 (x, y ) = sup{w | et1 (x, w ) y }
(23)

w seq1 (x, y ) et1 (x, w ) y ,
(24)

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
19Jos
/ 1e de

seq1 (x, y ) = sup{w | et1 (x, w ) y }
(23)

w seq1 (x, y ) et1 (x, w ) y ,
(24)

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
19Jos
/ 1e de
GL-monoides
Generalizando
([0, 1], et1 , vel1 ), enriquecido con (et1 , seq1 ) . . . ;
(L, 6) un retculo infinitamente distributivo y completo, i. e. (L, 6) es
parcialmente ordenado,
W
V
Para todo A L,
A y
A estan definidos y para todo L es
_
_
A = {a | a A} y
(25)
^
^
A = {a | a A}.
(26)

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
20Jos
/ 1e de
GL-monoides
Generalizando
W
V
Para todo A L,
A y
_
_
A = {a | a A} y
(25)
^
^
A = {a | a A}.
(26)

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
20Jos
/ 1e de
GL-monoides
Generalizando
W
V
Para todo A L,
A y
_
_
A = {a | a A} y
(25)
^
^
A = {a | a A}.
(26)

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
20Jos
/ 1e de
GL-monoides
Generalizando
W
V
Para todo A L,
A y
_
_
A = {a | a A} y
(25)
^
^
A = {a | a A}.
(26)

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
20Jos
/ 1e de
GL-monoides
Generalizando
W
V
Para todo A L,
A y
_
_
A = {a | a A} y
(25)
^
^
A = {a | a A}.
(26)

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
20Jos
/ 1e de
Definicion
Un GLmonoide es un retculo completo enriquecido con una operacion
binaria tal que la tripleta (L, 6, ) satisface:
(1) , , L 6 implica 6 ;
(2) es conmutativa, i.e. , L, = ,
(3) ( ) = ( ) , , , L;
(4) (L, 6, ) es entero, i.e. > = , L;
(5) = , L;
W
W
(6) ( j j ) = j ( j ), L, {j : j J} L;
(7) (L, 6, ) is divisible, i.e. 6 implica la existencia de L tal
que = .

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
21Jos
/ 1e de
Definicion
(1) , , L 6 implica 6 ;
(3) ( ) = ( ) , , , L;
(4) (L, 6, ) es entero, i.e. > = , L;
(5) = , L;
W
W
(6) ( j j ) = j ( j ), L, {j : j J} L;
que = .

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
21Jos
/ 1e de
Definicion
(1) , , L 6 implica 6 ;
(3) ( ) = ( ) , , , L;
(4) (L, 6, ) es entero, i.e. > = , L;
(5) = , L;
W
W
(6) ( j j ) = j ( j ), L, {j : j J} L;
que = .

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
21Jos
/ 1e de
Definicion
(1) , , L 6 implica 6 ;
(3) ( ) = ( ) , , , L;
(4) (L, 6, ) es entero, i.e. > = , L;
(5) = , L;
W
W
(6) ( j j ) = j ( j ), L, {j : j J} L;
que = .

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
21Jos
/ 1e de
Definicion
(1) , , L 6 implica 6 ;
(3) ( ) = ( ) , , , L;
(4) (L, 6, ) es entero, i.e. > = , L;
(5) = , L;
W
W
(6) ( j j ) = j ( j ), L, {j : j J} L;
que = .

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
21Jos
/ 1e de
Definicion
(1) , , L 6 implica 6 ;
(3) ( ) = ( ) , , , L;
(4) (L, 6, ) es entero, i.e. > = , L;
(5) = , L;
W
W
(6) ( j j ) = j ( j ), L, {j : j J} L;
que = .

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
21Jos
/ 1e de
Definicion
(1) , , L 6 implica 6 ;
(3) ( ) = ( ) , , , L;
(4) (L, 6, ) es entero, i.e. > = , L;
(5) = , L;
W
W
(6) ( j j ) = j ( j ), L, {j : j J} L;
que = .

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
21Jos
/ 1e de
Todo GLmonoide es residuado, i.e. existe 7 en L que satisface:

6 6 ( 7 )
, , L.
(27)
La implicacion esta dada por:

7 =
{ L | 6 },
(28)

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
22Jos
/ 1e de
Todo GLmonoide es residuado, i.e. existe 7 en L que satisface:

6 6 ( 7 )
, , L.
(27)
La implicacion esta dada por:

7 =
{ L | 6 },
(28)

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
22Jos
/ 1e de
Otras propiedades
Teorema
Si L es un GLmonoide, entonces:
(i) 7 = > 6 ;
V
V
(ii) 7 ( i i ) = i ( 7 i );
W
V
(iii) ( i i ) 7 = i (i 7 );
V
V
(v) ( i i ) = i ( i );
(vi) ( 7 ) ( 7 ) 6 7 ;
(vii) 6 ( ) ( ).

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
23Jos
/ 1e de
Otras propiedades
Teorema
(i) 7 = > 6 ;
V
V
(ii) 7 ( i i ) = i ( 7 i );
W
V
(iii) ( i i ) 7 = i (i 7 );
V
V
(v) ( i i ) = i ( i );
(vi) ( 7 ) ( 7 ) 6 7 ;
(vii) 6 ( ) ( ).

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
23Jos
/ 1e de
Otras propiedades
Teorema
(i) 7 = > 6 ;
V
V
(ii) 7 ( i i ) = i ( 7 i );
W
V
(iii) ( i i ) 7 = i (i 7 );
V
V
(v) ( i i ) = i ( i );
(vi) ( 7 ) ( 7 ) 6 7 ;
(vii) 6 ( ) ( ).

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
23Jos
/ 1e de
Otras propiedades
Teorema
(i) 7 = > 6 ;
V
V
(ii) 7 ( i i ) = i ( 7 i );
W
V
(iii) ( i i ) 7 = i (i 7 );
V
V
(v) ( i i ) = i ( i );
(vi) ( 7 ) ( 7 ) 6 7 ;
(vii) 6 ( ) ( ).

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
23Jos
/ 1e de
Otras propiedades
Teorema
(i) 7 = > 6 ;
V
V
(ii) 7 ( i i ) = i ( 7 i );
W
V
(iii) ( i i ) 7 = i (i 7 );
V
V
(v) ( i i ) = i ( i );
(vi) ( 7 ) ( 7 ) 6 7 ;
(vii) 6 ( ) ( ).

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
23Jos
/ 1e de
Otras propiedades
Teorema
(i) 7 = > 6 ;
V
V
(ii) 7 ( i i ) = i ( 7 i );
W
V
(iii) ( i i ) 7 = i (i 7 );
V
V
(v) ( i i ) = i ( i );
(vi) ( 7 ) ( 7 ) 6 7 ;
(vii) 6 ( ) ( ).

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
23Jos
/ 1e de
Ejemplos importantes de GL-monoides son
Definicion
Un algebra de Heyting es un GL-monoide del tipo (L, 6, , , ), es
decir, en un algebra de Heyting = .
Definicion
Un GL-monoide es una MV -algebra si
( 7 ) 7 =
L.
As, en una MV -algebra existe una involuci

on
(29)
: L L que invierte el
orden y que se define de manera natural como

c := 7
L.
(30)
Presente la categora de los GL-monoides.

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
24Jos
/ 1e de
Definicion
Definicion
( 7 ) 7 =
L.

on
(29)

c := 7
L.
(30)

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
24Jos
/ 1e de
Definicion
Definicion
( 7 ) 7 =
L.

on
(29)

c := 7
L.
(30)

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
24Jos
/ 1e de
Definicion
Definicion
( 7 ) 7 =
L.

on
(29)

c := 7
L.
(30)

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
24Jos
/ 1e de
Parte II
Conjuntos Difusos

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
25Jos
/ 1e de
De los Conjuntos Difusos

X 6= y L un GL-monoide, el conjunto de L-partes de X es
LX := {f | f : X L}
LX hereda la estructura de GL-monoide;

1
f g sii f (x) g (x) para todo x X ,
(f g )(x) = f (x) g (x),
Los L-conjuntos 1X y 0X definidos por

1X (x) := > y
0X (x) :=
para todo x X son el maximo y el mnimo en LX respectivamente.

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
26Jos
/ 1e de

LX := {f | f : X L}

1
(f g )(x) = f (x) g (x),

1X (x) := > y
0X (x) :=

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
26Jos
/ 1e de

LX := {f | f : X L}

1
(f g )(x) = f (x) g (x),

1X (x) := > y
0X (x) :=

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
26Jos
/ 1e de

LX := {f | f : X L}

1
(f g )(x) = f (x) g (x),

1X (x) := > y
0X (x) :=

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
26Jos
/ 1e de
ademas, si X es finito, el cardinal de f es

|f | =
f (x)
(31)
xX
y el grado de contenencia de f en g es
S(f , g ) =
X

1
|f |
max{0, f (x) g (x)
|f |
(32)
xX
n
otese que la suma da una medida de aquellos elementos x en donde la
relacion f (x) g (x) no se satisface; tambien se tiene S(g , f ), se puede
pensar en el grado de coincidencia en [0, 1]-partes, tiene el problema de
evocar la estructura (R, +, ), esto es, [0, 1] es visto como subconjunto de
los n
umeros reales.

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
27Jos
/ 1e de
Parte III
Sistemas Dinamicos Difusos

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
28Jos
/ 1e de
Espacios Difusos Medibles

Sea X un conjunto no vaco, I [0, 1]; para c I, se define la funcion
c IX que asigna el valor c a cada x X , esto es, se trata de la funcion
constante de valor c.
Definicion
Una -algebra difusa sobre X es una subfamilia M IX que satisface:
A1. 1 M.
A2. M 1 M; donde (1 ) (x) = 1 (x) para todo
x X.
A3. Para toda sucesion {i }
i=1 de elementos en M,
W
i=1 i = sup i M.
Si M es una -algebra difusa sobre X , al par (X , M) se le denomina
Espacio Difuso Medible.

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
29Jos
/ 1e de
Los espacios difusos medibles se relacionan entre si tal como lo hacen

varias estructuras, esta manera de relacionarse es como sigue:
Definicion
Una transformacion T : (X , M) (Y , N) se dice Difusa Medible si, para
N, T () T M, es decir T (N) M.
En otras palabras, T es difusa medible si el diagrama
T-
X
@
@
@
R ?
conmuta.

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
30Jos
/ 1e de
Teorema
Sea T : (X , M) (Y , N) una transformaci
on difusa medible, y j con
j N conjuntos difusos en Y . Entonces:
T (c) = c
1 T () =T (1 )
W
W
(
)
=T (
j
i=1 T
i=1 (j ))

V
V
i=1 T (j ) =T ( i=1 (j ))
4
5
Si {j }
on creciente y lim j = , entonces
j=1 es una sucesi
lim T (j ) =T ()
Ver Demostraci
on

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
31Jos
/ 1e de
Teorema
Sea T : (X , M) (Y , N) una transformaci
on difusa medible, y j con
j N conjuntos difusos en Y . Entonces:
T (c) = c
1 T () =T (1 )
W
W
(
)
=T (
j
i=1 T
i=1 (j ))

V
V
i=1 T (j ) =T ( i=1 (j ))
4
5
Si {j }
on creciente y lim j = , entonces
j=1 es una sucesi
lim T (j ) =T ()
Ver Demostraci
on

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
31Jos
/ 1e de
Generacion de -algebras difusas mediante la imagen reciproca de las

transformaciones difusas medibles,
Corolario
Sean (X , M), (Y , N) espacios difuso medibles, T : X Y una
transformacion difusa medible, entonces
n
o
(N)
=
()
:
N
T
T
es una -algebra difusa sobre X .
Ver demostraci
on

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
32Jos
/ 1e de
Generacion de -algebras difusas mediante la imagen reciproca de las

transformaciones difusas medibles,
Corolario
Sean (X , M), (Y , N) espacios difuso medibles, T : X Y una
transformacion difusa medible, entonces
n
o
(N)
=
()
:
N
T
T
es una -algebra difusa sobre X .
Ver demostraci
on

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
32Jos
/ 1e de
Definicion
Sea (X , M) un espacio difuso medible, se dice que m : M I es una
medida de probabilidad difusa si:
M1. m (1) = 1, m (0) = 0;
M2. Para , M,
m ( ) + m ( ) = m () + m () ;
M3. Para cada sucesion {j }
j=1 en M tal que lim j = ,
m () = sup m (j ).
La tripleta (X , M, m) recibe el nombre de espacio de probabilidad difusa
medible.

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
33Jos
/ 1e de
Definicion
Sea (X , M, m) un espacio de probabilidad difusa medible, se dice que
: X X es una transformaci
on que preserva
medida
difusa si para cada
M se tiene que () = M y m () = m ().

Es decir, si preserva medida difusa cuando
X
@
- X
@
@
R ?
A la cuarteta (X , M, m, ) se le denomina Sistema Dinamico Difuso

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
34Jos
/ 1e de
Teorema
Sean (X , M, m) un espacio de probabilidad difusa medible y : X X
una transformacion difusa medible; si n : M I esta definida por

n () = m () , M,
entonces n es una medida de probabilidad difusa sobre M,
Ver Demostraci
on

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
35Jos
/ 1e de
Teorema
Sean (X , M, m) un espacio de probabilidad difusa medible y : X X
una transformacion difusa medible; si n : M I esta definida por

n () = m () , M,
entonces n es una medida de probabilidad difusa sobre M,
Ver Demostraci
on

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
35Jos
/ 1e de
Definicion
Sean 1 = (X , M, m, ), 2 = (Y , N, n, ) Sistemas Dinamicos Difusos.
Si existe : N M una funci
on biyectiva tal que, para N, se
satisface que:
m ( ()) = n ()

m ( ()) = m ()
Se dice que 1 es equivalente a 2 .
Teorema
La equivalencia entre Sistemas Dinamicos Difusos es una relacion de
equivalencia.
Ver demostraci
on

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
36Jos
/ 1e de
Definicion
Sean 1 = (X , M, m, ), 2 = (Y , N, n, ) Sistemas Dinamicos Difusos.
Si existe : N M una funci
on biyectiva tal que, para N, se
satisface que:
m ( ()) = n ()

m ( ()) = m ()
Se dice que 1 es equivalente a 2 .
Teorema
La equivalencia entre Sistemas Dinamicos Difusos es una relacion de
equivalencia.
Ver demostraci
on

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
36Jos
/ 1e de
Parte IV
Bibliografa

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
37Jos
/ 1e de
Jiri Adamek, Horst Herrlich, George Strecker , Abstract

and Concrete Categories, John Wiley & Sons, New York, 1990.
N. Bourbaki, General Topology, Addison-Wesley Publishing,
Massachusetts, 1966
hle, A. Sostak,
U. Ho
Fixed-Basis Fuzzy Topologies In:
Mathematics of Fuzzy Sets: Logic, Topology and Measure Theory,
Kluwer Academic Publisher, Boston, 1999.
Peter T. Johnstone, Stone spaces, Cambridge University Press,
Cambridge, 1982.

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
38Jos
/ 1e de
, Uniform Spaces In: Mathematics of Fuzzy Sets: Logic,

W. Kotze
Topology and Measure Theory, Kluwer Academic Publisher, Boston,
1999.
Liu Ying-Ming, Luo Mao-Kang, Fuzzy Topology, World
Scientific, Singapore ,1997.
S. E. Rodabaugh, Powerset Operator Foundations For Poslat Fuzzy
Set Theories and Topologies, In: Mathematics of Fuzzy Sets: Logic,
Topology and Measure Theory, Kluwer Academic Publisher, Boston,
1999.
Saunders Mac Lane, Ieke Moerdijk, Sheaves in Geometry and
Logic, Springer-Verlag, New York, 1992.

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
39Jos
/ 1e de

Alexander P. Sostak,
Fuzzy functions and an extension of the
category L-Top of Chang-Goguen L-topological spaces, Proceedings
of the Ninth Prague Topological Symposium, Prague, Czech Republic,
2001.
Manuel Suarez M., Topologa Conjuntista - Una Presentacion
Buleana-Adjunta, Universidad Pedag
ogica y Tecnologica de Colombia,
Tunja, 1992
Garca Marrero y Otros, Topologa, Alhambra, Madrid, 1975
Adriana Quintero Palomino, Espectros Inverso y Directo en
Sistemas Dinamicos Difusos, Trabajo de Grado, Universidad Distrital
Francisco Jose de Caldas, Bogota, 2012
PRAMILA Srivastava, Mona Khare, Y.K. Srivastava. Fuzzy Dynamical
Systems. Inverse and Direct Spectra. Elsevier Science, Fuzzy Sets and
Systems. 2000.

Sistemas
(Proyecto
Din
amicos
Curricular
Difusosde Matem
aticas Universidad
25 de enero
Distrital
de 2013
Francisco
40Jos
/ 1e de

12 Carlos Ochoa

Cargado por

Copyright:

Formatos disponibles

12 Carlos Ochoa

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

12 Carlos Ochoa

Cargado por

Copyright:

Formatos disponibles

Sistemas Dinamicos Difusos

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

Desde la logica clasica

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

Desde la logica clasica

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

Desde la logica clasica

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

Los conectivos clasicos son definidos a partir de la conjuncion, disyuncion

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

Los conectivos clasicos son definidos a partir de la conjuncion, disyuncion

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

Las funciones de verdad para conjunci

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

Las funciones de verdad para conjunci

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

Las funciones de verdad para conjunci

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

en este ambiente, algunos ejemplos:

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

otro ejemplo procedente de Lukasiewicz es

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

otro ejemplo procedente de Lukasiewicz es

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

Post propone non2 para Wm :

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

toda funcion negacion n satisface

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

toda funcion negacion n satisface

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

Un ejemplo de una negaci

un surtidor de negaciones fuertes lo constituye la familia de funciones

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

Un ejemplo de una negaci

un surtidor de negaciones fuertes lo constituye la familia de funciones

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

Una operacion binaria s en el intervalo [0, 1] es una t-conorma si

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

Una operacion binaria s en el intervalo [0, 1] es una t-conorma si

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

entonces t es una t-norma y s es una t-conorma.

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

entonces t es una t-norma y s es una t-conorma.

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino

Se obtener las t-conormas mas populares

vel2 (x, y ) = mn{1, x + y } y

Carlos Orlando Ochoa Castillo y Adriana Quintero Palomino