18 and 25 Feb 2004
CS 3243 - Logical Agents
28
Wumpus world sentences
nLet Pi,j be true if there is a pit in [i, j].
nLet Bi,j be true if there is a breeze in [i, j].
nØP1,1
nØB1,1
nB2,1
n
n"Pits cause breezes in adjacent squares"
nB1,1  Û (P1,2 Ú P2,1)
nB2,1  Û (P1,1 Ú P2,2 Ú P3,1)