6.825 Syllabus, Fall 2002

This schedule is subject to change. "AIMA" in the readings stands for Artificial Intelligence: A Modern Approach.

No.	Date	Topic	Readings	Lecture Materials	Exercises	Assignments
1	Thu 9/5	Introduction	AIMA 1,2
2	Tue 9/10	Search: A*, stochastic methods	AIMA 3,4
3	Thu 9/12	Propositional logic: syntax, semantics	AIMA 6		Exercises, Lec 3-5
4	Tue 9/17	Propositional satisfiability	Finding Hard Instances of the Satisfiability Problem: A Survey	ppt 1 ppt 2		HW-1a out
5	Thu 9/19	First-Order Logic: Intro	AIMA 7.1 - 7.3	ppt 1 ppt 2 ppt 3	Solutions, Lec 3-5
6	Tue 9/24	FOL: Knowledge Representation
7	Thu 9/26	FOL: Resolution	AIMA 9.6-9.7	ppt 1 ppt 2 ppt 3	Exercises, Lec 7-8
8	Tue 10/1	FOL: More resolution	Nilsson Chapter	ppt 1 ppt 2	Solutions, Lec 7-8	HW-1b out HW-1a due
9	Thu 10/3	Equality; Other logics	AIMA 8.6, Paramodulation handout		Resolution & Paramodulation Exercises Solutions
10	Tue 10/8	Planning: Situation calculus and POP	AIMA 7.4 - 7.10, 11 Programs with Common Sense	ppt 1 ppt 2 ppt 3
11	Thu 10/10	Planning: More POP		ppt 1 ppt 2 ppt 3	Exercise Solutions
	Tue 10/15	Columbus Day Holiday				HW-1b due (wed 10/16) HW-1c out
12	Thu 10/17	Planning: GraphPlan and SATPlan	Recent Advances in AI Planning by Weld. Read 1-2.2, 3.1; AIMA 13	ppt 1 ppt 2 ppt 3
13	Tue 10/22	Planning Review Session		ppt 1 ppt 2 ppt 3
14	Thu 10/24	Probability	AIMA 14	ppt 1 ppt 2 ppt 3	Exercise Solutions	HW-1c due
	Tue 10/29	Quiz		Midterm Solutions	Practice Midterm Practice Solutions
15	Thu 10/31	Bayesian Networks	AIMA 15.1-15.3	ppt 1 ppt 2 ppt 3
16	Tue 11/5	Bayesian Networks: general inference	AIMA Second Edition 14	ppt 1 ppt 2 ppt 3	Exercise Solutions (15-16)
17	Thu 11/7	Learning: Bayes nets: observable	Nilsson chapter	ppt 1 ppt 2 ppt 3	Exercise sol'n 17	HW 2a Out
	Tue 11/12	No Lecture Lecture moved to 8am on thursday
18	Thu 11/14 8:00am	Learning: Bayes nets: hidden		ppt 1 ppt 2 ppt 3	Exercise sol'n 18
19	Thu 11/14 9:30am	Decision Theory	AIMA 16	ppt 1 ppt 2 ppt 3	Exercise Sol'n 19
20	Tue 11/19	Markov Decision Processes	AIMA 17	ppt 1 ppt 2 ppt 3
21	Thu 11/21	Probabilistic Planning	Optional: Probabilistic Planning in the Graphplan Framework
22	Tue 11/26	Reinforcement Learning	AIMA 20			HW-2a due (Wed 11/27) HW-2b out
	Thu 11/28	Thanksgiving Holiday
23	Tue 12/3	Supervised Learning	AIMA 18.1-18.4, 19.1-19.5			HW-3 out (not graded)
24	Thu 12/5	Philosophy	AIMA 26
25	Tue 12/10	Review				HW-3 Solutions (pdf)
Final Exam	Thu 12/19	9 AM-12 Noon 34-101	F01 (final, solutions) S01 (final, solutions) Sample (final, solutions)