Homework 5 -- due Wednesday April 29

Written questions

1. [15 points] Go to http://sw.opencyc.org/ and read the material on Sets and Individuals in Cyc. Then answer the following questions
   1. why does Cyc make a distinction between sets and collections?
   2. what are the main differences between individuals and collections?
   3. why in Cyc everything is an instance of something?
   4. what does #$isa mean? and #$genls?
   5. why #$genls is transitive but #$isa is not?
   6. search in the OpenCyc Content for "car body part".
      What is the difference in Cyc between "car body part" and "auto part"?
      between "auto part" and "vehicle part"?
      Why is "car body part" an instance of "spatially disjoint object type"?
2. [15 points] Answer Question 10.3 of the textbook
3. [5 points] Answer Question 11.2 of the textbook
4. [15 points] Answer Question 11.3 of the textbook
5. [5 points] Answer Question 11.5 of the textbook
6. [10 points] Answer Question 11.9 of the textbook
7. [15 points] Answer Question 11.12 of the textbook
8. [10 points] This is only for Graduate Students (an old WPE question). Undergraduate students do not need to answer this question, they will get credit for it without having to do any work. Undergraduates are welcome to answer this question for extra credit.

   You are given the following STRIPS action schemas, initial state, and goal:

   Action:MakeDrink,
       Precond: CleanCup
       Effect: HaveDrink and not CleanCup

   Action:Drink,
       Precond: Thirsty and HaveDrink
       Effect: not Thirsty and not HaveDrink

   Initial State: Thirsty and CleanCup and not HaveDrink

   Goal: not Thirsty

   1. Draw the planning graph.
   2. Mark all the mutex between action instances and between propositions, and indicate for each the type of mutex.
   3. At what level is the problem solved? why?