CS 541 - Homework 3

Due: Sept. 23

This week builds on the domain you developed in Tweak for homework 2. You will re-implement it in UCPOP and extend it to make use of some of UCPOP's representational features. The UCPOP planner is available from the CS 541 home page.

1. Translate your Tweak domain to UCPOP.
2. Test your domain on the same problem that you used in Tweak, that requires a getting a key, unlocking a door, opening the door, and getting to the next room.
3. At least one of the rooms has a sprinkler which, when activated, makes every box in the room wet. Create an operator that expresses this. Define a problem where there are two boxes, Seed-box and Computer-box, both dry, in a room with a sprinkler in the initial state. The goal for the problem is to have Seed-box wet and Computer-box dry.
4. Turn in a print out of your domain, initial state, goal state, and trace of a successful run.

Hints:

Again, because there is no search control, even the most trivial problem may exceed the search limit. Start with the smallest possible examples to debug your operators and gradually work up to more complex problems. If the problems are still to hard, simplify the operators as much as possible. For example, you can eliminate the locations within rooms and the operators for moving to locations.

Add your new operators to this domain one at a time and test them as you go. It is hard to debug planning domains, so it is easier to write the operators carefully and test them as you go.