Inferencia Difusa

Ejercicios Resueltos
Sistemas de Incertidumbre

July 3, 2015

Inferencia Difusa, Ejercicio 6.2 del libro de texto

Sea U = {x1 , x2 , x3 } , y V = {y1 , y2 },

y asumiendo una regla difusa IF-THEN, IF x is A, THEN y is B, donde:
1
.4
+
y1 y2
.6 .9 .7
Entonces, dado el hecho x es A0 , donde: A0 = + + , use el Modus Ponens
x1 x2 x3
Generalizado (6.10), con el min para la norma-t, para obtener una conclusion de
la forma y es B 0 , donde la relacion difusa A B es interpretada usando:
A=

.5
1
.6
+
+
x1 x2 x3

y B=

(a) La implicaci
on Dienes-Rescher (5.23):
QD (x, y) = max[1 F P1 (x), F P2 (y)]
Primeramente realizamos la extension cilndrica

.6

A0E (x, y) = .9
.7

(1)

del vector A sobre el espacio de V :

.6
.9
(2)
.7

posteriormente se realiza la implicacion A B con la ecuacion (1):

max[1 .5, 1] = max[.5, 1] = 1
max[1 .5, .4] = max[.5, .4] = .5
max[1 1, 1] = max[0, 1] = 1
max[1 1, .4] = max[0, .4] = .4
max[1 .6, 1] = max[.4, 1] = 1
max[1 .6, .4] = max[.4, .4] = .4

1 .5
AB (x, y) = 1 .4
(3)
1 .4
despues se realiza el Modus Ponens Generalizado con la proyeccion sobre el espacio
de U haciendo uso de la formula:
AB (x1 , y1 )
AB (x1 , y2 )
AB (x2 , y1 )
AB (x2 , y2 )
AB (x3 , y1 )
AB (x3 , y2 )

=
=
=
=
=
=

B 0 (y) =sup [min(A0E (x.y), AB (x, y))]

xU

primero obtenemos la matrz Q0 que representa la interseccion entre (2) y (3)

Q0 (x1 , y1 )
Q0 (x1 , y2 )
Q0 (x2 , y1 )
Q0 (x2 , y2 )
Q0 (x3 , y1 )
Q0 (x3 , y2 )

=
=
=
=
=
=

min[.6, 1] = .6
min[.6, .5] = .5
min[.9, 1] = .9
min[.9, .4] = .4
min[.7, 1] = .7
min[.7, .4] = .4
2

(4)

.6 .5
Q0 (x, y) = .9 .4
.7 .4
luego encontramos la proyeccion de 5 sobre

.6
B 0 (y) =sup .9
xU
.7
B0 =

(5)

U , para encontrar la conclusion B 0

.5


.4 = .9 .5
.4

.5
.9
+
y1 y2

(6)

(b) La implicaci
on de Lukasiewicz (5.24):
QL (x, y) = min[1, 1 F P1 (x) + F P2 (y)]

(7)

Primeramente usamos la extension cilndrica del vector A0 sobre el espacio de V en

(2). Posteriormente se realiza la implicacion A B con la ecuacion (7):
AB (x1 , y1 )
AB (x1 , y2 )
AB (x2 , y1 )
AB (x2 , y2 )
AB (x3 , y1 )
AB (x3 , y2 )

min[1, 1 .5 + 1] = min[1, 1.5] = 1

min[1, 1 .5 + .4] = min[1, .9] = .9
min[1, 1 1 + 1] = min[1, 1] = 1
min[1, 1 1 + .4] = min[1, .4] = .4
min[1, 1 .6 + 1] = min[1, 1.4] = 1
min[1, 1 .6 + .4] = min[1, .8] = .8

1 .9
AB (x, y) = 1 .4
1 .8

=
=
=
=
=
=

(8)

despues se realiza el Modus Ponens Generalizado con la proyeccion sobre el espacio

