Knowing What You’re Doing

• When NOW moves

  • For each modality variable v
  • s.t. *v = Holds(s, t)
  • Make *NOW a subinterval of t

• So the agent believes it is now doing everything it is, in fact, doing.

Previous slide

Next slide

Back to first slide

View graphic version