Transcript presentation source

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)
LP + SAT
• Linear Programming + SATisfiability
a
a
1
1
1
poly-time
real values
cuts
conflict sets
b
b
1
1
–
–
–
–
1
c
–
–
–
–
c
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
mail to
ked lady
under one
under the
n the table.
you won't
says "Why
bartender
:
The
start to a
at finish?
mail to
ked lady
under one
under the
the table.
you won't
do you say that?" and the bartender
says...
LPSAT: Help Wanted
WANTED: Student interested in
implementing efficient new metric and
temporal planning compilers and
incorporating new research ideas into
existing LPSAT system. Student should
be motivated and ready to work 10-15
hours per week and meet April deadline
for planning competition. Credit and
funding available to qualified applicants.
E-mail [email protected] for
more info.
WANTED
PUNCHLINE:
The
Breakfast Club has this great start to a
Breakfast
joke. Any
Punchline
club@brea
walks into
arm, and
other. She
The barten
be needing
do you s
says...
WANTED
Breakfast
joke. Any
Punchline
club@brea
walks into
arm, and