CSE 471/598 Lecture Notes (Fall 2007)
CSE 471/598 Lecture Notes (Fall 2007)
Motto: A day spent staring at the powerpoint slides and listening to the
.WAV files by yourself
can save as much as 75 min in the class with Rao
- Week 1: Intro; Intelligent agent design
[[nifty
2001
2001
]] [R&N Ch 1, Ch 2]
- Week
2: Problem Solving Agents [R&N Ch 3 3.1--3.5]
- Week
3: Weighted graph search; A* begin [R&N Ch 4 4.1-4.2]
- Week
4: A* continued [R&N Ch 4 4.1-4.2]
- Week
5: CSPs (and local search) [R&N Ch 5.1--5.3; Ch 4 4.3]
- Audio of [Sep 17, 2007]. Constraint satisfaction problems. What are they. How are they different from normal search. Why is SAT a CSP problem. How are constraints represented (legal vs. illegal partial assignments). Types of constraints (ninary vs. n-ary). How are CSPs solved and why only depth-first search makes any sense. Heuristics for CSP search: Most-constrained variable, least-constraining value. Forward checking, dynamic variable ordering.
- Audio of [Sep 19, 2007]. Discussion on constraint graphs, canonicity of boolean and binary CSP formulations, shortcomings of chronological backtracking (and the need for dependency directed backtracking), local search--hill climbing, goodness functions and neighborhoods, strategies for making hill-climbing asymptotically complete, state of the art in SAT/CSP, a discussion on where hard-problems live in CSP (and phase transition phenomenon).
- Week
6: KR and Prop logic [R&N Ch 7 7.1-7.6]
- Week
7: Prop logic to Prob. Prop. Logic [R&N ch 7 7.1,
7.3--7.6] [k-consistency discussion from Ch 5 5.2 (pp 145)]
- Week
8: Prob. Prop. Logic [Ch 7 7.6][ch 13 13.1--13.5]
- Week
9: Prob. Prop. Logic [ch 13 13.1--13.5]
- Week
10: Inference in Bayes Networks [ch 13 13.1--13.5]
- Week
11: First-order logic [ch 8 and 9]
- Week
12: FOPC Resolution Thm Proving; Situation
Calculus-->Planning. [9.5; 10.3; 11.1,11.2,11.4,11.5]
- Makeup class: Planning: Progression, Regression--Reachability Heuristics.[R&N 11.2,11.4]
- Week 13: Markov Decision Processes
- Week 14: Markov Decision Processes
- Week 15: Learning (18.1-18.3; 20.5)
- Week 16: Swan Song
Schedule (remaining & ambitious & subject to continual change):
- 12/3 [Last class] Learning (Hw 5 due)(Class will run over-time)
- 12/10: Final 12:20--2:10pm (BY 150)--as per the schedule
Subbarao Kambhampati
Last modified: Wed Dec 5 06:47:38 MST 2007