Characterizing plans as a set of constraints—the model—a framework for comparative analysis

  • Authors:
  • Austin Tate

  • Affiliations:
  • -

  • Venue:
  • ACM SIGART Bulletin
  • Year:
  • 1995

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper presents an approach to representing and manipulating plans based on a model of plans as a set of constraints. The model 1 is used to characterise the plan representation used within O-Plan and to relate this work to emerging formal analyses of plans and planning. This synergy of practical and formal approaches can stretch the formal methods to cover realistic plan representations as needed for real problem solving, and can improve the analysis that is possible for production planning systems. is intended to act as a bridge to improve dialogue between a number of communities working on formal planning theories, practical planning systems and systems engineering process management methodologies. It is intended to support new work on automatic manipulation of plans, human communication about plans, principled and reliable acquisition of plan information, and formal reasoning about plans.