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 in order to sign in and be escorted to the conference room. SRI is located at 333 Ravenswood Avenue in Menlo Park. Visitors may park in the visitors lot in front of Building E, and should follow the instructions by the lobby phone to be escorted to the meeting room. Detailed directions to SRI, as well as maps, are available from the Visiting AIC web page.
©2014 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493