CS 4700: Foundations of Artificial Intelligence

Fall 2017


--- Notes for midterm prep here. (pdf)
--- Hwk #2 released. See link below. Due: Tuesday, October 17th, 6pm on gradescope.com Note: No late assignments accepted.

Lecture Slides

  1. Course admin (pdf)

  2. The Emergence of Intelligent Machines (pdf)

  3. History and Milestones (pdf)

  4. Problem Solving and Search: Uninformed Search (pdf)

  5. Informed Search (pdf)

  6. Agent Systems: Adversarial Search (pdf)

  7. Local Search (pdf)

  8. Knowl. Repr. and Reasoning: SAT encodings (pdf)

  9. Knowl. Repr. and Reasoning: Entailment and Proof Theory (pdf)