Domain Independent Characterization of Parametric and Geometric Problems in Embodiment Design

摘要: In embodiment and detailed design one is often concerned with sizing geometric arrangement. Constraint problems of satisfying certain relationships in feasible designs are solved by domain specific procedures manufacturing applications. This paper shows that a variety such reducible to small set generic solvable domain-independent procedures. A taxonomy constraint problem types developed. The based on the entities, constraints, tasks (reasoning or inquiry) be performed. "exemplar" introduced as new concept for describing complex situational patterns extracting information interest. Such canonical representation parametric needed designing cleaner interfaces between applications solvers, basis standardized data exchange future CAD systems, providing foundations independent shells design.