lansky@VENICE.AI.SRI.COM (Amy Lansky) (06/30/87)
SYNTHESIZING PLANS THAT CONTAIN ACTIONS
WITH CONTEXT-DEPENDENT EFFECTS
Edwin P.D. Pednault (VAX135!EPDP@UCBVAX.BERKELEY.EDU)
Knowledge Systems Research Department
AT&T Bell Laboratories
Crawfords Corner Road
Holmdel, NJ 07733
11:00 AM, MONDAY, July 6
SRI International, Building E, Room EJ228
In this talk, I will present an approach to solving planning problems
that involve actions whose effects depend on the state of the world at
the time the actions are performed. To solve such problems, the idea
of a secondary precondition is introduced. A secondary precondition
for an action is a condition that must be true at the time the action
is performed for the action to have its desired effect. By imposing
the appropriate secondary precondition as an additional precondition
to an action, we can coerce that action to preserve a desired
condition or to cause a desired condition to become true. I will
demonstrate the use of secondary preconditions and show how they can
be derived from the specification of a planning problem in a
completely general and domain-independent fashion.
VISITORS: Please arrive 5 minutes early so that you can be escorted up
from the E-building receptionist's desk. Thanks!