| Date | Pre-class | Class | Slides |
| 5-Jan | Review first order logic | S1 |
|
| 10-Jan | 272-310 | Review theorem proving | S2 |
| 12-Jan | 320-333 | Ontologies, situation calculus | S3 |
| 19-Jan | 334-344 | Event calculus, beliefs | S4 |
| 24-Jan | 344-354 | Semantic nets, description logics | S5 |
| 26-Jan | 110-119 | Local search algorithms | S6 |
| 31-Jan | 137-151 | Constraint satisfaction problems | S7 |
| 2-Feb | Study |
Exam 1 review | S8 |
| 7-Feb | Study | Exam 1 | |
| 9-Feb | 790-806 Proj. 1 due |
Grammars, parsing | S9 |
| 14-Feb | 806-818 | Definite clause grammars | S10 |
| 16-Feb | 818-823 | Disambiguation, Discourse | S11 |
| 21-Feb | 834-844 |
Language modeling, Info retrieval |
S12 |
| 23-Feb | 845-850 Handout |
Text classification, Info extraction |
S13 |
| 28-Feb | Handout |
Dialogue management |
S14 |
| 2-Mar | Handout |
Atlas, a real dialogue system |
S15 |
| 14-Mar | Proj. 2 due | Exam 2 review | S18 |
| 16-Mar | Study | Exam 2 | |
| 21-Mar | 375-387 | Planning operators, state-space search | S19 |
| 23-Mar | 387-395 | Partial order planning | S20 |
| 28-Mar | 395-409 | Planning graphs, propositional planning | S21 |
| 30-Mar | Cancelled | ||
| 4-Apr | 417-430 | Scheduling, Hierarchical planning | S22 |
| 6-Apr | 430-440 | Hierarchical planning, Conditional planning | S23 |
| 11-Apr | 441-449 | Execution monitoring, Continuous planning | S24 |
| 13-Apr | 449-454 | Multi-agent planning, Educational applications | S25 |
| 18-Apr | TBD | Intelligent tutoring systems | S26 |
| 20-Apr | Proj. 3 due | Exam 3 review |
S27 |
The three programming projects are briefly described below. When all three
are completed, you should have build a small fragment of Terry Winograd's
famous SHRDLU system. All three projects use the same blocks
world task domain.