Your Notes

1. Your Notes • This presentation http://www/homes/wolf/work/research_night/ • AI Home Page (new!) http://www/research/ai/ • AI Home Page (old!) http://www/research/artint.intro.html

2. ARTIFICIAL INTELLIGENCE RESEARCH (and you!)

3. Role of Faculty in Research • Inspiration • Funding • Guidance • Teaching • Continuity • Scouting

4. Role of Graduate Students • Code

5. Role of Undergraduate Students • Code better

6. Role of Undergraduate Students • Code better • Energy • Perspective • Current education • Training • Legacy

7. Why Do Research? • Community service • Work on the cutting edge • Experience to prepare you for {graduate school, industry} • Establish professional relationships • Credit/money

8. AI Research • Intelligent User Interfaces • LPSAT - Linear Programing + SATisfiability • Adaptive Web Sites • Process-Oriented Evaluation • CMM - comprehensible multi-models • CWS - conquering without separating

9. People to See • Faculty • Pedro Domingos (pedrod@cs) • Dan Weld (weld@cs) • Steve Tanimoto (tanimoto@cs) • Alon Levy (alon@cs; database group) • Henry Kautz (coming soon) • Oren Etzioni (etzioni@cs; on leave)

10. People to See • Subset of Grads • Corin Anderson (corin@cs) • An Hai Doan (anhai@cs) • Geoff Hulten (ghulten@cs) • Tessa Lau (tlau@cs) • Steve Wolfman (wolf@cs) • Zack Ives (zives@cs; database group)

11. a a 1 b b 1 c c LP + SAT • Linear Programming + SATisfiability 1 1 1 1 • poly-time • real values • cuts • conflict sets • fast in practice • disjunction • learning • conflict-directed search

12. LPSAT • Applications • metric planning • temporal planning • conditional constraint solving • Work so far • LiPSyNC metric planning compiler • Prototype temporal planning compiler

13. LPSAT: Help Wanted