AIC Seminar Series
|Sheila McIlraith||University of Toronto|
Date: 2005-06-20 at 16:00
Location: EJ228 (Directions)
Research in automated planning has historically focused on classical
planning generating a sequence of actions to achieve a user-defined
goal, given a specification of a domain and an initial state. Nevertheless,
in many real-world settings, plans are plentiful, and it is the generation
of high-quality plans meeting users preferences and constraints that
presents the biggest challenge. In this talk, we address the problem of
specifying and generating preferred plans using rich, qualitative user
preferences. We propose a logical language for specifying non-Markovian
preferences over properties of potential plans. We provide a semantics
for our first-order preference language in the situation calculus and
prove that progression of our preference formulae preserves this semantics.
This leads to the development of PPLAN, a best-first search planner that
computes preferred plans. Our preference language and planning approach
is amenable to integration with several existing planners, and beyond
planning, can be used to support arbitrary dynamical reasoning tasks.
Time permitting, we will discuss related work on personalization of agent
programs through the use of qualitative and quantitative user preferences.
This is joint work with Meghyn Bienvenu, Christian Fritz, and Shirin
Please arrive at least 10 minutes early as you will need to sign in by
following instructions by the lobby phone at Building E. (or call Wilma
Lenz at 650 859 4904, or Vicenta at Lopez at 650 859 5750). SRI is
located at 333 Ravenswood Avenue in Menlo Park. Visitors may park in the
parking lots off Fourth Street. Detailed directions to SRI, as well as maps,
are available from the Visiting AIC web page.
There are two entrances to SRI International located on Ravenswood Ave.
Please check the Builing E entrance signage.
©2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493