3 Mar 2004
CS 3243 - Chapter 8
18
Interacting with FOL KBs
nSuppose a wumpus-world agent is using an FOL KB and perceives a smell and a breeze (but no glitter) at t=5:
n
¡Tell(KB,Percept([Smell,Breeze,None],5))
¡Ask(KB,$a BestAction(a,5))
n
nI.e., does the KB entail some best action at t=5?
n
nAnswer: Yes, {a/Shoot}  ← substitution (binding list)
n
nGiven a sentence S and a substitution σ,
nSσ denotes the result of plugging σ into S; e.g.,
¡S = Smarter(x,y)
¡σ = {x/Hillary,y/Bill}
¡Sσ = Smarter(Hillary,Bill)
n
nAsk(KB,S) returns some/all σ such that KB╞ σ