CS472/473 Fall 2001
Foundations of Artificial Intelligence
Course Materials

CS472 Handouts

General Course Information

Request for project proposals. Due Oct. 3.

Some project suggestions.

midterm midterm soln. (draft version only! read with care)

Homework #1 Solution #1

Homework #2 Solution #2

Homework #3 Solution #3

Homework #4 Solution #4

Homework #5 Solution #5 (1a corrected)

Exam: 12/14/01 3-5:30pm Uris Auditorium

Office hours: Mon., Dec. 10, 2pm-3pm / Bart Selman (selman@cs.cornell.edu) / Upson 4148

Office hours: Mon., Dec. 10, 4pm-5pm / Jed Liu (ml103@cornell.edu) / Upson 328

Office hours: Wed., Dec. 12, 2pm-3pm / Bart Selman (selman@cs.cornell.edu) / Upson 4148

Office hours: Thur., Dec. 13, 2pm-3pm / Bart Selman (selman@cs.cornell.edu) / Upson 4148

TA's: Tony Faradjian (tony@cs.cornell.edu), Jed Liu (ml103@cornell.edu), Tiberiu Tomita (tft4@cornell.edu), Nadya Travinin (nt32@cornell.edu).

Note: The material in certain lecture notes took more than one lecture to cover. This explains the gaps in the numbering below.

CS472 Lecture Notes

Lect #1. (Aug 31) Defining Artificial Intelligence [ pdf ]

Lect #2. (Sep 03) Problem Solving as Search [ pdf ]

Lect #3. (Sep 07) Uninformed Search [ pdf ]

Lect #4. (Sep 10) Constraint satisfaction problems [ pdf ]

Lect #5. (Sep 12) Informed search / A* [ pdf ]

Lect #6. (Sep 17) Optimality A* / Local Search [ pdf ]

Lect #7. (Sep 19) Local Search / Satsifiability / GSAT [ pdf ]

Lect #8. (Sep 21) Local Search, cont. / GSAT / Simulated Annealing

Lect #9. (Sep 24) Tabu Search / Genetic algorithms

Lect #10. (Sep 26) Game Tree Search [ pdf ]

Lect #11. [ pdf ]

Lect #14. [ pdf ]

Lect #17. [ pdf ]

Lect #19. [ pdf ]

Lect #20. [ pdf ]

Lect #22. [ pdf ]

Lect #23. [ pdf ]

Lect #24. [ pdf ]

Lect #27. [ pdf ]

Lect #28. [ pdf ]

Lect #29. [ pdf ]

Lect #30. [ pdf ]

Lect #31. [ pdf ]

Lect #32. Cont. notes #31.

Lect #33. [ pdf ]

Lect #34. [ pdf ]

Lect #35. [ pdf ]

Lect #36. [ pdf ]

---