Action(RightShoe,
Precond: RightSockOn
Effect: RightShoeOn
Action(RightSock,
Precond:
Effect:RightSockOn
Action(LeftShoe,
Precond: LeftSockOn
Effect: LeftShoeOn
Action(LeftSock,
Precond:
Effect:LeftSockOn
Goal: RightShoeOn ∧ LeftShoeOn
Show the planning graph marking the mutexes. At what level is the problem solved? Show a solution. Is there more than one solution?