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


News:


Class Information:

Instructor: Prof. Lenhart Schubert
TA: Daphne Liu

Class time: (CSB 632) Tuesdays and Thursdays 11:05-12:20

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 17:00-18:30
TA office hours: (CSB723) Fridays 10:00-12:00

TA email: daphnel (at) cs rochester

Tentative Class Schedule
Homework Submission Requirements


Grading (Approximate Weights):


Grads

Undergrads

5 assignments

20(+/-)3%

30(+/-)3%

LISP problems

15(+/-)3%

18(+/-)3%

Midterm test

18(+/-)3%

22(+/-)3%

Final test

25(+/-)3%

30(+/-)3%

Essay / Project

22(+/-)3%

Not applicable



Midterm: 1.25 hours, Nov. 10, closed book

Final Test: 1.25 hours, Dec. 13, non-cumulative and closed-book


Homework and Projects:

All homework submissions should conform to the homework submission requirements. Late submissions of written (non-programming) assignments are not allowed except under extenuating circumstances which you must have valid documentation for and inform me of prior to the due date. Late submissions of programming assignments beyond 48 hours late will not be allowed.. You may request 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/08/2011): out of 60

11:59 PM, Thurs., 09/15/2011

55/25

55/42.3

55.67/39.96

57/54

Assignment 1 - written (out 09/20/2011): out of 165 for undergrads, 225 for grads

11:04 AM, Tue., 09/27/2011

105.5/110.5

111.5/178

113.17/167.53

122.5/218.5

Assignment 1 - lisp (out 09/20/2011): out of 50

04:59 PM, Fri., 09/30/2011

28/0

41/37.25

38/31.67

45/49

Assignment 2 - written (out 10/04/2011): out of 65 for undergrads, 87 for grads

11:04 AM, Thurs., 10/13/2011

48.5/39.5

56.5/59.25

54/61.65

57/85

Assignment 2 - lisp (out 10/04/2011): out of 65

11:04 AM, Wed., 10/26/2011

29/0

29/25.32

29.33/22.09

30/43

Assignment 3 - written: out of 67 for undergrads, 77 for grads

11:04 AM, Tue., 11/01/2011

52.5/0

60/51.25

58.67/40.95

63.5/73.5

Assignment 3 - lisp: out of 44 (only 7 of 13 students turned it in)

11:04 AM, Tue., 11/08/2011

0/0

3/9.72

15.17/16.34

42.5/41

Midterm: out of 75

in class

32.5/0

42.5/55.25

43.67/49.25

56/61

Assignment 4 - written: out of 42 for undergrads, 50 for grads

5 PM, Wed., 11/30/2011

29.5/0

32.5/37.75

33.33/29.03

38/46

Assignment 4 - lisp: out of 25 (only 6 of 13 students turned it in)

5 PM, Fri., 12/09/2011

0/0

20.9/0

14.3/8.47

22/25

Assignment 5 - written: out of 51

11 AM, Mon., 12/12/2011

25.5/0

42/37.75

37/27.25

43.5/50


Resources:   

Tentative Class Schedule
Grad Project Guidelines

Lecture Notes

LISP