Agindo e raciocinando no mundo de

Wumpus
Um exemplo mostrar porque um agente eficaz
dever ser dotado de alguma habilidade de
deduo lgica

Page19

O Mundo de Wumpus
Mau cheiro
Buraco

Wumpus

Prmio
Vento

Agente
Page52

Mundo de Wumpus
1,4

2,4

1,3

2,3

1,2

2,2

3,2

4,2

1,1

2,1

3,1

4,1

3,4

3,3

4,4

A: Agente

4,3

A partir de que no h mau cheiro nem vento, o agente

infere que as clulas (1,2), (1,1) e (2,1) so seguras

Page20

Mundo de Wumpus
1,4

2,4

1,3

2,3

1,2

2,2

Ok

1,1

Vi

Ok

2,1

3,4

3,3

Ok
Vi
V

4,4

4,3

3,2

4,2

3,1

4,1

OK: clula ok
V: vento
P: buraco
Vi: visitada

Na clula (2,1) o agente detecta vento, permitindo

que ele deduza que h um buraco em (2,2) e/ou (3,1)
H apenas uma clula Ok que no foi visitada

Page21

Mundo de Wumpus
1,4

2,4

1,3

2,3

1,2

A 2,2

3,4

4,4

3,3

4,3

W!

M Ok

1,1

Vi

Ok

Vi
2,1

P?

Ok
V
Vi

3,2

4,2

3,1

4,1

P?

OK: clula ok
V: vento
P: buraco
Vi: visitada
M: mau cheiro
W: Wumpus

Na clula (1,2) o agente detecta mau cheiro; uma vez

que o Wumpus no pode estar nas clulas (2,2) e nem
em (1,1), o agente conclui que ele est em (1,3)

Page22

Mundo de Wumpus
1,4

2,4

1,3

2,3

1,2

A 2,2

3,4

4,4

3,3

4,3

W!

M Ok

1,1

Vi

Ok

Vi
2,1

OK

Ok
V
Vi

3,2

4,2

3,1

4,1

P!

A: agente
OK: clula ok
V: vento
P: buraco
Vi: visitada
M: mau cheiro
W: Wumpus

A falta de vento na cclula (1,2) indica que no h

buraco na clula (2,2), mas apenas na clula (3,1)
Page23

Mundo de Wumpus
1,4

2,4

3,4

4,4

1,3

2,3

1,2

2,2

3,2

4,2

2,1

3,1

4,1

3,3

4,3

W!

M Ok

1,1

Vi

Ok

Vi

A OK
Vi

Ok
V
Vi

P!

A: agente
OK: clula ok
V: vento
P: buraco
Vi: visitada
M: mau cheiro
W: Wumpus

S h uma clula no visitada que seja segura, (2,2),

nesta posio o agente detecta o ouro
Page24

O Mundo de Wumpus
Mau cheiro

Wumpus

Buraco

Prmio
Vento

Agente

Page52

Um agente para o mundo de Wumpus

A cada passo, os valores dos sensores so
convertidos em sentenas e adicionados base de
dados, juntamente com sentenas derivadas
V: vento
M: mau cheiro
W: Wumpus

Page53

Configurao Inicial
1,4

2,4

1,3

2,3

1,2

A 2,2

M Ok

1,1

Vi

Ok

Vi
2,1

3,4

4,4

3,3

OK

Ok
V
Vi

4,3

3,2

4,2

3,1

4,1

P!

A: agente
OK: clula ok
V: vento
P: buraco
Vi: visitada
M: mau cheiro
W: Wumpus

Page54

Base de Conhecimento
Base de conhecimento inicial
M1,1
V1,1
M2,1
V2,1
M1,2
V1,2

Page55

Base de Conhecimento
O agente tambm precisa de conhecimento sobre o
ambiente.
O agente sabe que se uma clula no tem cheiro
ruim, ento o Wumpus no est na vizinhana
R1: M1,1 W1,1 W1,2 W2,1
R2: M2,1 W1,1 W2,1 W2,2 W3,1
R3: M1,2 W1,1 W1,2 W2,2 W1,3

Page56

Outros fatos
Se h mau cheiro em [1,2], ento o Wumpus deve
estar em [1,2] ou em uma clula adjacente
R4: M1,2 W1,3 W1,2 W2,2 W1,1
O objetivo do agente encontrar o Wumpus

Page57

Encontrando o Wumpus
Dadas as sentenas acima, o agente pode concluir
W1,3 (Wumpus est na clula [1,3])
Basta o agente construir a tabela verdade para a
sentena
KB |= W1,3
Qual seria a dificuldade?

Page58

Encontrando o Wumpus
Existem doze smbolos proposicionais, portanto a
tabela verdade teria 212 = 4096 linhas
Teramos de verificar se em cada linha em que
KB verdadeira se W1,3 tambm verdadeiro

Page59

Inferncia atravs das regras

Em vez de utilizar a tabela verdade, vamos

utilizar regras de inferncia para se concluir W1,3

1. A partir de M1,1 e R1,

R1: M1,1 W1,1 W1,2 W2,1,
obtemos: W1,1 W1,2 W2,1
2. Assim obtemos
W1,1
W1,2
W2,1

1. Aplicando Modus Ponens a f11 e

R1, obtemos:
W11 W12 W21

2. Aplicando E-eliminao a (1), obtemos

trs sentenas isoladas:
W11

W12

W21

Page60

Inferncia atravs das regras

3. A partir de M2,1 e R2,
R2: M2,1 W1,1 W2,1 W2,2 W3,1,
obtemos: W11 W21
W22W2,1
W31
W2,2
W3,1
4. A partir de M1,2 e R4,
R4: M1,2 W1,3 W1,2 W2,2 W1,1,
obtemos:
W1,3 W1,2 W2,2 W1,1
Page61

Inferncia atravs das regras

5. Aplicando resoluo nas proposies abaixo
W1,3 W1,2 W2,2 W1,1 Resoluo unidade
W1,1
obtemos:
W1,3 W1,2 W2,2
6. Aplicando resoluo nas proposies abaixo
W1,3 W1,2 W2,2
W2,2
obtemos:
W1,3 W1,2
Page62

Inferncia atravs das regras

6. Finalmente, aplicando resoluo em
W1,3 W1,2
W1,2
obtemos:
W1,3

Page63