- Course outline
- A free version of Common Lisp can be obtained from Franz Inc.
- An extensive Web side of a very similar course (same textbook) is suppoted by the CS Department of the Northwestern University. Dr. Kenneth Forbus, one of the authors of our textbook is a Professor of Computer Science and Education at NWU.

- Lecture 1
- Lecture 2
- Lecture 3
- Lecture 4
- Lecture 5
- Lecture 6
- Lecture 7
- Lecture 8
- Lecture 9
- Lecture 10
- Lecture 11
- Lecture 12
- Lecture 13
- Lecture 14 Additional lecture nodes to be distributed in class.

- Student data base example
- Missionaries and cannibals example with depth-first search
- Missionaries and cannibals example with breadth-first search
- A simple breadth-first search example
- A simple depth-first search example
- A simple best-first search example
- A simple hill-climbing search example
- Search using association lists for representing data
- Search using structures for representing data
- Iterative breadth-first search example from the book
- Recursive breadth-first search example from the book
- Beam search example
- A forward chaining algorithm (adapted from Winston & Horn).
- A backward chaining algorithm (adapted from Winston & Horn).
- The Boston subway problem solver components: search.lsp, variants.lsp, subways.lsp, and boston.lsp. Here is an example run of this program.
- Additional files for the Abgebra problem solver (search.lsp and variants.lsp are the same as in the Boston subway problem solver): match.lsp, simplify.lsp, and algebra.lsp.
- The TRE components: tinter.lsp, data.lsp, rules.lsp, unify.lsp, and a test case for it, treex1new.lsp.
- The FTRE components (NOTE: This code will only run with Allegro CL) finter.lsp, fdata.lsp, frules.lsp, unify.lsp, funify.lsp, fnd.lsp, fnd-ex.lsp, fqueens.lsp, fqrule.lsp, ftrestart.lsp, ftrestartNQ.lsp. !!! To run the two example applications, review and modify ftrestart.lsp (KM* system: a complete implementation) and ftrestartNQ.lsp (N-Queens problem) to adjust them to your personal set-up. Also a similar change is needed in fnd-ex.lsp and fqueens.lsp !!!
- The JTMS components: jtms.lsp and jtms-ex.lsp
- A non-monotonic TMS example

- Introductory readings:
- What is AI? (by John McCarthy).
- History and Promise of AI (by David Waltz).
- The Human Intelligence Enterprise. Why I am Optimist (by Patrick Winston).

- Homework 1 problems.
- Homework 2 problems.
- Midterm test problems.
- Homework 3 problem.
- Homework 4: assigned article, write a paper and give a presentation in class. Paper is due the end of the semester, the presentation as scheduled.
- Research project: as explained in the course outline, deadline - the end of the semester.
- Final exam questions.