25 February 2004
CS 3243 - Logical Agents (part 2)
37
Inference-based
agents in the wumpus world
A wumpus-world agent using
propositional logic:
ØP1,1
ØW1,1
Bx,y Û (Px,y+1 Ú Px,y-1 Ú Px+1,y Ú Px-1,y)
Sx,y Û (Wx,y+1 Ú Wx,y-1 Ú Wx+1,y Ú Wx-1,y)
W1,1 Ú W1,2 Ú … Ú W4,4
ØW1,1 Ú ØW1,2
ØW1,1 Ú ØW1,3
…
Þ 64 distinct
proposition symbols, 155 sentences