ICAPS Conference 1994 Conference Paper
- Lee Spector
- James A. Hendler
Thispaperdescribesthe use of supervenience in integrating planningand reaction in complex, dynamicenvironments. Supervenience is a formof abstractionwithaffinities both to abstraction in AI planningsystemsand to partitioning schemesin hierarchical control systems. Theuse of supervenieneecanbe distilled to an easy-to-stateconstrainton the designof multileveldynamic-world p "lanningsystems: worldknowledgeup, goals down. Wepresent the supervenience architecturewhichembodies this constraint, and contrast it to thc subsumption architecture of Brooks. Wedescribe the performanceof an implementationof the supervcnience architecture on a problemin the HomeBot domain, and we concludewitha discussionof the role that supcrvenience can play in future dynamic-world planningsystems. Supervenienceis a species of abstraction that wc believe to be important for systems that must integrate high-level reasoning with real-time action. Simplification abstraction is a special case of supervenience, and the search-reduction benefits of ABSTRIPS-stylesystems are sometimesavailable in supcrvenient planning systems as well. The generality of supervenience also allows, however, for uses of abstraction similar to those available in blackboard architectures and in other multilevel control systems. The central idea of supervenienceis that representations at lower levels of abstraction are epistemologically"closer to the world"than those at higher levels, and that the representations at higher levels therefore dependon those at lower levels. The higher levels maycontain representations that axe simplifications of low-level, sensory reports, but they mayjust as well contain representations that axe complex, structurally rich aggregates that have no unified representation at lower levels. In contrast to ABSTRIPSstyle systems, in which higher levels must be simplifications of the lower levels, levels of supervenience maybe dissimilar in various ways so long as the proper dependence relation holds. The thesis is that it is this dependence, and not the more restrictive notion of simplification, that allows for the flexible integration of deliberation and reaction. The concept of supervenienccapplies naturally to multilevel computationalarchitectures in which the higher levels are coupled to the world through the lower levels. In such cases the privileged status of the lower levels (vis-avis access to the world) can be used to advantage. Wehave formalized the superveniencc relation in the context of nonmonotonic reasoning systems, using the concept of "defeasibility" in nonmonotonicsystems to spell out the appropriate notion of "dependence. " Supervenienceis defined to be the case in whichlower levels can defeat higher level facts but not vice versa (Specter 1992); this can abbreviated as "assertions up, assumptions down, "and reformulated for implementation purposes as "world knowledge up, goals down. "The bottom line for system-builders is this: Lowlevels should "know" enough to be right about, and to act upon, their assertions. Highlevels should configure (e. g., provide goals for) lowerlevels, but should not override knowledgedetermined to be true by the lower levels. Lowerlevels mayneed to monitor for goal-changes from above, but not for changes in world knowledgefrom