EE-240/2009

Inferncia

EE240/2009

Dicionrio Aurlio:

Inferir: Tirar por concluso, deduzir pelo raciocnio

Inferncia: Ato ou efeito de inferir; induo, concluso; admisso
de verdade de uma proposio que no conhecida diretamente,
em virtude de sua ligao com outras proposies admitidas como
verdadeiras

EE240/2009

Dicionrio Aurlio:

Inferir: Tirar por concluso, deduzir pelo raciocnio

Inferncia: Ato ou efeito de inferir; induo, concluso; admisso
de verdade de uma proposio que no conhecida diretamente,
em virtude de sua ligao com outras proposies admitidas como
verdadeiras

Dadas proposies P1, ... , Pn concluir proposio C

{ P1, ... , Pn } C

EE240/2009

{ P1, ... , Pn } C
Modus Ponens:
P1 A
P2 ( A B )
CB
A = Sobrecorrente na armadura no motor eltrico
B = Elevao da temperatura dos enrolamentos de armadura
Abduo (Inferncia Invlida):
P1 B
P2 ( A B )
C A
A = Sobrecorrente na armadura no motor eltrico
B = Elevao da temperatura dos enrolamentos de armadura
EE240/2009

{ P1, ... , Pn } C
Modus Ponens:
P1 A
P2 ( A B )
CB
A = Sobrecorrente na armadura no motor eltrico
B = Elevao da temperatura dos enrolamentos de armadura
A

A B

EE240/2009

{ P1, ... , Pn } C
Modus Tollens:
P1 B
P2 ( A B )
C A
A = Sobrecorrente na armadura no motor eltrico
B = Elevao da temperatura dos enrolamentos de armadura
Abduo (Inferncia Invlida):
P1 B
P2 ( A B )
C A
A = Sobrecorrente na armadura no motor eltrico
B = Elevao da temperatura dos enrolamentos de armadura
EE240/2009

{ P1, ... , Pn } C
Modus Tollens:
P1 B
P2 ( A B )
C A
A = Sobrecorrente na armadura no motor eltrico
B = Elevao da temperatura dos enrolamentos de armadura
A

A B

EE240/2009

{ P1, ... , Pn } C
Silogismo Disjuntivo:
P1 A
P2 A B
CB
A = Sobrecorrente na armadura no motor eltrico
B = Atrito excessivo nos mancais
A

A B

EE240/2009

Exemplo
OVR_P = Presso excessiva no reator
OVR_T = Temperatura excessiva no reator
OUT_F_ON = Vlvula de distribuio habilitada
V_ON = Vlvula de alvio aberta
R_ON = Resistncia de aquecimento
FALHA_IMINENTE
P1 = R_ON
P2 = OUT_F_ON
P3 = V_ON
P4 = R_ON ( OUT_F_ON V_ON ) OVR_T
P5 = OVR_T OVR_P
P6 = OVR_P V_ON FALHA_IMINENTE
C = FALHA_IMINENTE
EE240/2009

Abduo:
P1 B
P2 ( A B )
C A
A = Sobrecorrente na armadura no motor eltrico
B = Elevao da temperatura dos enrolamentos de armadura
A e B relacionados P( B | A ) = P( A B ) / P( A )
Bayes
P( A | B ) = P( B | A ) P( A ) / P( B )

EE240/2009

13

11

19

20

15

16
14

17
9

18

10
12

= { 1,2,3,...,20 }

P (i) = 0.05

EE240/2009

13

11

19

20

16
14

17
9

18

15

10
12

Exemplo:
P( i 10 ) = 0.55

EE240/2009

13

11

19

20

16
14

17
9

18

15

10
12

P( i 10 | i = par ) = P( i 10 i = par ) / P ( i = par )

P( i 10 | i = par ) = 0.30

EE240/2009

A B

P( A | B ) = P( A B ) / P ( B )

P( B | A ) = P( A B ) / P ( A )

P( B | A ) P ( A ) = P( A | B ) P ( B )
Frmula de Bayes

P( B | A ) =

