Read
- Chapters 13, 14.1 – 14.3, 15.1, 15.6, 22 – 25 in Russell and Norvig.
Chapter 23 just needs to be skimmed, not read.
Follow the instructions given on homework assignment #1 about the structure
of your CVS repository for your homework assignments and prjects, the
requirements to use a separate file for each exercise (or part thereof),
and to make each file self-contained (question + answer).
Print out the files comprising your answers to the following problems
(2up to save trees) and turn them in at the beginning of class on
May 2.
- Complete your robot project. If you do not have time to mount a BB gun
on a servo, nor attach a camera to recognize non CS majors, that's okay.
All that is required is that the robot respond reasonably to three different
sensory inputs (Homework #3 has some suggestions). Include a three-page
informal writeup with the robot containing instructions for setup, and a
brief description of its behavior.
- Write a utility in Java, Python, Ruby, ML, or Lisp that converts
a propositional logic formula into CNF. You will have to come
up with a way to represent forumulas. Provide extensive unit
tests.
- Problem 13.8 in Russell and Norvig.
- Problem 13.15 in Russell and Norvig.
- Problem 13.16 in Russell and Norvig.
- Problem 22.3 in Russell and Norvig.
- Problem 25.2 in Russell and Norvig.