Homework 5 -- due Tuesday April 27

Written questions

1. You are given the following action schemas for a robot that can move, pickup, and drop objects.

   Go moves a robot from its current location to another location.
   Action(Go(x,y),
   Precond: At(Robot,x)
   Effect: not At(Robot,x) and At(Robot,y))

   Pickup enables the robot to pick up an object at its current location. Both the robot and the object have to be at the same location.
   Action(Pick(o),
   Precond: EmptyHand(Robot) and At(Robot,x) and At(o,x)
   Effect: not EmptyHand(Robot) and not At(o,x) and Holding(Robot,o))

   1. [5 points] Write a new action schema for the robot to go to a location and drop there the object it is carrying.
   2. [15 points] Suppose you want to allow the robot to carry two objects at once, one in its right hand and one in its left hand. Modify the action schemas to enable the robot to carry one object per hand.

2. [20 points] Softbots operate in software environments. Suppose a softbot is given the task "Get me the most recent technical report by Z on topic X." Relevant actions for the softbot include logging on to a library system, issuing queries, using an Internet directory to find Z's institution, sending email to Z, connecting to Z's institution web site, and so on. Write down formal representations as action schemas for a representative set of actions (3 or 4 will be sufficient), and discuss what planning algorithm you would use.

3. You are given the following information:
   1. A Buick is a kind of automobile.
   2. All automobiles can be driven.
   3. All automobiles have a body and four wheels.
   4. A Skybird is a kind of Buick.
   5. A Skybird has a sport body.
   6. The particular Skybird with serial number 10789 has a red body.
   7. A Skybird body has a left door and a right door.
   8. The right door of a Skybird is a passenger door.
   9. The left door of a Skybird is a driver door.
   10. Driver doors and passenger doors have a trapezoid shape.
   11. A car door has a handle.
   12. The engine of a Skybird is a model 600.
   13. A model 600 engine has four cylinders.
   1. [10 points] Represent the information using a semantic network. Be precise in distinguishing classes from individual objects and using appropriate links, Please use the notation from the textbook.
      
   2. [10 points] How could you write an algorithm to compute all the parts of an object which is represented by a semantic network like the one you built?
4. [10 points] Write a semantic network of your choice that contains a double box (look at the textbook on page 454 in the 4th edition and page 350 in the 3rd edition). Make sure your semantic metwork is different from the one in the textbook.
5. [30 points] Answer question 12.5, page 474 from the 3rd edition of the textbook (or 10.22 page 372 from the 2nd edition). The question is quite open but you can limit your work to represent the knowledge needed to answer the questions (from a. to i.).