P( A | B ) P ( B )
P ( A)
EE240/2009

Bn
B1
A

Bi disjuntos
Bk

B2

P( Bi | A ) =

P( A | Bi ) P ( Bi )
P( A | B1 ) P ( B1 ) + ... + P( A | Bn ) P ( Bn )
B1 = H

P( H | E ) =

B2 = H

A= E

P( E | H ) P ( H )
P( E | H ) P ( H ) + P( E | H ) P (H )
EE240/2009

A B

P( A B ) = P( A | B ) P ( B )
Se B j tiver sido obtido de interseco:
B=CD

Regra da Cadeia

P( A C D ) = P( A | C D ) P (C D )
P( C D ) = P( C | D ) P ( D )

P( A C D ) = P( A | C D ) P( C | D ) P ( D )
EE240/2009

Exemplo:
Lote de componentes novos: P(Ruim) = 0.001 e P(Bom) = 0.999
Ensaio de Laboratrio: P(Aprovado | Bom) = 0.95 e P(Aprovado | Ruim) = 0.01
Qual a probabilidade do componente ser Ruim, dado que no foi aprovado no teste?
Obs: P(Aprovado | Bom) = 1 0.95 = 0.05 e P(Aprovado | Ruim) = 1 0.01 = 0.99

P( H | E ) =

P( E | H ) P ( H )
P( E | H ) P ( H ) + P( E | H ) P (H )
EE240/2009

Exemplo:
Lote de componentes novos: P(Ruim) = 0.001 e P(Bom) = 0.999
Ensaio de Laboratrio: P(Aprovado | Bom) = 0.95 e P(Aprovado | Ruim) = 0.01
Qual a probabilidade do componente ser Ruim, dado que no foi aprovado no teste?
Obs: P(Aprovado | Bom) = 1 0.95 = 0.05 e P(Aprovado | Ruim) = 1 0.01 = 0.99

P(Ruim | Aprovado) = P(Aprovado|Ruim) P(Ruim) / P(Aprovado)

P(Aprovado) = P(Aprovado | Bom) P(Bom) + P(Aprovado | Ruim) P(Ruim)]

P(Ruim | Aprovado) = 0.99 0.001 / (0.05 0.999 + 0.99 0.001) = 0.019

P( R | A ) =

P( A | R ) P ( R )
P( A | R ) P ( R ) + P( A | R ) P ( R )
EE240/2009

Exemplo:
Lote de componentes novos: P(Ruim) = 0.001 e P(Bom) = 0.999
Ensaio de Laboratrio: P(Aprovado | Bom) = 0.95 e P(Aprovado | Ruim) = 0.01
Qual a probabilidade do componente ser Ruim, dado que no foi aprovado no teste?
Obs: P(Aprovado | Bom) = 1 0.95 = 0.05 e P(Aprovado | Ruim) = 1 0.01 = 0.99

1.000.000 de componentes
1.000 Ruins
10 Aprovados

999.000 Bons

990 Rejeitados

49.950 Rejeitados

949.050 Aprovados

50.940 Rejeitados
990 / 50.940 = 0.019
P(Ruim | Aprovado) = 0.99 0.001 / (0.05 0.999 + 0.99 0.001) = 0.019
EE240/2009

Exemplo:
Lote de componentes recuperados da sucata: P(Ruim) = 0.80 e P(Bom) = 0.20
Ensaio de Laboratrio: P(Aprovado | Bom) = 0.95 e P(Aprovado | Ruim) = 0.01
Qual a probabilidade do componente ser Ruim, dado que no foi aprovado no teste?
Obs: P(Aprovado | Bom) = 1 0.95 = 0.05 e P(Aprovado | Ruim) = 1 0.01 = 0.99

P(Ruim | Aprovado) = P(Aprovado|Ruim) P(Ruim) / P(Aprovado)

P(Aprovado) = P(Aprovado | Bom) P(Bom) + P(Aprovado | Ruim) P(Ruim)]

P(Ruim | Aprovado) = 0.99 0.8 / (0.05 0.0.20 + 0.99 0.80) = 0.98

