Wumpus World is an example in Artificial Intelligence with sensor, actuator and environment. It can be represented in Propositional Logic.
No download links available.
