18 and 25 Feb 2004
CS 3243 - Logical Agents
73
nKB contains
"physics" sentences for every single square
nFor every time t and every
location [x,y],
Lx,y Ù FacingRightt Ù Forwardt Þ Lx+1,y
nRapid proliferation of
clauses
Expressiveness
limitation of propositional logic
t
t