Inference-based agents in the wumpus world
A wumpus-world agent using propositional logic:
P
1,1
W
1,1
B
x,y
(P
x,y+1
P
x,y-1
P
x+1,y
P
x-1,y
)
S
x,y
(W
x,y+1
W
x,y-1
W
x+1,y
W
x-1,y
)
W
1,1
W
1,2
…
W
4,4
W
1,1
W
1,2
W
1,1
W
1,3
…
64 distinct proposition symbols, 155 sentences