• 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 nodes

• 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.

Lisp code

• 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

Assignments

• 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.