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
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
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
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
- Brachman & Levesque, Knowledge Representation and Reasoning
(Morgan Kaufmann/\,Elsevier, 2004); this is required for grads, a reference for UGs
- Genesereth & Nilsson, Logical Foundations of Artificial Intelligence
(Morgan Kaufmann, 1987); This is a useful occasional reference for grads and UGs,
elaborating on some formal topics.
- Russell & Norvig, Artificial Intelligence (Prentice-Hall, 3rd ed. 2010).
This is supplementary for grads and recommended for UGs as a very readable,
general book on AI, often used in our department in CSC 242.
- Wilensky, Common LISPcraft (Norton); or Peter Seibel,
Practical COMMON LISP, Apress, 2005. These are a recommended
texts for learning Lisp. But see also the excellent text by Peter
Norvig, Paradigms of Artificial
Intelligence Programming; the
Lisp Primer; the collaboratively developed
Common Lisp Cookbook;
and "Cliki", the Common Lisp
Tutorial Wiki for some useful quick introductions.
Printed notes will be provided for a majority of the topics in the class.