CS344 Syllabus
This will be subject to change.
- Week 1 (1/8 & 1/10): Searching and
problem spaces.
- Week 2, (1/15 & 1/17): Pattern-directed
inference systems.
- Week 3, (1/22 & 1/24): Truth maintenance
systems, JSAINT
- Week 4, (1/29 & 1/31): Guest Lecture: Pat Hayes + Logic-based Truth Maintenance
- Week 5, (2/5 & 2/7): Qualitative Reasoning
& Guest Lecture: Luis von Ahn
- Week 6, (2/12 & 2/14):. Guest Lecture: Tom
Mitchell + Qualitative Reasoning part 2
- Week 7, (2/19 & 2/21): Assumption-based TMS:
Logical environments revisited.
- Week 8, (2/26 & 2/28): Reasoning with large
knowledge bases
- Week 9, (3/4 & 3/6): Organizing large-scale reasoning: specialized
reasoners, partitioned reasoners
- Week 10, (3/11 & 3/13): Exploiting
analogical reasoning in problem solvers.
- 3/14: Term projects due
Last edited 2/14/08, by KDF
Back to EECS 344