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

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)

Here is a link to some lecture notes.

Some supplementary notes: