130 likes | 399 Vues
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. A RTIFICIAL I NTELLIGENCE R ESEARCH. (and you!). Role of Faculty in Research. Inspiration Funding Guidance
E N D
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
ARTIFICIAL INTELLIGENCE RESEARCH (and you!)
Role of Faculty in Research • Inspiration • Funding • Guidance • Teaching • Continuity • Scouting
Role of Graduate Students • Code
Role of Undergraduate Students • Code better
Role of Undergraduate Students • Code better • Energy • Perspective • Current education • Training • Legacy
Why Do Research? • Community service • Work on the cutting edge • Experience to prepare you for {graduate school, industry} • Establish professional relationships • Credit/money
AI Research • Intelligent User Interfaces • LPSAT - Linear Programing + SATisfiability • Adaptive Web Sites • Process-Oriented Evaluation • CMM - comprehensible multi-models • CWS - conquering without separating
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)
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)
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
LPSAT • Applications • metric planning • temporal planning • conditional constraint solving • Work so far • LiPSyNC metric planning compiler • Prototype temporal planning compiler