Festivus

Best of Festivus: Seinfeld

http://youtube.com/watch?v=eaeQz5HwfoI

Rao’s Gripe

• Festivus 1 Recap

• A couple of things I want to say

Our Best Feat so far..

Balance sheet from the First Festivus

• Let’s increase the general levity in the community (Rao)– Done (have you seen Jorge’s talks lately. The guy is a regular

Seinfeld now?) • Let’s have double-blind reviewing (Martha)

– Done• Let there be kindness & light in reviewing (Dave)

– Working on it.• Let 100 birds sing (Amedeo)

– Done (although they are singing in Italian and we can’t make out what they are singing about..)

• Let’s stop accepting Rao’s poster papers (Craig)– Done (we are accepting them all as presentations)

• Let’s work on “real world applications” (Dan & Adele)– You kidding?

Balance sheet from the First Festivus

• Let’s increase the general levity in the community (Rao)– Done (have you seen Jorge’s talks lately. The guy is a regular

Seinfeld now?) • Let’s have double-blind reviewing (Martha)

– Done• Let there be kindness & light in reviewing (Dave)

– Working on it.• Let 100 birds sing (Amedeo)

– Done (although they are singing in Italian and we can’t make out what they are singing about..)

• Let’s stop accepting Rao’s poster papers (Craig)– Done (we are accepting them all as presentations)

• Let’s work on “real world applications” (Dan & Adele)– You kidding?

JJ öörg is Nutsrg is Nuts©©

JJ öörg Hoffmannrg Hoffmann

University of Innsbruck, AustriaUniversity of Innsbruck, Austria

© Rao Kambhampati for outrageous slides

JJ öörg rg wantswants Nuts?Nuts?©©

JJ öörg Hoffmannrg Hoffmann

University of Innsbruck, AustriaUniversity of Innsbruck, Austria

© Rao Kambhampati for outrageous slides

And this is the guy who seemed to believe that only plan graphs should relax..

+

+ +

Eier Woll

Milch

Sau!

Balance sheet from the First Festivus

• Let’s increase the general levity in the community (Rao)– Done (have you seen Jorge’s talks lately. The guy is a regular

Seinfeld now?) • Let’s have double-blind reviewing (Martha)

– Done• Let there be kindness & light in reviewing (Dave)

– Working on it.• Let 100 birds sing (Amedeo)

– Done (although they are singing in Italian and we can’t make out what they are singing about..)

• Let’s stop accepting Rao’s poster papers (Craig)– Done (we are accepting them all as presentations)

• Let’s work on “real world applications” (Dan & Adele)– You kidding?

Balance sheet from the First Festivus

• Let’s increase the general levity in the community (Rao)– Done (have you seen Jorge’s talks lately. The guy is a regular

Seinfeld now?) • Let’s have double-blind reviewing (Martha)

– Done• Let there be kindness & light in reviewing (Dave)

– Working on it.• Let 100 birds sing (Amedeo)

– Done (although they are singing in Italian and we can’t make out what they are singing about..)

• Let’s stop accepting Rao’s poster papers (Craig)– Done (we are accepting them all as presentations)

• Let’s work on “real world applications” (Dan & Adele)– You kidding?

Balance sheet from the First Festivus

• Let’s increase the general levity in the community (Rao)– Done (have you seen Jorge’s talks lately. The guy is a regular

Seinfeld now?) • Let’s have double-blind reviewing (Martha)

– Done• Let there be kindness & light in reviewing (Dave)

– Working on it.• Let 100 birds sing (Amedeo)

– Done (although they are singing in Italian and we can’t make out what they are singing about..)

• Let’s stop accepting Rao’s poster papers (Craig)– Done (we are accepting them all as presentations)

• Let’s work on “real world applications” (Dan & Adele)– You kidding?

Balance sheet from the First Festivus

• Let’s increase the general levity in the community (Rao)– Done (have you seen Jorge’s talks lately. The guy is a regular

Seinfeld now?) • Let’s have double-blind reviewing (Martha)

– Done• Let there be kindness & light in reviewing (Dave)

– Working on it.• Let 100 birds sing (Amedeo)

– Done (although they are singing in Italian and we can’t make out what they are singing about..)

