Homework Assignments

• Homework 1. [Due: 2nd Feb; Beginning of the class; in hard copy]
  • (ungraded) homework question on Planning

  • Solutions
    • Solutions Part 1
    • Solutions to part 2 (*Includes* solutions to the exam-style questions I sent by email)
    • Planning (only 1.a-c; since planning graph stuff is not included by this test, I will make that part of a graded homework later)

• Homework 2 [Socket open 2/25][Due 3/29]
  1. Do parts e, f, g and h from the planning problem
  2. Consider the following inference rule: if we know A V B; and we know ~A, we can derive B. Show that this inference is sound using truth-table method. Is this inference complete? Can you show that this is a special case of resolution?
  3. (Problem 7.9 from the text book) Given the following, can you prove that the unicorn is mythical? How about magical? Horned? "If the unicorn is mythical, then it is immortal, but if it is not mythical, then it is a mortal mammal. If the unicorn is either immortal or a mammal, then it is horned. The unicorn is magical if it is horned." [This involves writing propositional theories, converting them into clausal form and doing resolution refutation.]
  4. A problem on Uncertainty and BayesNetworks.
  5. Prove the conditional independence assertions for causal and common-cause paths. Specifically do the following two cases:
     • You have a network A-->B-->C (where A,B and C are boolean variables). Show (a) that A is NOT independent of C given no evidence and (b) that A IS independent of C given B as evidence.
     • You have a network A<--B-->C (where A,B and C are boolean variables). Show (a) that A is NOT independent of C given no evidence and (b) that A IS independent of C given B as evidence.
  6. Solutions
     • Solution for 1
     • Solutions for 2 and 3
     • Solution for 4
     • Solutions to 5

• Homework 3 [Due 4/24]
  • Learning &Seinfeld Party [Required--this included both a homework component and a "using applet" component]
    Solutions (partial)

  ---

  Subbarao Kambhampati
  Last modified: Fri Apr 27 09:46:56 MST 2012