El juego de Wumpus

A(x,y) := El aventurero est á en la casilla con coordenadas (x,y).

W(x,y) := El Wumpus est á en la casilla con coordenadas (x,y).

T(x,y) := El Tesoro est á en la casilla con coordenadas (x,y).

P(x,y) := Hay un Pozo en la casilla con coordenadas (x,y).

V(x,y) := Hay Viento en la casilla con coordenadas (x,y).

H(x,y) := Hay Hedor en la casilla con coordenadas (x,y).

L(x,y) := La casilla con coordenadas (x,y) est á libre.

Condiciones

Las condiciones del juego son las siguiente:

1. El Aventurero siempre inicia en la casilla inferior izquierda (con coordenadas (0,0)).

2. El Tesoro se encuentra siempre en la misma casilla que el Wumpus.

3. El Aventurero no conoce el tablero, es decir, no sabe donde est á n los elementos que lo
conforman,

so
́ lo es capaz de percibir lo que hay en la casilla donde se encuentra parado y tiene conocimiento

de las casillas que ha ido avanzando y las inferencias que puede hacer respecto a sus
percepciones.

4. Las percepciones que puede tener y deducciones que puede realizar son:

a) Puede percibir Hedor, en tal caso, el Wumpus est á en una de las casillas adyacentes.

b) Puede percibir Viento, en tal caso, hay un Pozo en alguna de las casillas adyacentes.

c) Puede percibir Viento y Hedor en la misma casilla, en tal caso hay un pozo en una casilla

adyacente y, tambi é n, el Wumpus est á en alguna casilla adyacente.

d) Puede percibir un grito despu é s de lanzar su flecha, indicando que el Wumpus ha muerto.

e) Cada viento solo corresponde a un u

́ nico pozo.

5. Dada una casilla, solo se consideran casillas adyacentes a é sta, aquellas que colindan al norte,
sur,

este u oeste, m á s no las que se encuentren en diagonal.

Ejercicio 1 (1 pt) Dado la siguiente expresi o ́ n, dibuja el tablero y determina si es una
configuraci ó n v á lida de acuerdo con las condiciones del juego. Explica tu razonamiento.

A(0, 0) ∧ P(3, 1) ∧ V (3, 0) ∧ V (2, 1) ∧ V (4, 1) ∧ V (3, 2)∧ P(5, 3) ∧ V (4, 2) ∧ V (5, 1) ∧ V (5, 4) ∧
W(2, 1) ∧ H(2, 0) ∧ H(1, 1) ∧ H(2, 2)

6,0 6,1 6,2 6,3 6,4 6,5 6,6

5,0 5,1 5,2 5,3 5,4 5,5 5,6
V P V
4,0 4,1 4,2 4,3 4,4 4,5 4,6
V V
3,0 3,1 3,2 3,3 3,4 3,5 3,6
V P V
2,0 2,1 2,2 2,3 2,4 2,5 2,6
H W H
1,0 1,1 1,2 1,3 1,4 1,5 1,6
H
0,0 0,1 0,2 0,3 0,4 0,5 0,6
A

Ejercicio 2 (1 pt) Traduce la Regla 4 a l o

́ gica de predicados.

Regla 4: Si la casilla en la casilla (x,y) est á libre, entonces no hay pozo ni est á Wumpus en ninguna

de las casillas adyacentes.

∀x∀y L(x, y) → ¬P(x − 1, y) ∨ ¬P(x + 1, y) ∨ ¬P(x, y + 1) ∨ ¬P(x, y − 1) ∧ (¬W(x − 1, y) ∨ ¬W (x + 1, y)

∨ ¬W (x, y + 1) ∨ ¬W (x, y − 1))

Ejercicio 3 (1 pt) Traduce la Regla 6 a l o

́ gica de predicados.

Regla 6: Si en la casilla (x,y) hay un Pozo, entonces hay viento en cada una de las casillas
adyacentes.

∀x∀y P(x, y) → V(x − 1, y) ∨ V(x + 1, y) ∨ V(x, y + 1) ∨ V(x, y − 1)

Ejercicio 4 (1 pt) Traduce la Regla 7 a l o

́ gica de predicados.

Regla 7: Una casilla (x,y) est á libre si y solo si no hay hedor ni viento y tampoco o Wumpus.

