CPSC 386: Artificial Intelligence

Professor: Ellen L. Walker

Administrative links

• Syllabus
IRC website

Resources on the Internet

• Textbook: Artificial Intelligence, A Modern Approach, by Stuart Russell and Peter Norvig
• AI on the Web, from the above textbook site.
• AI Topics, from American Association for Artificial Intelligence (AAAI)
• The Collection of Computer Science Bibliographies
• CiteSeerx (Scientifixfc Literature Digital Library) from NEC Research Institute
• CS 152: LISP
• Methods of Mathematical Proof
• CLIPS home page
  • Documentation -- start with the User's Guide, then use Basic Programming Guide as a reference.
• SWI Prolog home page
• "Adventure in Prolog" -- an example and tutorial.
• Octave home page -- the manual
• Smith, L.I., A Tutorial on Principal Component Analysis. February, 2002.
• Shiens, J., A Tutorial on Principal Component Analysis. December, 2005.

Class Notes

• Introduction (Chapter 1)
• Agents (Chapter 2)
• Search (Chapter 3)
• More Search, Informed Search (Chapters 3 and 4)
• Heuristics & More Search Algorithms (Chapter 4)
• Adversarial Search (Chapter 5)
• Constraint Satisfaction (Chapter 6)
• Learning - Decision Trees and Version Spaces (Chapter 18, 19.1)
• Classification
• Connectionist Systems and Neural Networks (Section 20.5)
• Learning - Ensemble Learning, EBL, ILP (Chapter 18.5, 19)
• Learning and feature notes from Prof. Oliphant
• Logic (Chapter 7)
• First Order Logic & Inference (Chapter 8 & 9)
• Resolution Theorem Proving (Chapter 9)
• Inference Methods (Chapter 9)
  • clips: blocks.clp and block-facts.txt
  • gprolog: monkey.prolog
• Representation of Uncertainty (Chapter 13)
• Bayesian Network (Chapter 13, 14)
• Fuzzy Logic (Chapter 14)

Homework Assignments

Exams