NTRS - NASA Technical Reports Server

Back to Results
Constraint-based Attribute and Interval PlanningIn this paper we describe Constraint-based Attribute and Interval Planning (CAIP), a paradigm for representing and reasoning about plans. The paradigm enables the description of planning domains with time, resources, concurrent activities, mutual exclusions among sets of activities, disjunctive preconditions and conditional effects. We provide a theoretical foundation for the paradigm, based on temporal intervals and attributes. We then show how the plans are naturally expressed by networks of constraints, and show that the process of planning maps directly to dynamic constraint reasoning. In addition, we de ne compatibilities, a compact mechanism for describing planning domains. We describe how this framework can incorporate the use of constraint reasoning technology to improve planning. Finally, we describe EUROPA, an implementation of the CAIP framework.
Document ID
Document Type
Reprint (Version printed in journal)
External Source(s)
Jonsson, Ari
(Research Inst. for Advanced Computer Science Moffett Field, CA, United States)
Frank, Jeremy
(NASA Ames Research Center Moffett Field, CA, United States)
Date Acquired
August 27, 2013
Publication Date
January 1, 2013
Publication Information
Publication: Constraints
Volume: 8
Issue: 4
Subject Category
Mathematical And Computer Sciences (General)
Distribution Limits
No Preview Available