|
Week |
Date |
Topic |
Chapter |
Notes |
|
1 |
22-Aug-07 |
Review of Problem solving | Chapter 3 - 5 | |
|
|
24-Aug-07 |
Search, CSP, heuristics | Chapter 3 - 5 | my old note on search (with updates) |
|
2 |
27-Aug-07 |
|||
|
29-Aug-07 |
||||
|
|
31-Aug-07 |
Chapter 7-8 | a note on proposition/first order logic | |
|
3 |
3-Sep-07 |
Labor day | ||
|
|
5-Sep-07 |
KR language | Chapter 8 | |
|
7-Sep-07 |
Logical languages, Inferences | Chapter 9 | ||
|
4 |
9/13-Sep-07 |
|||
|
5 |
17/21-Sep-07 | Logic Programming | Note | Logic programming book |
|
6 |
24/28-Sep-07 |
Stable model paper | ||
|
7 |
1/5-Oct-07 |
Knowledge representation in LP | ASP-Tutorial and answer for homework 3 | |
|
8 |
8-Oct-07 |
Test | ||
|
10-Oct-07 |
Answer set programming | the sudoku program (LP) exp1 exp2 exp3 | ||
|
12-Oct-07 |
the seating arrangement program | |||
|
9 |
15/17-Oct-07 |
|||
|
19-Oct-07 |
Answer set programming | the n-queens program version 1 version 2 | ||
| the tile covering program version 1 version 2 | ||||
| graph coloring program version 1 | ||||
|
10 |
22-Oct-07 |
Reasoning about action and change | My note | Action language A |
| 24-Oct-07 | Solution for the scheudling problem (prg prob1 prob2) | |||
| 26-Oct-07 | Answer set programming and RAC | Yale shooting problem incorrect version | ||
| Yale shooting problem correct encoding | ||||
| Version with action occurrences |
||||
| Version with action generation rules and goal |
||||
| Version with 'walking fluent' and 'executability condition' |
||||
| 11 |
29-Oct-07 |
Dealing with static causal laws |
Action language B |
|
| 31-Oct-07 |
Static causal laws and ASP |
Yale shooting with static causal
laws program |
||
| Suitcase with spring loaded
mechanism |
||||
| A nondeterministic action theory |
||||
| Round robin progs |
Version one
and version two |
|||
| 2-Nov-07 |
Knowledge producing actions |
Action language Ak PDF | ||
| 12 |
5-Nov-07 |
Knowledge producing action |
A paper on planning with sensing
action PDF |
|
| 7-Nov-07 |
|
A paper on conformant planning PDF |
||
| 9-Nov-07 |
Monkey
and Banana Code |
|||
| 13 |
12-Nov-07 |
Conditional and conformant planning | Open the door program - version 1 - version 2
- version 3 |
|
| |
14/16-Nov-07 |
Bomb in the toilet program |
||
| 14 |
Thanksgiving holiday |
|||
| 15 |
26-Nov-07 |
Reasoning with naratives |
Action
language L |
|
| 28-Nov-07 |
Reasoning with naratives |
slide |
Diagnosis
and Diagnostic Planning in L |
|
| 30-Nov-07 |
Diagnosis |
program
for correcting |
||
| 16 |
2-Dec-07 |
Diagnostic reasoning |
slide
|
|
| 4-Dec-07 |
Complex action theories |
slide |
The language ADC |
|
| 6-Dec-07 |
Summary |
|||
| 17 |
Exam week |
Last Updated on 10/19/2007 02:54 PM -0600