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