CSC244 / 444 - Logical Foundations of Artificial Intelligence

Fall 2006   -   James Allen (professor)   -   Paul Ardis (TA)   -    TTh 9:40-10:55 CSB632


TA Office Hours: CSB624, TTh 11:00-12:00 or by appointment
TA Email: ardis@cs.rochester.edu

This website will provide information regarding current and past assignments and quizzes, as well as announcements regarding course activities.


December 2, 2006
   Here are the slides from Thursday's lecture.
   Additionally, you should be receiving an email with your grade for Assignment 3 shortly.
   Also, here is the Charniak paper James mentioned.

November 30, 2006
   The final assignment has now been posted! Please start as soon as possible.

November 21, 2006
   Once again, the reading schedule has been updated. Please look it over before the next lecture.
   Also, here are today's slides.

November 15, 2006
   The reading schedule has been updated. Please revise it for future lectures.

UPDATE: Set 2 of test cases has now been posted, covering a simple Blocks-World (posted 3:10PM)
UPDATE: The deadline for Assignment 3 has been extended to Friday, Nov. 17th at 5PM (posted 2:45PM)
November 13, 2006
   Set 1 of test cases (for Assignment 3) are now accessible. Additional test cases will appear as updates as possible.

November 2, 2006
   Here are the slides from Tuesday's guest lecture by Henry Kautz.

October 27, 2006
   Assignment 3 has now been posted. Please start early, as it is due by Nov. 14.

October 24, 2006
   Today's slides are also now available.
   Also, the reading schedule has been updated, so please re-read it for future lectures.

October 12, 2006
   The slides from today are now available.
   Also:   Midterm Review is on Tuesday, October 17th. Please be ready to discuss these problems, and be ready to ask questions about material which you wish to cover.

UPDATE: "~X" format changed to "NOT X" for simplicity, requirements now reflect this (posted 4:45PM)
October 10, 2006
   Assignment 2 (part 2) has now been assigned, and is due by 5PM on Friday, October 20th.
   Please note that there is a constest for the most efficient "sat" function!

September 28, 2006
   Part 1 of Assignment 2 has now been assigned, and is due by 5PM on October 5th.
   This part is written, and should be turned in by dropping it in the mailbox labelled "Ardis" in the 7th floor mailroom.

September 21, 2006
   A new reading schedule is now posted here. Please revise it for future classes.

September 20, 2006
   The reading for tomorrow (Thursday, Sept. 21st) has been changed to section 4.1 of Brachman & Levesque's Knowledge Representation and Reasoning .

   There will be a quiz, so please be sure to have read this material.

September 16, 2006
   Assignment 1 (part 2) is now online.
   Please start early, as it is about twice as lengthy as part 1.

   A total of 15% extra credit is available on this assignment! (see assignment page)

September 12, 2006
   Quiz 1 has been returned in class. The mean was 6.79 out of 10.
   If you did not receive your completed quiz, please drop by during office hours.

   For fun and easy reference, here's a LISP comic book you can look at: "Casting SPELs in LISP".

September 11, 2006
   Assignment 1 (part 1) has been assigned. It consists of two LISP problems for the purpose of introducing you to the language.
   The due date is Tuesday, September 19th, when a second part (dealing with the use of LISP for FOL/Logical AI purposes).

September 5, 2006
   For tutorials and more information regarding LISP, check out the following links:

  • CSC447 homepage
  • Collin Allen & Maneesh Dhagat's LISP Primer
  • Marty Hall's Comprehensive LISP Introduction
  • Last semester's CSC444 homepage

  •    We will also be covering an introduction to LISP on September 12 in class, with handouts.

    September 1, 2006
       Welcome to CSC244/444!

       Lectures begin on Tuesday, September 5th. There is no assigned reading for the first lecture. The texts for this course are:

  • Knowledge Representation and Reasoning by Ronald Brachman and Hector Levesque    [ISBN: 1558609326]    <REQUIRED>
  • Artificial Intelligence: A Modern Approach (2nd Edition) by Stuart J. Russell and Peter Norvig    [ISBN: 0137903952]    <RECOMMENDED>
  • Logical Foundations of Artificial Intelligence by Michael R. Genesereth and Nils J. Nilsson    [ISBN: 0934613311]    <REQUIRED - 444 ONLY>