de U haciendo uso de la formula (4). Primero obtenemos la matrz Q0 que representa
la interseccion entre (2) y (8)
Q0 (x1 , y1 )
Q0 (x1 , y2 )
Q0 (x2 , y1 )
Q0 (x2 , y2 )
Q0 (x3 , y1 )
Q0 (x3 , y2 )

=
=
=
=
=
=

min[.6, 1] = .6
min[.6, .9] = .5
min[.9, 1] = .9
min[.9, .4] = .4
min[.7, 1] = .7
min[.7, .8] = .7

.6 .5
Q0 (x, y) = .9 .4
.7 .7

(9)

luego encontramos la proyeccion de (9) sobre U , para encontrar la conclusion B 0

.6 .5


B 0 (y) =sup .9 .4 = .9 .7
xU
.7 .7
B0 =

.7
.9
+
y1 y2

(10)

(c) La implicaci
on de Zadeh (5.25):
QZ (x, y) = max[min(F P1 (x), F P2 (y)), 1 F P1 (x)]

(11)

Primeramente usamos la extension cilndrica del vector A0 sobre el espacio de V en

(2). Posteriormente se realiza la implicacion A B con la ecuacion (11):
AB (x1 , y1 )
AB (x1 , y2 )
AB (x2 , y1 )
AB (x2 , y2 )
AB (x3 , y1 )
AB (x3 , y2 )

=
=
=
=
=
=

max[min(.5, 1), 1 .5] = max[.5, .5] = .5

max[min(.5, .4), 1 .5] = max[.4, .5] = .5
max[min(1, 1), 1 1] = max[1, 0] = 1
max[min(1, .4), 1 1] = max[.4, 0] = .4
max[min(.6, 1), 1 .6] = max[.6, .4] = .6
max[min(.6, .4), 1 .6] = max[.4, .4] = .4

.5 .5
AB (x, y) = 1 .4
.6 .4

(12)

despues se realiza el Modus Ponens Generalizado con la proyeccion sobre el espacio

de U haciendo uso de la formula (4). Primero obtenemos la matrz Q0 que representa
la interseccion entre (2) y (12)
Q0 (x1 , y1 )
Q0 (x1 , y2 )
Q0 (x2 , y1 )
Q0 (x2 , y2 )
Q0 (x3 , y1 )
Q0 (x3 , y2 )

=
=
=
=
=
=

min[.6, .5] = .5
min[.6, .5] = .5
min[.9, 1] = .9
min[.9, .4] = .4
min[.7, .6] = .6
min[.7, .4] = .4

.5 .5
Q0 (x, y) = .9 .4
.6 .4

(13)

luego encontramos la proyeccion de (13) sobre U , para encontrar la conclusion B 0

.5 .5


B 0 (y) =sup .9 .4 = .9 .5
xU
.6 .4
4

 B0 =

.9
.5
+
y1 y2

(14)

(d) La implicaci
on del producto de Mandani (5.32):
QM P (x, y) = F P1 (x)F P2 (y)

(15)

Primeramente usamos la extension cilndrica del vector A0 sobre el espacio de V en

(2). Posteriormente se realiza la implicacion A B con la ecuacion (15):
[.5 1] = .5
[.5 .4] = .2
[1 1] = 1
[1 .4] = .4
[.6 1] = .6
[.6 .4] = .24

.5 .2
AB (x, y) = 1 .4
.6 .24

AB (x1 , y1 )
AB (x1 , y2 )
AB (x2 , y1 )
AB (x2 , y2 )
AB (x3 , y1 )
AB (x3 , y2 )

=
=
=
=
=
=

(16)

despues se realiza el Modus Ponens Generalizado con la proyeccion sobre el espacio

de U haciendo uso de la formula (4). Primero obtenemos la matrz Q0 que representa
la interseccion entre (2) y (16)
Q0 (x1 , y1 )
Q0 (x1 , y2 )
Q0 (x2 , y1 )
Q0 (x2 , y2 )
Q0 (x3 , y1 )
Q0 (x3 , y2 )

=
=
=
=
=
=

