CS44 W00: Lecture 13

Topics:

  1. Propositional Calculus vs First Order Logic

Propositional Calculus vs First Order Logic

  1. the Wumpus World environment
  2. a simple reflec agent for the wumpus world
  3. representing change (situation calculus)
  4. deducing hidden properties


Switch to:


vasilis@cs.dartmouth.edu