Exercise 5        Name __________________        Score __/14

  1. Let Si,j be true when square [i,j] is smelly.

    Let Wi,j be true when square [i,j] is the wumpus.

    The agent is in [1,1]

    The agent moves to square [1,2].

     

  2. Prove W2,1