|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
COSI 112: Temporal Logic in Artificial Intelligence
Fall 2004 |
Topic |
Readings |
Assignments |
||
---|---|---|---|---|
Handout |
Due |
|||
F, Sep 3 |
Why temporal reasoning is central to AI |
|
|
|
T, Sep 7 |
Fundamentals of Logic: Propositional Logic |
|
|
|
F, Sep 10 |
Propositional Logic #2 |
Class notes: |
|
|
T, Sep 14 |
Predicate Logic |
Class Slides: |
|
|
F, Sep 17 |
(No Class -- Holiday) |
|
|
|
T, Sep 21 |
Predicate Logic 2/Modal Logic |
Class notes: |
|
|
F, Sep 24 |
Modal Logic/Temporal Logic #1 |
Class notes: |
|
PS #1 |
T, Sep 28 |
Temporal Logic #2 |
|
|
|
F, Oct 1 |
Ontologies of Time |
|
|
|
T, Oct 5 |
Reasoning about Action and Time |
|
|
|
F, Oct 8 |
The Event Calculus |
|
|
|
T, Oct 12 |
Time in Problem Solving: Diagnostic Systems |
|
|
|
F, Oct 15 |
The Frame Problem |
|
PS #2(part 1) |
|
T, Oct 19 |
Tense and Language: Aspect Systems in Language |
|
|
|
F, Oct 22 |
Tense and Language: Reichenbach |
|
|
PS #2 (part 2) |
T, Oct 26 |
Semantics of Aspect |
|
|
|
F, Oct 29 |
In-class Exam |
|
TimeML Assignment - See above |
|
T, Nov 2 |
Presupposition and Entailment |
|
|
|
F, Nov 5 |
Tense and Aspect |
|
|
|
T, Nov 9 |
TBA |
|
|
|
F, Nov 12 |
Temporal Databases: Temporal Data Models |
|
|
TimeML Assignment |
T, Nov 16 |
Temporal Query Languages |
|
|
|
F, Nov 19 |
Temporal Database Systems |
|
|
|
T, Nov 23 |
Temporal Integrity Constraints |
|
|
|
F, Nov 26 |
(No Class -- Holiday) |
|
|
|
T, Nov 30 |
Implementing Temporal Constraints: Scheduling |
Class slides: |
|
|
F, Dec 3 |
Implementing Scheduling 2 |
|
|
|
T, Dec 7 |
Implementing Scheduling 3 |
|
|
PA #1 -- extension: Dec 14 |
F, Dec 10 |
In-class Exam |
|
|
|