P( R | A ) =

P( A | R ) P ( R )
P( A | R ) P ( R ) + P( A | R ) P ( R )
EE240/2009

{ A, ( A C )} C
Se A Ento C
A Antecedente
C Consequente
P( A | C ) =

P( C | A ) P ( A )
P( C | A ) P ( A ) + P( C | A ) P (A )

Se H Ento E
H Hiptese
E Evidncia

P( H | E ) =

Dado E qual a probabilidade de H estar correta?

P( E | H ) P ( H )
P( E | H ) P ( H ) + P( E | H ) P (H )

EE240/2009

{ A, ( A C )} C
Se A Ento C
A Antecedente
C Consequente
P( A | C ) =

P( C | A ) P ( A )
P( C | A ) P ( A ) + P( C | A ) P (A )

Likelihood of Sufficiency:

Likelihood of Necessity:

LS =

LN =

P( C | A )
P( C | A )
P( C | A )
P( C | A )

EE240/2009

A = Aquecimento do Fio
C = Curto-circuito

A = Aditivo no Combustvel
C = Carburador Sujo

P( C | A ) = 0.8
P( C | A ) = 0.2
P( C | A ) = 0.05
P( C | A ) = 0.95

P( C | A ) = 0.3
P( C | A ) = 0.7
P( C | A ) = 0.9
P( C | A ) = 0.1

LS = 16
LN = 0.21

LS = 0.33
LN = 7

Likelihood of Sufficiency:

Likelihood of Necessity:

LS =

LN =

P( C | A )
P( C | A )
P( C | A )
P( C | A )

EE240/2009

Redes Bayesianas
Grafos Direcionados Acclicos:
Vrtices (ou ns)
Arcos (direcionados)

EE240/2009

Redes Bayesianas
Grafos Direcionados Acclicos:
Pai de SC
N SC

Descendentes de SC

Condio de Markov:
Se V um vrtice, V condicionalmente independente de todos os
ns no descendentes, dados os pais

EE240/2009

Redes Bayesianas
ND3

V dito ser
condicionalmente
independente
de ND = { ND1 , ... , NDn } dado
P = { P1 , ... , Pm } se
P( V | ND,P ) = P( V | P )

P1 ND1
ND2

ND4

Descendentes de V

Condio de Markov:
Se V um vrtice, V condicionalmente independente de todos os
ns no descendentes, dados os pais

EE240/2009

Redes Bayesianas
Grafos Direcionados Acclicos:

P( MD | AQ,SC ) = 0.98
P( MD | AQ, SC ) =0.30
P( MD | AQ,SC ) =0.40
P( MD | AQ, SC ) =0.01

ET

AQ

SC

MD

AL

P( AL | SC ) = 0.99
P( AL | SC ) =0.03

Condio de Markov:
Se V um vrtice, V condicionalmente independente de todos os
ns no descendentes, dados os pais

EE240/2009

Clculo das Probabilidades

ET

AQ

SC

Clculo de P( MD | AQ ):
MD

AL

P( MD | AQ ) = P ( MD , SC | AQ ) + P ( MD , SC | AQ )
Regra da Cadeia:
P( A,B,C ) = P( A | B , C ) P ( B | C ) P( C )
P( MD | AQ ) = P ( MD | SC , AQ )P ( SC | AQ ) + P ( MD | SC , AQ ) P ( SC | AQ )
Condio de Markov:
P ( SC | AQ ) = P ( SC ) e P ( SC | AQ ) = P ( SC )
P( MD | AQ ) = P ( MD | SC , AQ )P ( SC ) + P ( MD | SC , AQ )P ( SC )

EE240/2009

P(ET)=0.05
P(ET)=0.95

ET

AQ

P(AQ | ET) = 0.80

P( AQ | ET) = 0.20
P(AQ | ET) = 0.10
P( AQ | ET) = 0.90

SC

MD

AL

P(SC | ET) = 0.95

