Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

Publication Details

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.

Electronic Copies


Adobe PDF

BibTeX

EndNote

Associated Projects

PASSAT

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.

AIC Personnel

Name Title E-mail
Myers, Karen Program Director & Principal Scientist

SRI International
©2014 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy