Question 33
AUTOMATED PLANNING 2 The domain description of a Blocks World with a single one-armed robot is given below.
The GraphPlan algorithm is in mid-flight solving a planning problem, from the planning graph two consecutive propositional layers (layer k and k+1) are presented in the figure. Both proposition layers are fully populated (no missing propositions).
Mutex proposition pairs in layer k are: (on(A,B), holding(A)), (on(A,B), clear(B)), (armEmpty, clear(B)), (armEmpty, holding(A)). Populate the action layer and mutex links, then answer the sub-questions.