LgicaFuzzy

ConectivoseInferncia

Professor:MrioBenevides
Monitores: BiancaMunaro
DiogoBorges
JonasAras

RenanIglesias
VaniusFarias

Conectivos
Oquesoconectivos?
Sooperadoresqueconectamsentenascomoe,ou,
seento(implica)eseesomentese.
Nalgicadifusasoutilizadososmesmosconectivosda
lgicaclssica.

Conectivos
Comosousados?
Umasentenamodificadapelapalavranoditanegaoda
sentenaoriginal.

Apalavraeusadaparajuntarduassentenasformando
umaconjunodeduassentenas.
Aoconectarmosduassentenascomapalavraoudita
disjunodasduassentenas.
Apartirdeduassentenaspodemosconstruiraformase...
ento...queditasentenacondicional

Conectivos

Nalgicafuzzyutilizamosamesmanotaodalgica
clssicapararepresentarosconectivos:

parano
^parae
vparaou
paraimplica
paraseesomentese

Linguagem

TabelasVerdade

FormadeCayleyXFormaCartesiana
Tabelasverdadesemelhantesasdalgicaclssicapodem
serconstruidasnalgicafuzzy.
Nosexemplosaseguir,utilizaremososvalores{0,0.5,1}
paraasfunesdepertinnciadasvariveis.Estesvalores
indicamoscasosondexnopertence,talvezpertenae
pertenceaoconjuntofuzzy,respectivamente.

Disjuno

Adisjunoequivalenteoperaodeunioterica,
ouseja,pvq=pmaxq,oqueinduzafunode
p q
p
q
pertinncia(x)=max((x),(x)).
Tabelaverdadedaoperaoou:pvq
pq 0

0.51

000.51
0.50.50.51
1111

Conjuno

Aconjunoequivalenteaoperaop^q=pminq,
p q
oqueinduzafunodepertinncia(x)=max
p
q
((x),(x)).
Tabelaverdadedaoperaoe:p^q
pq 0

0.51

0000
0.500.50.5
100.51

Negao

Assumiremosqueanegaodefinidacomoo
complemento,ouseja,p=1p.Issoinduzafunode
p
p
pertinncia(x)=1(x).

Negao

Tabelaverdadedaoperaonaoe:(p^q)=1(p^q)
esquerda.
Tabelaverdadedaoperaonaoou:(pvq)=1(pvq)
direita.
pq 0

0.51

pq 0

0.51

0111

010.50

0.510.50.5

0.50.50.50

110.50

1000

Implicao

Diferentedasanteriores,aoperaodeimplicao
possuivriasinterpretaes.
Sedefinirmosooperadornaformausual,ouseja,
pqpvq,obteremosumatabelaverdadeque

contraintuitivaondealgumasleislgicasdeixamdeser
respeitadas.
Umadasinterpretaesmaisaceitasaimplicaode
Gdel, quemaisadequadaqueainterpretaoclssica
poismaisrelaesdalgicaclssicasopreservadas.

ImplicaodeGdel

AimplicaodeGdelpodeserescritacomo:

p q pqq
TabelaverdadedaoperaoimplicaodeGdel:

pq 0

0.51

0111
0.5011
100.51

Implicao:equivalncia

Atabelaverdadeparaequivalncia()podeser

determinadaapartirdaimplicao(deGdel)econjuno,
vistoquepqomesmoque(pq)^(qp).

Tabelaverdadedaoperaoequivalncia:

pq 0

0.51

0100
0.5010.5
100.51

ImplicaodeMamdani

Interpretaoparaooperadordeimplicaomuito
utilizadoemcontroladoresfuzzy.
AimplicaodeMamdanidefinidapor:

a baminb
Onde*minoprodutoexterno,correspondendo
aplicaodeminacadaelementodoprodutocartesiano
entreaeb.Naprtica,equivalenteconjuno,ou
seja,aminb.

ImplicaodeMamdani

Aoperaoestilustradanatabelaaseguir:

ImplicaodeMamdani

Exemplodotanque:
Considereaimplicaoseonvelbaixoentoabraa
vlvulaV1
Paraosnveis[0litros,25litros,50litros,75litros,100
litros]temsebaixo=[1,0.75,0.5,0.25,0],
respectivamente.
Paraosestados[fechada,meioaberta,aberta],temse
abrir=[0,0.5,1],respectivamente.

