10 Mar 2005
CS 3243 - FOL and Prolog
19
KB for the wumpus world
nPerception
¡"t,s,b Percept([s,b,Glitter],t) Þ Glitter(t)
n
nReflex
¡"t Glitter(t) Þ BestAction(Grab,t)