The original STRIPS program was designed to control Shakey the robot. Figure 11.17 shows a version of Shakey's world consisting of four rooms lined up along a corridor, where each room has a door and a light switch.

The actions in Shakey's world include moving from place to place, pushing movable objects (such as boxes), climbing onto and down from rigid objects (such as boxes), and turning light switches on and off. The robot itself was never dexterous enough to climb on a box or toggle a switch, but the STRIPS planner was capable of finding and printing out plans that were beyond the robot's abilities. Shakey's six actions are the following:

Go(x, y), which requires that Shakey be at x and that x and y are locations in the same room. By convention a door between two rooms is in both of them.

Push a box b from location x to location y within the same room: Push

(b, x, y). We will need the predicate Box and constants for the boxes.

Climb onto a box: ClimbUp(b); climb down from a box: ClimbDown(b). We will need the predicate On and the constant Floor.

Turn a light switch on: TurnOn(s); turn it off: TurnO#(s). To turn a light on or off, Shakey must be on top of a box at the light switch's location.

Describe Shakey's six actions and the initial state from Fig,ure