 Solution

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

The automated planning goal is the conjunction of the delivered-item facts:

G = i = 1 ⋀ n at (ITEM i, WEST) .

The boat need not separately be constrained to end west, although any successful plan with

n > 0

must bring the final item there before unloading it.

 New to topics? Read the docs here!