Solution

ID: past-exam-of-the-computer-science-course-of-the-university-of-oxford/2023/artificial-intelligence/2/d/solution

For , execute
and, if , append before the next iteration.
Each load starts with an empty boat beside an undelivered item. Each unload leaves that item west and restores the loading precondition. By mathematical induction on , after iteration the first items are west and the remaining items are east. Thus the automated planning goal holds after crossings and actions for . For , the empty plan already achieves the goal.

New to topics? Read the docs here!