CS 532
|
Date |
Topic |
Reading |
Notes |
Jan. 4 |
Overview, Review of Propositional Logic |
Chapter 7 (review) |
|
Jan. 6 |
First-Order Logic: Syntax and Semantics |
Chapter 8 |
|
Jan. 8 |
FO Semantics cont.: First-Order
Inference |
Chapter 9 |
PDF |
Jan. 11 |
cont. |
||
Jan. 13 |
cont. |
||
Jan. 15 |
cont. |
|
|
Jan. 18 |
MLK Day (no class) |
||
Jan. 20 |
First-Order Learning | Sections 19.1, 19.5 | |
Jan. 22 |
Version Spaces |
||
Jan. 25 |
FOIL |
||
Jan. 27 |
cont.; Inverse Resolution |
||
Jan. 29 |
Golem |
||
Feb. 1 |
cont. |
||
Feb. 3 |
EXAM
1 |
||
Feb. 5 |
cont. |
||
Feb. 8 |
cont. |
|
|
Feb. 10 |
Learning via Propositionalization; Weighted Logic | Paper on MaxWalkSat (read Sections 1 and 2) | |
Feb. 12 |
cont. |
||
Feb. 15 |
cont. |
||
Feb. 17 |
cont. |
||
Feb. 19 |
No Class |
||
Feb. 22 |
cont. |
||
Feb. 24 |
cont., Temporal Interval Constraint
Networks |
||
Feb. 26 |
cont. |
||
March 1 |
cont. |
||
March 3 |
Temporal Point Constraint Networks; Quantitative Temporal Networks |
||
March 5 |
Exam 2 | ||
March 8 |
cont. |
||
March 10 |
cont. |
||
March 12 |
cont., Review for Final Exam |
||
March 18 |
Final Exam |