CSC244 / 444 - Logical Foundations of
Artificial IntelligenceThis 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:
September 1, 2006
Welcome to
CSC244/444!