It's time for the Wumpus (AIMA ch. 7).

Tony offered to write a Wumpus server to test our agents against; let's take him up on it.

Otherwise, Wumpus gives us an opportunity to implement model-checking and theorem-proving strategies for asking questions about our knowledge base.