Download
your notes n.
Skip this Video
Loading SlideShow in 5 Seconds..
Your Notes PowerPoint Presentation

Your Notes

256 Vues Download Presentation
Télécharger la présentation

Your Notes

- - - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript

  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