KB for the wumpus world
n
Perception
¡
t,s,b Percept([s,b,Glitter],t)
Glitter(t)
n
Reflex
¡
t Glitter(t)
BestAction(Grab,t)