Syllabus --- Artificial Intelligence

• Text: ``Artificial Intelligence: A Modern Approach
  • Author: Stuart J. Russell and Peter Norvig
  • Publisher: Prentice-Hall
  • ISBN: 0-13-103805-2

The final grade will be based on graded homework, two one-hour exams, and some programming projects.

Programming will be done in Scheme, a procedural AI language.

Bulletin Board

Exam 2

• Chapter 1. Introduction. Overview of Artificial Intelligence.
  • Areas of AI.
  • The Turing Test.
  • Introduction to Scheme.
  • Intelligent Agents
  • Notes from a Scheme Workshop
• Chapter 2.
  • Solving problems via search.
  • Basic search strategies. Implementation in Scheme.
  • Knowledge representation.
• Chapter 3. Analysis of Search.
• Chapter 4. The A* algorithm
• Chapter 5. Logic programming
  • Notes on using OTTER (a logic-programming language)
    Otter for the MacOS
    Otter for DOS
    Otter for Windows 95
  • First order logic and Resolution Principal
  • A short course in Prolog.
    SICSTUS Prolog Manual
    • Prolog for the Macintosh (Note: Real number arithmetic not supported for this Prolog)
    • Prolog for Windows
    • Prolog programs (Note: The expert systems program has recently been corrected. It must be run on king -- type 'prolog' to start sicstus prolog).
  • Expert Systems
    • Backward-chaining expert systems
    • Forward-chain expert systems
• Frames
• Constraint-based programming.
  • Waltz Filtering and computer vision

Software

• Gambit Scheme for the Macintosh
• C-Scheme for Windows
• Scheme Manual
• Excellent tutorial: Amazon.com reference to "The Little Schemer" by Daniel P. Friedman, Matthias Felleisen, Duane Bibby (Illustrator) Published by Mit Press ISBN: 0262560992
• Programs:
  1. Simple search program
  2. Quicksort program
  3. Pick smallest program (for heuristic search and the A* algorithm)

  Interesting stuff

  The Loebner Turing Test contest (programs that can simulate human conversation)