Irrelevant Actions in Plan Generation (extended abstract) (2004)
In a planning problem, some of the available actions may be irrelevant for achieving the given goal. We make this idea precise by defining, for an action description in language C , when a subset of its signature is "isolated." If all fluent constants mentioned in the goal of a planning problem belong to an isolated set  then any valid solution to the problem will remain valid if we drop from it all actions that do not belong to . Furthermore, this more economical plan will remain valid if we drop all assumptions about the initial values of the fluent constants that do not belong to . Identifying isolated sets can be used to simplify the statement of a given planning problem.
In IX Ibero-American Workshops on Artificial Intelligence, pp. 71-78 2004.

Vladimir Lifschitz Faculty vl [at] cs utexas edu
Wanwan Ren Ph.D. Alumni wanwanren [at] gmail com