ImplicaodeMamdani

Resultadodaoperao:

ImplicaodeMamdani

Atabelanosmostraque,quantomaioromeugraude
crenadequeonveldotanqueestbaixo,maior
tambmminhacrenadequeatorneiraestaraberta.
Eseonveldotanqueestalto?
Nadapodemosafirmar!!

Outrasinterpretaesparaimplicao

AnliseSemntica

possvelprovarumaexpressoenumerandotodasas
combinaesdevaloresdevariveisemlgicafuzzy,
assumindoqueodomniodasvariveisdiscretoe
limitado.

AnliseSemntica

Exemplo:modusponens [ p p q ] q
Asentenatemduasvariveiseassumiremosuma
discretizaotalqueavarivelpossatomartrsvalores(0,
0.5,1).
Istoimplicaqueteremos3=9combinaes,ilustradasna
tabelaaseguir.
Verificasequeomodusponensvlidoparalgica
fuzzy,tratandoaimplicaocomosendodeGdel.
Avalidadelimitadaaodomnioescolhido,maspodeser
estendidaparaumcasodemaiordimenso.

AnliseSemntica

AnliseSemntica
Oexemplomostraquealgicafuzzytrazoutrassolues
erequermaisesforocomputacionaldoquenocasoda
lgicaclssica.
PodesenotarqueaimplicaodeGdelpreservaa
tautologia.
Esteopreoquesepagaparatermosvaloresverdade
intermedirios,quecapturemaincerteza.

Inferncia

Parasechegaraconclusesapartirdeumabasederegras,
necessrioummecanismoqueproduzaumasadaapartir
deumacoleoderegrasdotipo"seento".
Istoconhecidocomo"infernciacomposicionalde
regras".
Overbo"inferir"significaconcluirapartirdeevidncias,
deduzirouterumaconsequncialgica.

Inferncia

Paracompreendermosmelhoroqueinferncia,podemos
pensaremumafunoy=f(x),ondefumadeterminada
funo,xavarivelindependenteeyoresultadoda
funo.
Ovalory0inferidoapartirdex0comafunof.

Inferncia:ModusPonens

ConsideremosnovamenteoexemplodoModusPonens.
Podemosescrevlodaseguinteforma:
P>Q
P

Ouseja,sePentoQverdadeesePverdade,entoQ
verdade.

Inferncia:ModusPonens

PodemosgeneralizaroModusPonensdizendo:

P>Q
P'

Q'

Lembrandoque,emLgicaFuzzy,P'poderserligeiramente
diferente de P, utilizandose modificadores. A seguir daremos
umexemplo.

Inferncia:ModusPonens

ExemplodaimplicaodeMamdani("modusponens
generalizado"),vistanoexemplodotanque:

R=baixo*minabrir

Umnovovetordeentradaparanvel,sendo:

Nvelquasebaixo=[0.75,1,0.75,0.5,0.25](1)

Inferncia:ModusPonens

FazendoseamultiplicaodasmatrizesnveleR,
representadaporv.^,temosovetor:
V1=nvel.R

V1=[0,0.5,0.75](2)

Inferncia:ModusPonens

0.75

0.75 0.5 0.25

v.^ 0
=0

0.5

0.5

0.75

0.5

0.75

0.5

0.5

0.25

0.25

0.5
0.5
+
+
0.5
0.5
+

0.75

00
+
+
0
0
+
0+

+
0.5

0.5

+
0
0
+
+
0
0
+

+
0.5
0.25
+
+
0.25
0
+

0
0.25

+
0.75
+

0.25
+
0

Inferncia:ModusPonens

Controledenvel:
o Aentrada"nvel"dadapor(1)umconjuntofuzzyque
representaonvelumpoucoacimade"baixo".
o OresultadoapsrealizarinfernciaumvetorV1
ligeiramenteabaixode"aberto"conformemostra(2).
o Setentssemoscolocar"nvel=baixo",esperaramos
obterumvetorV1comvalor"aberto"apsrealizara
composiocomR.