CS 534 Fall 2007 - Lecture Notes

Computer Science Department

WARNING: These lecture notes are intended as supporting material but not as substitute for attending the lectures.

Useful Slides and Class Handout:
- Russell and Norvig's textbook slides - Chapter 11
Other Useful Material:
- See the excellent webpage http://www.aaai.org/Pathfinder/html/planning.html
- See http://www.cs.ubc.ca/labs/lci/CIspace/
- See http://www.cs.wisc.edu/~dyer/cs540/demos.html (under "Robotics")
- See: http://www-aig.jpl.nasa.gov/public/planning/dplan/ for the development of planning systems to automatically generate antenna operations procedures for JPL's Deep Space Network (DSN) facilities.
- See http://www.aiai.ed.ac.uk/~oplan/isd/ O-Plan AAAI-2000 Intelligent Systems Demonstration Support Page
- See http://www.ri.cmu.edu/projects/project_127.html for a planning and scheduling project at CMU

Useful Pointers, Slides and Class Handout:
- Logic
  - Prof. Ruiz's Logic-Based Systems - ppt Slides or pdf Slides
  - Propositional Logic - Russell and Norvig's textbook slides - Chapter 7 (ppt) or Chapter 7 (pdf)
  - First Order Logic - Russell and Norvig's textbook slides - Chapter 8 (ppt) or Chapter 8 (pdf)
  - Reasoning with First Order Logic - Russell and Norvig's textbook slides - Chapter 9 (ppt) or Chapter 9 (pdf)
  - Demos and Additional Readings:
    - Association for the Advancement of Artificial Intelligence (AAAI) - Reasoning
    - EQP: Equational Prover

Useful Pointers, Slides and Class Handout:
- Adversarial Search:
  - Russell and Norvig's textbook slides - Chapter 6 (ppt) Chapter 6 pdf - (slightly more complete)
  - Piotr Mardziel's Minimax Script. Note: Piotr implemented this script as solution to Part 1 of Project 2 - CS4341 B03
  - Sample online game playing systems using AI:
    - Game AI Resources
    - Association for the Advancement of Artificial Intelligence (AAAI) - AI Topics - Games & Puzzles
    - Interesting AI Demos and Projects - See Game Design and Playing
    - Chess
      - Chess Tree Search
    - Checkers
      - Book: Blondie24 - Playing at the Edge of AI and system. This checkers system uses a minimax search based on a utility function implemented via a neural network trained using a genetics algorithm.
      - Checkers
    - Go-moku
      - http://www.cs.fiu.edu/~longy/five.html
    - Tic-Tac-Toe:
    - Connect-4: (just some of the multiple related sites are included below)
- Constraint Satisfaction Problems:
  - Russell and Norvig's textbook slides - Chapter 5 (ppt)
  - Michael L. Littman's lecture notes on Constraint Satisfaction Problems (02)

Useful Pointers, Slides and Class Handout:
- Heuristic Search:
  - See pointers under seach on the previous lecture.
  - Tom Mitchell's Machine Learning Slides on Genetic Algorithms

Useful Pointers, Slides and Class Handout:

Introduction to AI:
Agents:
Search:
- Prof. Ruiz's slides (slides format)
- Prof. Ruiz's slides (handout format)
- Russell and Norvig's textbook slides - Chapter 3 and Chapter 4
- Solutions to old HW1