Exercise 11.3 [HLA-unique-exercise]
Suppose that a high-level action has exactly one implementation as a sequence of primitive actions. Give an algorithm for computing its preconditions and effects, given the complete refinement hierarchy and schemas for the primitive actions.
Answer
Improve This Solution
View Answer