UniversidadNacionaldeColombia

FacultaddeIngeniera
Introduccionalossistemasinteligentes

JeissonAndrsPrietoVelandiajaprietov@unal.edu.co
VictorEnriqueRodriguezMunozverodriguezm@unal.edu.co

TALLERLOGICADIFUSA

1.(proyeccionesyextensionescilndricas

(a)Considere un conjunto

difuso A definido
en X Y con
X ={ x1,x2},Y={y1,
y2}:

A = {0 .1 /(x1 ,y1)
, 0 .2 /(x1 ,y2)
, 0 .7 /(x2 ,y1),0.9/(x2,y2)}

Calculelasproyeccionesde

AsobreXyY.

P roy(A)X,Y = {0.1/(x1, y1) + 0.2/(x1, y2) + 0.7/(x2, y1) + 0.9/(x2, y2)}

P roy(A)X = {sup(x1) + sup(x2)} = {0.2/(x1) + 0.9/(x2)}

P roy(A)Y = {sup(y1) + sup(y2)} = {0.7/(y1) + 0.9/(y2)}

(b) Calcule la extensincilndrica

del
conjunto
difuso
A ={0.3/x1,0.4/x2}enel
dominioproductoCartesiano

{x1,x2}{y1,y2}.

C yl(A)X,Y = {0.3/(x1, y1) + 0.3/(x1, y2) + 0.4/(x2, y1) + 0.4/(x2, y2)}

C yl(A)X = {sup(x1) + sup(x2)} = {0.4/(x2)}

C yl(A)Y = {sup(y1) + sup(y2)} = {0}

2. (relaciones difusas) Considere la siguiente matriz quedefine una relacin

difusaRsobreXxY


I. CalculelasproyeccionesdeRsobreXysobreY.

ParacadapardepuntosenX

P roy(x1)R = sup{(x1, y1), (x1, y2), (x1, y3), (x1, y4), (x1, y5)}
= sup{0.5, 0, 1, 0.9, 0.9}
= 1

P roy(x2)R = sup{(x2, y1), (x2, y2), (x2, y3), (x2, y4), (x2, y5)}
= sup{1, 0.4, 0.5, 0.3, 0.1}
= 1

P roy(x3)R = sup{(x3, y1), (x3, y2), (x3, y3), (x3, y4), (x3, y5)}
= sup{0.7, 0.8, 0, 0.2, 0.6}
= 0.8

P roy(x4)R = sup{(x4, y1), (x4, y2), (x4, y3), (x4, y4), (x4, y5)}
= sup{0.1, 0.3, 0.7, 1, 0}
= 1

Losgradosdepertenenciaparatodoslospares,laproyecciondeXes:

P roy(X)R = {(x1, 1), (x2, 1), (x3, 0.8), (x4, 1)}

ParacadapardepuntosenY

P roy(y1)R = sup{(x1, y1), (x2, y1), (x3, y1), (x4, y1)}

= sup{0.5, 1, 0.7, 0.1}
= 1

P roy(y2)R = sup{(x1, y2), (x2, y2), (x3, y2), (x4, y2)}

= sup{0, 0.4, 0.8, 0.3}
= 0.8

P roy(y3)R = sup{(x1, y3), (x2, y3), (x3, y3), (x4, y2)}

= sup{1, 0.5, 0, 0.7}
= 1


P roy(y4)R = sup{(x1, y4), (x2, y4), (x3, y4), (x4, y4)}
= sup{0.9, 0.3, 0.2, 1}
= 1

P roy(y5)R = sup{(x1, y5), (x2, y5), (x3, y5), (x4, y5)}

= sup{0.9, 0.1, 0.6, 0}
= 0.9

Losgradosdepertenenciaparatodoslospares,laproyecciondeYes:

P roy(Y )R = {(y1, 1), (y2, 0.8), (y3, 1), (y4, 1), (y5, 0.9)}

i. Luego calcule las extensiones cilndricas de estas relaciones de las

proyeccionesR(x)yR(y)

R(X)=

y1

y2

y3

y4

y5

x1

x2

x3

0.8

0.8

0.8

0.8

0.8

x4

y1

y2

y3

y4

y5

x1

0.8

0.9

x2

0.8

0.9

x3

0.8

0.8

x4

0.8

0.9

R(Y)=

ii. Grafiqueloscuatroconjuntosdifusosresultantesdelostemsi)yii)

