Toward a Theory of Qualitative Reasoning about Plans
by Myers, K. L.
in Proceedings of the ICAPS-04 Workshop Connecting Planning Theory with Practice
2004.
Abstract
Automated planning algorithms embody a theory of causality grounded in linking enabling effects of actions or initial world conditions to preconditions of subsequent actions. This model has several drawbacks when applied in the context of mixed-initiative planning. First, it requires comprehensive causal models that describe for every action its full set of preconditions and postconditions; in many application domains, such models will be unavailable. Second, it does not cover several forms of intraplan relations that a human may wish to document and reason with. To address these shortcomings, we define a qualitative framework for reasoning about plan structure. Specifically, we define a set of plan relations that characterize key interactions among plan components and a calculus for reasoning qualitatively about the effects of plan changes. We argue that our qualitative approach is much better suited to mixed-initiative planning than the causal link method.
Plan Authoring System based on Sketches, Advice, and Templates (PASSAT)
PASSAT is a user-centric plan-authoring system grounded in the concepts of plan sketches, advice, and templates. PASSAT enables users to quickly develop plans that draw upon past experience encoded in templates, but that are customized to their individual preferences of a given user. The PASSAT core consists of an interactive plan authoring capability; tools for task management, constraint reasoning, plan sketching and causal reasoning provide provide complementary automated capabilities.
