Constraint reasoning and planning in concurrent design

Abstract: "By concurrent design we mean, in part, concurrent consideration of a broad range of life-cycle constraints concerning, for example manufacturing and maintencnce. The multitude of constraints arising from these considerations make it difficult to identify satisfactory designs. An alternative to explicitly considering all constraints is to determine which of the constraints are relevant, redundant or inconsistent and to consider only those which impact design decisions.The proposed approach is based on two simple ideas: (1) Constraints provide a uniform representation for a variety of life-cycle concerns, and (2) Interval methods applied to constraints can be used to identify critical constraints, eliminate redundant constraints and to narrow the space of design alternatives. The application of the necessary and sufficient intervals of constraints and constraint propagation techniques are used to classify constraints in this way and to focus design activity. Regional monotinicity [i.e. monotonicity] properties are used to identify critical constraints.