Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!rutgers!ucla-cs!zen!ucbvax!VENICE.AI.SRI.COM!lansky
From: lansky@VENICE.AI.SRI.COM (Amy Lansky)
Newsgroups: comp.ai.digest
Subject: Seminar - Planning Actions with Context-Dependent Effects (SRI)
Message-ID: <8706301852.AA05678@venice>
Date: Tue, 30-Jun-87 14:52:11 EDT
Article-I.D.: venice.8706301852.AA05678
Posted: Tue Jun 30 14:52:11 1987
Date-Received: Tue, 7-Jul-87 01:25:13 EDT
Sender: usenet@ucbvax.BERKELEY.EDU
Distribution: world
Organization: The ARPA Internet
Lines: 29
Approved: ailist@stripe.sri.com


		 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!