CSC244/444: Logical Foundations of AI (Fall 2007)


News:

Class Information:

Instructor: Prof. Lenhart Schubert
TA: Daphne Liu

Class time: (CSB 601) Tuesdays and Thursdays 3:25-4:40 PM

Text (required for grads, a reference for undergrads): Brachman & Levesque, Knowledge Representation and Reasoning [ISBN: 1558609326]
Supplementary texts: Russell & Norvig, Artificial Intelligence: A Modern Approach [ISBN: 0137903952]; Genesereth & Nilsson, Logical Foundations of Artificial Intelligence [ISBN: 0934613311]

Instructor office hours: (CSB733) Tuesdays and Thursdays 5:00-6:30 PM or by appointment
TA office hours: (CSB723) Fridays 2:00-3:00 PM or by appointment

TA email: daphnel (at) cs rochester

Tentative Class Schedule
Homework Submission Requirements


Grading (Approximate Weights):


Grads Undergrads
5 assignments 24(+/-)3% 32(+/-)3%
LISP problems 10(+/-)3% 16(+/-)3%
Midterm test 15(+/-)3% 19(+/-)3%
Final test 30(+/-)3% 33(+/-)3%
Essay / Project 21(+/-)3% Not applicable

Final Test: 1.25 hours, Dec. 13, closed book


Homework and Projects:

All homework submissions should conform to the homework submission requirements. No submissions will be allowed on or after the day graded assignments are returned (and/or solutions are published). You may get an extension under the following rules.

Policy on the use of provided solutions:

Each LISP assignment (i.e., each phase) is built upon the preceding phases. Once a LISP assignment has been graded, we will provide one or two versions of the solutions. If you incorporate any provided solutions in a later phase, then you must explicitly state this in your README, and furthermore, you will face a 10% penalty for using provided solutions (to a/the previous phase) in your current phase. Failure to state that you have used provided solutions when you have actually done so will be treated as plagiarism, a serious case of academic dishonesty.

Homework Assignments and Stats

Assignment
Due
low
median
average
high
undergrad / grad
undergrad / grad undergrad / grad undergrad / grad
Lisp Problem Set 0 (out 09/11/2007): out of 60
11:59 PM, Mon., 09/17/2007
25 / 36
64.5 / 60
56.17 / 56
70 / 70
Assignment 1 - written (out 09/20/2007): out of 165 for undergrads, 225 for grads
3:15 PM, Thurs., 09/27/2007
53 / 67
134.75 / 142
117.92 / 146.57
158.5 / 179
Assignment 1 - lisp (out 09/20/2007): out of 50
3:15 PM, Tue., 10/02/2007
0/26
46/50
37.95/44.59
50/50
Assignment 2 - written (out 10/04/2007): out of 65 for undergrads, 85 for grads
3:15 PM, Thurs., 10/11/2007
3/30
49.5/75
41.92/70.24
63.5/83.5
Assignment 2 - lisp: out of 70
3:15 PM, Mon., 10/29/2007
0/0
35/63
35.67/48.87
70/70
Assignment 3 - written: out of 60 for undergrads, 70 for grads
3:15 PM, Thurs., 11/1/2007
0/0
41.25/54.5
34.5/48.87
53/70
Assignment 3 - lisp: out of 40
3:15 PM, Tue., 11/20/2007
0/0
27.5/26.6
22.5/20.02
40/40
Midterm - in class: out of 75
Tue., 11/13/2007
0/0
41.5/49
35.67/46.1
61/64
Assignment 4 - written: out of 85 for undergrads, 95 for grads
3:15 PM, Tue., 12/4/2007
0/0
58/82
46.18/67.63
81/89.5
Assignment 4 - lisp: out of 50
3:15 PM, Tue., 12/11/2007
0/0
28.35/0
26.05/0
45/0
Assignment 5 - written: out of 34 for undergrads, 40 for grads
3:15 PM, Tue., 12/11/2007
0/0
0/28
5.83/23.8
21/35


Resources:   

Tentative Class Schedule
Grad Project Guidelines

Lecture Notes

LISP