CS322 Fall 1997
Assignment 8 (planning)

Due: 1:30pm, Friday 7 November 1997.

In the file ~cs322/cilog/delrob_strips.pl (also available on the web) is a representation of the delivery robot in cilog using STRIPS. In the file ~cs322/cilog/strips_strips.pl (also available on the web) is a cilog program that implements the STRIPS planner. You will need to play with these to do this assignment.

Question 1

In this question we will add to the STRIPS representation a more complicated paint action than in the previous assignment.

Suppose we have the object paintcan(Colour) that denoted a can of paint of colour Colour.

Add the action paint(Obj,Colour) that that results in the Object changing its colour to Colour. (Unlike the previous assignment, the object only has one colour). The painting can only be carried out if the object is sitting at o109 and an autonomous agent is at position o109 carrying the can of paint of the appropriate colour.

Initially, Rob is blue, the parcel is brown, the key k1 is brown, there is red paint at the storage room, and green paint at the mail room.

Axiomatize this domain and show you have checked it. An example query is 

ask achieve(color(parcel,green),init,S,10,_).
Warning: check your answer to make sure it is right. You may need to reorder the preconditions of paint in order to make sure the plan works.

Question 2

In this question you will think about the limitations of STRIPS. In the previous question, you needed to appropriately order the preconditions to make sure it works. For this domain, are there orderings of the preconditions (think about all of the actions) so that you find the shortest plans for colouring the objects of the domain? Explain what they are or why there are no such orderings. Is the STRIPS planner a good idea?

Question 3

How long did you spend on each question? What did you learn?