CSE630 Homework 4: Unification and Planning

DUE DATE: November 12 04:00 a.m.
 1 point late penalty for each minute late

All problems are from the textbook

  1. (10 points) Problem 9.4
  2. (20 points) Problem 9.18
  3. (20 points) Problem 11.4
  4. (15 points) Problem 11.7
  5. (15 points) Problem 11.11
  6. (20 points) Problem 11.13

Submission instructions:

Write up all of your answers to the questions in a text editor so that it can be submitted electronically. Use the submit command to send the files to the grader. The syntax of the submit command is:

> submit c630aa lab4 (lab4_dir)

Where lab4_dir is the directory containing the files you want to submit.