CS 244/444: Logical Methods in Artificial Intelligence

Instructor: Henry Kautz <kautz@cs.rochester.edu>
office hours: Monday & Wednesday 2:00-3:00pm, CSB 708/709
TA: Carlos Gómez Gallo <cgomez@cs.rochester.edu>
office hours: Thursday 12:30-2:30pm and by appt
Class meets: Tuesday & Thursday 11:05am - 12:20pm, CSB 632
Last day of class: Thursday, December 11
Textbook: Artificial Intelligence, A Modern Approach (2nd Ed)
S. Russell & Peter Norvig
Exams: Midterm: in class, Tuesday, Oct 21
Final exam: Friday, Dec 19, 4:00pm
Prerequisites: CS 173 required. CS 242 recommended.
penguin cartoon

Calendar, Readings, & Assignments

Policies

Grades will be based approximately 1/3 on written assignments, 1/3 on programming projects, and 1/3 on the combined midterm and final examination scores. Homework may be turned in in class, or no later than 4:00pm on the due date to the secretary in room 708, Michele Schultz. Electronic submissions should be emailed to both the instructor and TA, and must be timestamped no later than 4:00pm on the due date. Late homework turned in up to a week after the due date will be penalized by 15% of the maximum score for that assignment. Homework later than one week will not be accepted and will receive a zero score.

Exceptions to the policy on late assignments may be allowed for serious illness or for religious observations. Students turning in an assignment late because of illness must include a copy of their statement of treatment from the University Health Service or other provider, or a signed note from their doctor. Students unable to turn in an assignment due to religious observation should turn it in on the first class day after the end of the observance, and should attach a note specifying the observance.

I encourage students to discuss course material outside of class and to collaborate appropriately on group assignments. Plagarism, however, is unacceptable, and will be handled strictly in accordance with the university's academic honesty policy. In particular, all cases of suspected dishonesty will be reported to the College Board on Academic Honesty. If you are uncertain whether your method of collaborating on or researching a project would be considered plagerism, please consult with the instructor.

I am happy to make appropriate accomodations for students with disabilities for the midterm and final examinations. If you require an accomodation, please contact the instructor at least two weeks before the exam.

Students are responsible for learning all material covered in class lectures and discussions, in reading assignments from the textbook, and in other reading assignments handed out in class. The online class calendar will include links to my lesson plan for each class, but simply reading the lesson plan is not a substitute for attending class. If you miss a class, please talk to another student about what was covered, and get a copy of any notes taken by the student.

Computing

Programming assignments will be designed to be performed using Linux tools on the instructional computers. It is fine for students to carry out their work in another programming environment (for example, in Windows on their own laptop), but doing so may require them to port code from Linux to Windows. Coming into the course, students should be able to write and compile small programs in C, and longer ones in C++ or Java. Early in the course we will introduce the programming language LISP, which will be used for some of the assignments.

Syllabus