CS 15-381: Artificial Intelligence:

Representation and Problem Solving

 

Fall 2002

 

Instructor: Prof. Tuomas Sandholm


Office hours

·       TA Kate Larson (klarson@cs.cmu.edu): Mo 2-3, We 5-6, Wean Hall 3203

·       TA Pat Riley (pfr+@cs.cmu.edu): We 1-2, Th 12-1, Wean Hall 7113

·       Prof. Tuomas Sandholm: Tu 12-1, Wean Hall 4606

 

Grades

Grades so far are available at this site.


Course contents & schedule

(updated daily)

1. [8/27] Course organization (.ppt, .ps, .ps.gz ), definitions of AI (.ppt, .ps, .ps.gz), history of AI (.ppt, .ps, .ps.gz). Ch. 1.

2. [8/29] AI as the design of agents (.ppt, .ps, .ps.gz).  Ch. 2.

3. [9/3] Uninformed search (.ppt, .ps, .ps.gz).  Ch 3.

4. [9/5] Uninformed search continued.  Constraint satisfaction problems (CSPs) -  no iterative refinement (.ppt, .ps, .ps.gz). 

5. [9/10] Informed search (.ppt, .ps, .ps.gz ).  Ch 4.

6. [9/12] Informed search continued. Homework 1 (search) posted.

7. [9/17] Rest of informed search.  Iterative refinement search (hill-climbing and simulated annealing) (.ppt, .ps, .ps.gz ).

8. [9/19] Iterative refinement CSPs.  Game playing.

9. [9/24] Game playing.   Ch 5.

10. [9/26] Game playing & review of checkers environment.  Homework 1 due. Homework 2 (checkers) posted.

11. [10/1] Propositional logic (.ppt, .ps, .ps.gz ).  Ch 6.

12. [10/3]  Propositional logic, order parameters, limitations of propositional logic. Q & A for midterm.

13. [10/8]  Midterm exam.

14. [10/10]  Returning midterm and going over correct answers.

15. [10/15] Checkers competition.

16. [10/17] Rest of the checkers competition.

17. [10/22] First-order logic (.ppt, .ps, ps.gz ).  Ch 7.  Checkers game summary and program description due.

18. [10/24] First-order logic.  Ch 9.

19. [10/29] Checkers rematch.

20. [10/31] Rest of first-order logic.  Planning (.ppt, .ps ps.gz ).  Ch 11.

21. [11/5] More on planning.

22. [11/7] Checkers rematch.  

23. [11/12] Machine learning (supervised learning) (.ppt, .ps.gz).  Ch 18.

24. [11/14] Machine learning (supervised learning). Ch 18. Homework 3 (decision trees) posted.

25. [11/19] Machine learning (supervised learning). Ch 18.  

26. [11/21] Machine learning (neural networks) (.ppt, .ps). Ch. 19.  

27. [11/26] Machine learning (reinforcement learning). (.ppt, .ps.gz). Ch 17.1-17.3, 20.  Homework 3 due.  Homework 4 (reinforcement learning) posted.

28. [12/3]  Machine learning (reinforcement learning). Ch 20.

29. [12/5] Last class.  Q & A for final exam.

[12/6, by midnight] Homework 4 due.

 

[12/10, 9:30am-11:30am]   Final exam.  Porter Hall A18B, A18C.