Summary: Machinery for Elaborating Action --
Preliminary Report
Eyal Amir
Department of Computer Science,
Gates Building, 2A wing
Stanford University, Stanford, CA 94305­9020, USA
eyala@cs.stanford.edu
April 15, 1997
Abstract
We present the problem of Elaborating Action as a sub­problem of
Elaboration Tolerance, and demonstrate a proposed solution. Knowl­
edge Representations have the Elaboration Tolerance Problem, i.e.,
that slight variations of the knowledge result in significant changes to
the original representation. Action Elaboration is a proposed direc­
tion in the theories of action scope. The problem of Elaborating Ac­
tion is that of modifying properties of actions (such as preconditions
and effects). Action Elaboration reifies the elaboration (the change),
and introduces a new action for every elaboration that we add. The
reasoning about the properties of the new action is then done using
Elaboration Axioms.

Source: Amir, Eyal - Department of Computer Science, University of Illinois at Urbana-Champaign

Collections: Computer Technologies and Information Sciences