25 February 2004
CS 3243 - Logical Agents (part 2)
39
nWe didn’t
keep track of location and time in the KB.
To do this we need
more variables:
nL1,1 to show that agent in L1,1. Does this work?
nKB
contains "physics" sentences for every single square
nFor
every time t and every location [x,y],
L x,y Ù FacingRight t Ù Forward t Þ L x+1,y
nRapid
proliferation of clauses
Expressiveness
limitation of propositional logic
t
t