min[.6, .5] = .5
min[.6, .2] = .2
min[.9, 1] = .9
min[.9, .4] = .4
min[.7, .6] = .6
min[.7, .24] = .24

.5 .2
Q0 (x, y) = .9 .4
.6 .24

(17)

luego encontramos la proyeccion de (17) sobre U , para encontrar la conclusion B 0

.5 .2


B 0 (y) =sup .9 .4 = .9 .4
xU
.6 .24
B0 =

.4
.9
+
y1 y2

(18)

Inferencia Difusa, Ejercicio 6.3 del libro de texto

Repetir el ejercicio anterior pero con:

A=

1
.9
.6
+
+
x1 x2 x3

, B=

.6
1
+
y1 y2

y A0 =

.5
.9
1
+
+
x1 x2 x3

(a) La implicaci
on Dienes-Rescher (5.23):
Primeramente realizamos la extension cilndrica del vector A0 sobre el espacio de V :

.5 .5
A0E (x, y) = .9 .9
(19)
1 1
posteriormente se realiza la implicacion A B con la ecuacion (1):
AB (x1 , y1 )
AB (x1 , y2 )
AB (x2 , y1 )
AB (x2 , y2 )
AB (x3 , y1 )
AB (x3 , y2 )

max[1 .6, .6] = max[.4, .6] = .6

max[1 .6, 1] = max[.4, 1] = 1
max[1 1, .6] = max[0, .6] = .6
max[1 1, 1] = max[0, 1] = 1
max[1 .9, .6] = max[.1, .6] = .6
max[1 .9, 1] = max[.1, 1] = 1

.6 1
AB (x, y) = .6 1
.6 1
=
=
=
=
=
=

(20)

despues se realiza el Modus Ponens Generalizado con la proyeccion sobre el espacio

de U haciendo uso de la formula (4). Primero obtenemos la matrz Q0 que representa
la interseccion entre (19) y (20)
Q0 (x1 , y1 )
Q0 (x1 , y2 )
Q0 (x2 , y1 )
Q0 (x2 , y2 )
Q0 (x3 , y1 )
Q0 (x3 , y2 )

=
=
=
=
=
=

min[.5, .6] = .5
min[.5, 1] = .5
min[.9, .6] = .6
min[.9, 1] = .9
min[1, .6] = .6
min[1, 1] = 1

.5 .5
Q0 (x, y) = .6 .9
.6 1

(21)

luego encontramos la proyeccion de (21) sobre U , para encontrar la conclusion B 0

.5 .5


B 0 (y) =sup .6 .9 = .6 1
xU
.6 1
6

 B0 =

.6
1
+
y1 y2

(22)

(b) La implicaci
on de Lukasiewicz (5.24):
Primeramente usamos la extension cilndrica del vector A0 sobre el espacio de V en
(19). Posteriormente se realiza la implicacion A B con la ecuacion (7):
AB (x1 , y1 )
AB (x1 , y2 )
AB (x2 , y1 )
AB (x2 , y2 )
AB (x3 , y1 )
AB (x3 , y2 )

min[1, 1 .6 + .6] = min[1, 1] = 1

min[1, 1 .6 + 1] = min[1, 1.4] = 1
min[1, 1 1 + .6] = min[1, .6] = .6
min[1, 1 1 + 1] = min[1, 1] = 1
min[1, 1 .9 + .6] = min[1, .7] = .7
min[1, 1 .9 + 1] = min[1, 1.1] = 1

1 1
AB (x, y) = .6 1
.7 1

=
=
=
=
=
=

(23)

despues se realiza el Modus Ponens Generalizado con la proyeccion sobre el espacio

de U haciendo uso de la formula (4). Primero obtenemos la matrz Q0 que representa
la interseccion entre (19) y (23)
Q0 (x1 , y1 )
Q0 (x1 , y2 )
Q0 (x2 , y1 )
Q0 (x2 , y2 )
Q0 (x3 , y1 )
Q0 (x3 , y2 )

=
=
=
=
=
=