∀x∀y L(x, y) → (¬H(x − 1, y) ∧ ¬H(x + 1, y) ∧ ¬H(x, y + 1) ∧ ¬H(x, y − 1) ∧ (¬W(x − 1, y) ∨ ¬W (x + 1,

y) ∨ ¬W (x, y + 1) ∨ ¬W (x, y − 1))
Ejercicio 5 (1 pt) Traduce la Regla 9 a l o
́ gica de predicados.

Regla 9: Si no hay hedor en la casilla (x,y) entonces no est á Wumpus en ninguna de las casillas

adyacentes.

∀x∀y ¬H(x, y) → (¬W(x − 1, y) ∨ ¬W (x + 1, y) ∨ ¬W (x, y + 1) ∨ ¬W (x, y − 1))

Ejercicio 6 (3 pt) Describe las reglas correspondientes a los desplazamientos EST E (Regla 10.c)

y OEST E (Regla 10.d)

∀x∀y(A(x, y) ∧ Mov(ESTE) → A(x , y + 1)

∀x∀y(A(x, y) ∧ Mov(OESTE) → A(x, y-1)

Ejercicio 7 (2 pts) Traduce la siguiente información o

́ n a l ĺ ógica de predicados o l o
́ gica de
proposiciones,

seg u
́ n sea el caso, para lo cual debes agregar los predicados o variables proposicionales que
requieras,

indicando su significado en espa n

̃ ol.

a. El aventurero tiene una sola flecha.

A(1,flecha)

b. Si el Aventurero escucha un grito despu é s de lanzar su flecha, entonces el Wumpus est á

muerto y

el Aventurero gana el juego.

Gurito(W A(flecha) ->Mató(A,W) ∧ gana(A)

Ejercicio 8 (4 pt) Deduce en qu é casilla se encuentra el Wumpus en la figura 4. Formaliza tu

razona-

miento con l o
́ gica de predicados como se hizo en el ejemplo anterior.
Ejercicio 9 (2pts) Considerando las siguientes especificaciones, se deben traducir a la a l o
́ gica de
predi-

cados y construir un tablero que cumpla con ellas

1. Hay al exactamente dos Pozos.

6,0 6,1 6,2 6,3 6,4 6,5 6,6

5,0 5,1 5,2 5,3 5,4 5,5 5,6
V P V
4,0 4,1 4,2 4,3 4,4 4,5 4,6
V V
3,0 3,1 3,2 3,3 3,4 3,5 3,6
V P V
2,0 2,1 2,2 2,3 2,4 2,5 2,6
H W H
1,0 1,1 1,2 1,3 1,4 1,5 1,6
H
0,0 0,1 0,2 0,3 0,4 0,5 0,6
A

A(0, 0) ∧ P(3, 1) ∧ V (3, 0) ∧ V (2, 1) ∧ V (4, 1) ∧ V (3, 2)∧ P(5, 3) ∧ V (4, 2) ∧ V (5, 1) ∧ V (5, 4) ∧
W(2, 1) ∧ H(2, 0) ∧ H(1, 1) ∧ H(2, 2)

2. Ninguno de los pozos est á n en la misma columna que el Wumpus.

6,0 6,1 6,2 6,3 6,4 6,5 6,6

5,0 5,1 5,2 5,3 5,4 5,5 5,6
V P V
4,0 4,1 4,2 4,3 4,4 4,5 4,6
V V
3,0 3,1 3,2 3,3 3,4 3,5 3,6
V V
2,0 2,1 2,2 2,3 2,4 2,5 2,6
H W H P
1,0 1,1 1,2 1,3 1,4 1,5 1,6
H
0,0 0,1 0,2 0,3 0,4 0,5 0,6
A
∀x∀y P(x, y) → (¬W(x − 1, y) ∧ ¬W(x + 1, y) ∧ ¬W(x, y + 1) ∧ ¬W(x, y − 1) ∧ (¬P(x − 1, y) ∨ ¬P (x + 1,
y) ∨ ¬P (x, y + 1) ∨ ¬P (x, y − 1))

Ejercicio 10 (2pts) Considerando las siguientes especificaciones, se deben traducir a espa n

̃ ol y
construir

un tablero que cumpla con ellas.

1. ∃x1∃y1∃x2∃y2(P(x1, y1) ∧ P(x2, y2) ∧ (x1 = x2 ∨ y1 = y2))3

Hay una casilla en donde se encentra un pozo y que también hay viento

6,0 6,1 6,2 6,3 6,4 6,5 6,6

5,0 5,1 5,2 5,3 5,4 5,5 5,6
V P
V
4,0 4,1 4,2 4,3 4,4 4,5 4,6
V V
3,0 3,1 3,2 3,3 3,4 3,5 3,6
V V
2,0 2,1 2,2 2,3 2,4 2,5 2,6
H W H P
1,0 1,1 1,2 1,3 1,4 1,5 1,6
H
0,0 0,1 0,2 0,3 0,4 0,5 0,6
A

2. ∀x∀y P(x, y) → ¬∃z(P(x, z) ∧ y ¡= z)

Si hay una casilla x,y donde hay un pozo entonces no hay otro pozo en esa fila

6,0 6,1 6,2 6,3 6,4 6,5 6,6

5,0 5,1 5,2 5,3 5,4 5,5 5,6
V P

4,0 4,1 4,2 4,3 4,4 4,5 4,6

V V
3,0 3,1 3,2 3,3 3,4 3,5 3,6
V V
2,0 2,1 2,2 2,3 2,4 2,5 2,6
H W H
1,0 1,1 1,2 1,3 1,4 1,5 1,6
H P
0,0 0,1 0,2 0,3 0,4 0,5 0,6
A