| Dates | Tuesday | Thursday | Readings |
|---|---|---|---|
| Jan 6, 8 | fields of AI what is intelligence? |
environments agents, rationality |
Chapter 1 |
| Jan 13, 15 | task environment properties | task environment properties types of agents |
Chapter 2 |
| Jan 20, 22 | uninformed search | uninformed search, repeated states |
Chapter 3 |
| Jan 27, 29 | informed search: greedy and A* searches |
optimal efficiency of A*, heuristics |
Sections 4.1, 4.2 |
| Feb 3, 5 | hill climbing Midterm Review |
MIDTERM | Sections 4.2, 4.3 |
| Feb 10, 12 | simulated annealing, genetic algorithms |
minimax, alpha-beta pruning |
Sections 6.1-6.3 |
| Feb 17, 19 | adversarial search techniques, logical agents |
entailment, model checking |
Sections 6.4-6.8 |
| Feb 24, 26 | propositional logic, CNF knowledge bases, proofs |
resolution, forward and backward chaining, resolution strategies |
Chapter 7 |
| Mar 2, 4 | first-order logic interpretations |
FOL translation unification finding MGUs |
Chapter 8 (except 8.4) Sections 9.1-9.2 |
| Mar 9, 11 | FOL to CNF translation FOL resolution review for final |
Reverse Checkers Competition in Olin 110 |
Chapter 9: Sections 9.3-9.5 |
| Exam Week | Final Exam: Tues, March 16, 5-7pm in Humanities 019 | ||