 Solution

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

Unload (x, s) : P A D = {isItem (x), isBank (s), onBoat (x), at (BOAT, s)}, = {at (x, s), Empty}, = {onBoat (x)} .

The onboard precondition prevents inventing an item at a bank, and deleting

onBoat (x)

preserves the item's unique location. Restoring

Empty

preserves the one-item planning state invariant.

 New to topics? Read the docs here!