Up: Len's Home page

Logical Foundations of Artificial Intelligence

Instructor: Lenhart Schubert

Classes: Wednesdays and Fridays 10:25am-11:40am, CSB 632

Office Hours: Wednesdays and Fridays 5:00-6:30pm or by appointment

Office: CSB 733

e-mail: my-last-name at cs dot rochester dot edu

Grad TAs: Gene Kim, Zahra Razavi

Office hours (Gene): CSB 615, Tue. & Thu. 1:45-3:15pm; (Zahra): CSB 631, Mon. 4:00-5:30pm

Gene's 244/444 home page

Undergrad TA: Minfeng Lu

Goals of the course

The main goal in Logical Foundations of Artificial Intelligence is to learn about techniques for representing factual knowledge (typically, the sort of knowledge that we can easily express in ordinary language, though also some kinds of knowledge calling for specialized representations, such as temporal & taxonomic relations), and using such knowledge for making inferences (deductive or uncertain), and for planning courses of action to achieve goals. Students will thereby gain an appreciation of the fundamental role that knowledge representation and reasoning (KR&R) play in intelligent cognition.

Practically speaking, students will reach the point where they can write programs for basic KR&R tasks, and make sense of the current research literature in this area; CSC 444 students will also learn about a subtopic of their choice in greater depth, by reading some recent papers or books and (perhaps) writing programs that implement some ideas they have.


The standard prerequisites are CSC 173 (computation & formal systems) and CSC 242 (a general course on AI). A solid math background and basic knowledge of logic and programming may suffice as well (check with instructor). Some prior exposure to functional programming (esp. Scheme or Lisp) can be advantageous.


The grade for the course will be based on several homework assignments, including some Lisp programming assignments, a midterm and final test, and, for 444 students, a research/essay project. For grading details, see the TA's homepage for 244/444 (when it becomes available).

Here is a link to a pdf file providing (tentative -- but recently edited) guidelines for the graduate project

The text and supplementary texts are

Printed notes will be provided for a majority of the topics in the class.

A course schedule will be handed out in the first class.
(The schedule is also available here)

Here is a link to some lecture notes.

Some supplementary notes: