Up: Len's Home page
Logical Foundations of Artificial Intelligence
Instructor: Lenhart Schubert
Classes: Tuesdays and Thursdays 11:05am-12:20pm, CSB 632
Office Hours: Tuesdays and Thursdays 5:00-6:30pm or by appointment
Office: CSB 733
e-mail: my-last-name at cs dot rochester dot edu
TA: Adam Purtee
Office hours: TBA (Fri. 10:00-12:00??), CSB 724
e-mail: a (no space) purtee at cs etc.
Adam's detailed 244/444
home page
Overview
The goal in Logical Foundations of Artificial Intelligence is to develop
techniques for representing factual knowledge (typically, the sort of
knowledge that we can easily express in ordinary language) and using such
knowledge for making inferences (deductive, uncertain, abductive, etc.)
and planning to achieve goals.
Credit
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 details, see Adam
Purtee's homepage for 244/444 (when it becomes available).
Here is a link to a pdf file providing
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 2003).
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 Indiana University Lisp Primer or alternatively, Marty Hall's
(Johns Hopkins U.) An Introduction and Tutorial for Common Lisp.
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.
(It is also available here)