CS 4700: Foundations of Artificial Intelligence

Fall 2018

Announcements

--- Hwk3 solutions posted below.
--- Final exam is Thursday (12/13), 9am - 11:30am, Kennedy Hall 116.

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. Local Search (pdf)

  7. Agent Systems: Adversarial Search (pdf)

    ----- Midterm Topics Above this line -----

  8. Machine Learning: Intro & Decision Trees (pdf)

  9. ML: Generalization & Overfitting (pdf)

  10. ML: Neural Nets intro (pdf)

  11. ML: Neural Nets --- Perceptrons (additional) (pdf)

  12. ML: Neural Nets --- Backpropagation (pdf)

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

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

Homeworks