Fall 2002
Suggested time and place.
Wednesdays and Fridays, 4:00-5:30pm, Jorgensen 287 (conference room).
We will have a first meeting on October 2nd and make adjustments
as needed.
We will examine the practice and principles of logic programming
and its application to artificial intelligence.
We will study Prolog, the language and
advanced programming techniques.
It is a major triumph of the last decades that
predicate logic theorem proving was linearized as a programming language
and then implemented efficiently.
Artificial intelligence concepts programmed in Prolog will
include planning, belief systems and natural language sentence
recognition. Ideally we would like to reinterpret AI
ideas and mechanisms in terms of logic programming.
Books:
Leon Sterling and Ehud Shapiro, ``The Art of Prolog'' MIT Press,
Ivan Bratko "Prolog Programming for Artificial Intelligence", Addison Wesley,
See the course web page for a full description of the course.
http://www.cs.caltech.edu/~bond/courses/cs101b
Instructor: Alan H. Bond, Department of Computer Science
Email: bond@cs
Extension: 3034
Office: Jorgensen 273