• Let’s stop accepting Rao’s poster papers (Craig)– Done (we are accepting them all as presentations)

• Let’s work on “real world applications” (Dan & Adele)– You kidding?

Balance sheet from the First Festivus

• Let’s increase the general levity in the community (Rao)– Done (have you seen Jorge’s talks lately. The guy is a regular

Seinfeld now?) • Let’s have double-blind reviewing (Martha)

– Done• Let there be kindness & light in reviewing (Dave)

– Working on it.• Let 100 birds sing (Amedeo)

– Done (although they are singing in Italian and we can’t make out what they are singing about..)

• Let’s stop accepting Rao’s poster papers (Craig)– Done (we are accepting them all as presentations)

• Let’s work on “real world applications” (Dan & Adele)– You kidding? We are too busy specializing blocks world

Where have all our hard problems gone?

• We have too many smart humans in the field…

• May be we should look for the really hard problems in each track – Toughnuts– Required concurrency– Probabilistically interesting

Click here to download TLPlan– Click here to download a

Fahiem

Click here to download SHOP– Click here to download a

Dana

….but then I wonder…

Can Dark Glasses help the Drunk find his lost keys?

Underlying System Dynamics

Class

ical

Tempo

ral

Met

ric

Met

ric-

Tempo

ral

Non-d

etPO

Stoch

astic

Traditional Planning

PS

P P

lanning

Opt

imiz

atio

n M

etric

s

Any (feasible) Plan

Shortest plan

Cheapest plan

Highest net-benefit

Multi-objective

[AAAI 2004; ICAPS 2005 IJCAI 2005; IJCAI 2007]

Mod

el C

ompl

eten

ess Full

Approx

Shallow

Model-lite Planning

Incomplete Dynamics OR user preferences

(Gently) Questioning the Assumption

• There are many scenarios where domain modeling is the biggest obstacle– Web Service Composition

• Most services have very little formal models attached

– Workflow management• Most workflows are provided with little information about

underlying causal models

– Learning to plan from demonstrations• We will have to contend with incomplete and evolving

domain models..

• ..but our techniques assume complete and correct models..

The way to get more applications is to tackle more and more expressive domains

Model-Lite Planning is Planning with incomplete models

• ..“incomplete” “not enough domain knowledge to verify correctness/optimality”

• How incomplete is incomplete?• Missing a couple of

preconditions/effects or user preferences?

• Knowing no more than I/O types?

http://rakaposhi.eas.asu.edu/model-liteFrom “Any Time” to “Any Model” Planning

Challenges in Realizing Model-Lite Planning

1. Planning support for shallow domain models

2. Plan creation with approximate domain models

3. Learning to improve completeness of domain models

Challenges in Realizing Model-Lite Planning

1. Planning support for shallow domain models [ICAC 2005]

2. Plan creation with approximate domain models [IJCAI 2007, ICAPS Wkshp 2007]

3. Learning to improve completeness of domain models [ICAPS Wkshp 2007]

Summary• While model-intensive planning continues to have a

place (e.g. NASA), we should also look at model-lite planning– Applications include workflows, web services, desktop

automation, collaborative learning/planning• The aim is to reduce modeling burden.

– Either by reducing planning support (shallow domain models) – or by increasing the plan creation cost (approximate domain

models)• The challenges in each are different..

• Learning goes hand-in-hand with planning in model-lite planning scenarios.

http://rakaposhi.eas.asu.edu/model-liteFrom “Any Time” to “Any Model” Planning

Underlying System Dynamics

Class

ical

Tempo

ral

Met

ric

Met

ric-

Tempo

ral

Non-d

etPO

Stoch

astic

Traditional Planning

PS

P P

lanning

Opt

imiz

atio

n M

etric

s

Any (feasible) Plan

Shortest plan

Cheapest plan

Highest net-benefit

Multi-objective

[AAAI 2004; ICAPS 2005 IJCAI 2005; IJCAI 2007]

Mod

el C

ompl

eten

ess Full

Approx

Shallow

Model-lite Planning

[AAAI 2007, IJCAI 2007, ICAC 2005 etc.]

Dark Glasses won’t help the Drunk find his lost keys