min[.5, 1] = .5
min[.5, 1] = .5
min[.9, .6] = .6
min[.9, 1] = .9
min[1, .7] = .7
min[1, 1] = 1

.5 .5
Q0 (x, y) = .6 .9
.7 1

(24)

luego encontramos la proyeccion de (24) sobre U , para encontrar la conclusion B 0

.5 .5


B 0 (y) =sup .6 .9 = .7 1
xU
.7 1
B0 =

1
.7
+
y1 y2

(25)

(c) La implicaci
on de Zadeh (5.25):
Primeramente usamos la extension cilndrica del vector A0 sobre el espacio de V en

(19). Posteriormente se realiza la implicacion A B con la ecuacion (11):

AB (x1 , y1 )
AB (x1 , y2 )
AB (x2 , y1 )
AB (x2 , y2 )
AB (x3 , y1 )
AB (x3 , y2 )

=
=
=
=
=
=

max[min(.6, .6), 1 .6] = max[.6, .4] = .6

max[min(.6, 1), 1 .6] = max[.6, .4] = .6
max[min(1, .6), 1 1] = max[.6, 0] = .6
max[min(1, 1), 1 1] = max[1, 0] = 1
max[min(.9, .6), 1 .9] = max[.6, .1] = .6
max[min(.9, 1), 1 .9] = max[.9, .1] = .9

.6 .6
AB (x, y) = .6 1
.6 .9

(26)

despues se realiza el Modus Ponens Generalizado con la proyeccion sobre el espacio

de U haciendo uso de la formula (4). Primero obtenemos la matrz Q0 que representa
la interseccion entre (19) y (26)
Q0 (x1 , y1 )
Q0 (x1 , y2 )
Q0 (x2 , y1 )
Q0 (x2 , y2 )
Q0 (x3 , y1 )
Q0 (x3 , y2 )

=
=
=
=
=
=

min[.5, .6] = .5
min[.5, .6] = .5
min[.9, .6] = .6
min[.9, 1] = .9
min[1, .6] = .6
min[1, .9] = .9

.5 .5
Q0 (x, y) = .6 .9
.6 .9

(27)

luego encontramos la proyeccion de (27) sobre U , para encontrar la conclusion B 0

.5 .5


B 0 (y) =sup .6 .9 = .6 .9
xU
.6 .9
.9
.6
+
(28)
y1 y2
(d) La implicaci
on del producto de Mandani (5.32):
Primeramente usamos la extension cilndrica del vector A0 sobre el espacio de V en
(19). Posteriormente se realiza la implicacion A B con la ecuacion (15):
B0 =

AB (x1 , y1 )
AB (x1 , y2 )
AB (x2 , y1 )
AB (x2 , y2 )
AB (x3 , y1 )
AB (x3 , y2 )

=
=
=
=
=
=
8

[.6 .6] = .36

[.6 1] = .6
[1 .6] = .6
[1 1] = 1
[.9 .6] = .54
[.9 1] = .9

.36 .6
AB (x, y) = .6 1
.54 .9

(29)

despues se realiza el Modus Ponens Generalizado con la proyeccion sobre el espacio

de U haciendo uso de la formula (4). Primero obtenemos la matrz Q0 que representa
la interseccion entre (19) y (29)
Q0 (x1 , y1 )
Q0 (x1 , y2 )
Q0 (x2 , y1 )
Q0 (x2 , y2 )
Q0 (x3 , y1 )
Q0 (x3 , y2 )

=
=
=
=
=
=

min[.5, .36] = .36

min[.5, .6] = .5
min[.9, .6] = .6
min[.9, 1] = .9
min[1, .54] = .54
min[1, .9] = .9

.36 .5
Q0 (x, y) = .6 .9
.54 .9

(30)

luego encontramos la proyeccion de (30) sobre U , para encontrar la conclusion B 0

.36 .5


B 0 (y) =sup .6 .9 = .6 .9
xU
.54 .9
B0 =

.6
.9
+
y1 y2

(31)