P( SC | ET) = 0.05
P(SC | ET) = 0.05
P( SC | ET) = 0.95
P(MD | AQ, SC) = .98
P( MD | AQ, SC ) = .02
P(MD | AQ, SC) = .50
P( MD | AQ, SC) = .50
P(MD | AQ, SC) = .40
P( MD | AQ, SC ) = .60
P(MD | AQ, SC) = .01
P( MD | AQ, SC) = .99
P(AL | SC) = 0.99
P( AL | SC) = 0.01
P(AL | SC) = 0.03
P( AL | SC) = 0.97

EE240/2009

P(ET)=0.05
P(ET)=0.95
P(AQ | ET) = 0.80
P( AQ | ET) = 0.20
P(AQ | ET) = 0.10
P( AQ | ET) = 0.90
P(SC | ET) = 0.95
P( SC | ET) = 0.05
P(SC | ET) = 0.05
P( SC | ET) = 0.95
P(MD | AQ, SC) = .98
P( MD | AQ, SC ) = .02
P(MD | AQ, SC) = .50
P( MD | AQ, SC) = .50
P(MD | AQ, SC) = .40
P( MD | AQ, SC ) = .60
P(MD | AQ, SC) = .01
P( MD | AQ, SC) = .99
P(AL | SC) = 0.99
P( AL | SC) = 0.01
P(AL | SC) = 0.03
P( AL | SC) = 0.97

EE240/2009

EE240/2009

EE240/2009

{ P1, ... , Pn } C
Modus Ponens:
P1 A
P2 ( A B )
CB
A = Sobrecorrente na armadura no motor eltrico
B = Elevao da temperatura dos enrolamentos de armadura

Razovel?

9,09 A OK, sem sobrecorrente

Sobrecorrente = Iarmadura > 10,0 A
10,1 A NOK, sobrecorrente

EE240/2009

{ P1, ... , Pn } C

Lgica Nebulosa
Funo Indicadora
1

Lgica Clssica
10,0

Iarmadura (A)

Funo de Pertinncia

Lgica Nebulosa

10,0

Iarmadura (A)

9,09 A OK, sem sobrecorrente

Sobrecorrente = Iarmadura > 10,0 A
10,1 A NOK, sobrecorrente

EE240/2009

Lgica Nebulosa
Funo Indicadora
1

Iarmadura (A)

10,0
Corrente Normal

Sobrecorrente

Funo de Pertinncia
1

sobrecorrente

normal

Iarmadura (A)

10,0
Corrente Normal

Sobrecorrente

EE240/2009

Inferncia Nebulosa
Regra 1

Presso

Regra 2

Vazo

Presso

Vlvula

Vazo

Presso

Regra 3

Vlvula

Vazo

Vlvula

EE240/2009

Inferncia Nebulosa

Regra 1

Regra 2

Vazo

Presso

Regra 3

Vlvula

Vazo

Presso

Presso medida

Vlvula

Vazo

Presso

Vlvula

Vazo medida

EE240/2009

Inferncia Nebulosa

Regra 1

Regra 2

Vazo

Presso

Regra 3

Vlvula

Vazo

Presso

Presso medida

Vlvula

Vazo

Presso

Vlvula

Vazo medida

EE240/2009

Inferncia Nebulosa

Regra 1

Regra 2

Vazo

Presso

Regra 3

Vlvula

Vazo

Presso

Presso medida

Vlvula

Vazo

Presso

Vlvula

Vazo medida

EE240/2009

Inferncia Nebulosa

Regra 1

Regra 2

Vazo

Presso

Regra 3

Vlvula

Vazo

Presso

Presso medida

Vlvula

Vazo

Presso

Vazo medida

Vlvula

Vlvula

EE240/2009

Inferncia Nebulosa

Regra 1

Regra 2

Vazo

Presso

Regra 3

Vlvula

Vazo

Presso

Presso medida

Vlvula

Vazo

Presso

Vlvula

Vlvula

Vazo medida
Posio da Vlvula

EE240/2009

EE240/2009

EE240/2009

EE240/2009

EE240/2009

Muito Obrigado!

EE240/2009