Puntosdelosconjuntosdifusos.

ExtencioncilindricaX

Azulx1
Verdex2
Amarillox3
Rojox4

ExtencioncilindicaenY

3. Sea el universo X={1,2,3,4} y se definen los enteros pequeos como

A=1/1+0.5/2+0.4/3+0.2/4locualseresumeenlasiguientetabla:
1

0.5

0.4

0.2

Sealarelacindifusa(fuzzy)casiigualdefinidacomo

Cul es la funcin de membresa del conjunto difuso B=enteros bastante

pequeos?, si se interpreta como la composicin de A con R? Use la
composicinmaxmin

Lacomposicionmaxminseobtienedelasiguienteforma:

max{min(1,1),min(0.5,0.8),min(0.4,0),min(0.2,0)}=max{1,0.5,0,0}=1
max{min(1,0.8),min(0.5,1),min(0.4,0.8),min(0.2,0)}=max{0.8,0.5,0.4,0}=0.8
max{min(1,0),min(0.5,0.8),min(0.4,1),min(0.2,0.8)}=max{0,0.5,0.4,0.2}=0.5
max{min(1,0),min(0.5,0),min(0.4,0.8),min(0.2,1)}=max{0,0,0.4,0.2}=0.4

luego la funcion de pertenencia del conjunto difuso B que es la composicin

maxmindeAconRestaradadaporlasiguientetabla:

0.8

0.5

0.4

4. (inferencia difusa) Considere una regla If x is A then y isB con conjuntos

difusos
A={0.1/x1,0.4/x2,1/x3}andB={0/y1,1/y2,0.2/y3}.
Calcule la relacin difusa R que representa el valor de verdad de esta regla
difusa. Use primero la tnorma del mnimo y luego la implicacin de
ukasiewicz.Discutaladiferenciaenlosresultados.

Latnormadelmnimosedefinedelasiguienteforma:

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

Luegorelacindifusadeimplicacinmediantelatnormasedefinircomo:

ab(x1,y1)=min(0.1,0)=0
ab(x1,y2)=min(0.1,1)=0.1
ab(x1,y3)=min(0.1,0.2)=0.2
ab(x2,y1)=min(0.4,0)=0
ab(x2,y2)=min(0.4,1)=0.4
ab(x2,y3)=min(0.4,0.2)=0.2
ab(x3,y1)=min(1,0)=0
ab(x3,y2)=min(1,1)=1
ab(x3,y3)=min(1,0.2)=0.2

Porotrolado,laimplicacindeLukasiewiczsedefiniradelasiguienteforma:

ab(x,y)=min{1,[1A(x)+B(y)]}

luegosetienencomoresultadolasiguienterelacindifusa:

ab(x1,y1)=min{1,[1A(x1)+B(y1)]}=min(1,10.1+0)=0
ab(x1,y2)=min{1,[1A(x1)+B(y2)]}=min(1,10.1+1)=1

ab(x1,y3)=min{1,[1A(x1)+B(y3)]}=min(1,10.1+0.2)=1
ab(x2,y1)=min{1,[1A(x2)+B(y1)]}=min(1,10.4+0)=0.6
ab(x2,y2)=min{1,[1A (x2)+B (y2)]}=min(1,10.4+1)=1
ab(x2,y3)=min{1,[1A (x2)+B (y3)]}=min(1,10.4+0.2)=0.8
ab(x3,y1)=min{1,[1A (x3)+B (y1)]}=min(1,11+0)=0
ab(x3,y2)=min{1,[1A (x3)+B (y2)]}=min(1,11+1)=1
ab(x3,y3)=min{1,[1A (x3)+B (y3)]}=min(1,11+0.2)=0.2

Un caracterstica evidente al comparar la implicacin de Mamdani y la de

Lukasiewicz es que en sta ltima, an cuando y no pertenece a B, la
implicacin puededarcomoresultadouno.Porotrolado,sinixeypertenecen
a A y B respectivamente de tal manera que su suma de como resultado 0, la
implicacin da como resultado 0 tambien. Son caractersticas que no ocurren
enlaimplicacindeMamdanipuestoqueahisolosetomaelmnimo.