Problem H1.1

Fly(P₁,JFK,SFO),   Fly(P₁,JFK,JFK),   Fly(P₂,SFO,JFK),   Fly(P₂,SFO,SFO)

Problem H1.2

THE ACTIONS:

Go(x,y)
PC: At(Shakey,x) ^ In(x,r) ^ In(y,r) ^ On(Shakey,Floor)
 A: At(Shakey,y)
 D: At(Shakey,x)

Push(b,x,y)
PC: At(Shakey,x) ^ At(b,x) ^ Box(b) ^ In(x,r) ^ In(y,r) ^ On(Shakey,Floor)
 A: At(b,y) ^ At(Shakey,y)
 D: At(b,x) ^ At(Shakey,x)

ClimbUp(b)
PC: At(Shakey,x) ^ At(b,x) ^ Box(b) ^ On(Shakey,Floor)
 A: On(Shakey,b)
 D: On(Shakey,Floor)

ClimbDown(b)
PC: On(Shakey,b) ^ Box(b)
 A: On(Shakey,Floor)
 D: On(Shakey,b)

TurnOn(l)
PC: At(b,l) ^ On(Shakey,b) ^ TurnedOff(l)
 A: TurnedOn(l)
 D: TurnedOff(l)

TurnOff(l)
PC: At(b,l) ^ On(Shakey,b) ^ TurnedOn(l)
 A: TurnedOff(l)
 D: TurnedOn(l)
____________________________________________________

INITIAL STATE:

In(Switch1,Room1) ^ In(Switch2,Room2) ^ In(Switch3,Room3) ^ In(Switch4,Room4) ^
In(Door1,Room1) ^ In(Door2,Room2) ^ In(Door3,Room3) ^ In(Door4,Room4) ^
In(Door1,Corridor) ^ In(Door2,Corridor) ^ In(Door3,Corridor) ^ In(Door4,Corridor) ^
At(Shakey,XS) ^ At(Box1,X1) ^ At(Box2,X2) ^ At(Box3,X3) ^ At(Box4,X4) ^
In(XS,Room3) ^ In(X1,Room1) ^ In(X2,Room1) ^ In(X3,Room1) ^ In(X4,Room1) ^ 
Box(Box1) ^ Box(Box2) ^ Box(Box3) ^ Box(Box4) ^
TurnedOn(Switch1) ^ TurnedOff(Switch2) ^ TurnedOff(Switch3) ^ TurnedOn(Switch4)
____________________________________________________

THE PLAN:

Go(XS,Door3),          Go(Door3,Door1),          Go(Door1,X2),
Push(Box2,X2,Door1),   Push(Box2,Door1,Door2),   Push(Box2,Door2,Switch2)