Constraint Reasoning In Concurrent Design

Constraint Reasoning in Concurrent Design

Furthermore, the identification of dominant constraints permits the easy evaluation of the significance of newly asserted constraints and frequently facilitates the automatic formulation of noniterative constraint satisfaction methods which guarantee a globally optimal design."

Design Theory and Methodology, DTM '90

Constraint Reasoning and Planning in Concurrent Design

By concurrent design we mean, in part, concurrent consideration of a broad range of life-cycle constraints concerning, for example manufacturing and maintenance. 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 properties are used to identify critical constraints. A related aspect of concurrent design problems is the large number of complex constraints which have to be satisfied to complete a design task. As it is impossible to guarantee the simultaneous solution of a large set of design constraints, we have investigated algorithms for planning and simplifying such constraint problems. (kr).