Class Schedule: Thursday, 9:30 - 11:30, Room 6495
The course will be based on material that will be posted on the web.
Description: Artificial Intelligence is a very large subject, and courses can be organized around a number of principles. This course is organized around formal logics. People reason in various, complex ways. Classical logic is what most students are familiar with, but it is rather limited. We will investigate several alternative logics that are useful and natural for representing human reasoning. We will begin with classical propositional and predicate logic, and then move on to modal logics, logics of knowledge and belief, temporal logics, multi-valued logics, and if time permits, non-monotonic logics. For each, we will look at semantics and proof procedures, and establish soundness and completeness results. Automation issues for the various logics will be considered. Some Lisp and Prolog programming will be introduced, and implementation of some of the proof procedures will be discussed.
Syllabus: The course is very roughly divided in thirds. The first third covers classical logic, propositional and predicate, proof procedures for it, soundness, completeness, and implementation issues. The second third does the same for modal logics and their relatives: knowledge, belief, temporal logics. The final third covers other logics such as many-valued ones. We may take things out of this order, if it seems appropriate at the time. There will be a midterm and a final exam. Homework will be assigned and collected regularly, and will count toward the final grade.