The original STRIPS program was designed to control Shakey the robot. Although Shakey was never actually built to handle the situation below, the STRIPS planner was built to handle the following scenario.
Consider the following version of Shakey's world. In this world there are four rooms that open onto a corridor (all labeled in red). Each room consists of three locations - middle, wall, and door- all labeled in blue. The corridor consists of four locations - the four doors. Each room contains a light switch (in green) on the corresponding wall. Furthermore, there are four boxes (in green) currently in room 4. Shakey himself (in purple) is in the middle of room 2.
Shakey is able to move from location to location, push moveable objects, climb on and off of climbable objects, and turn light switches on and off. In more detail, these actions are:
Write STRIPS descriptions for not only the world above (the start state) but also the six actions as described. There are a couple of "common sense" requirements for the actions above that I have not explicitly listed.
The goal is to have the light in room 3 turned on (all lights are currently off). Describe this goal state.
Demonstrate that the start state and the actions that you created in part one are sufficient and correct to create a plan to arrive at the goal state in part two. To do this you should list each of the actions in order AND demonstrate that when each action is performed that it's preconditions have been met.