Variation of geometries based on a geometric-reasoning method (Q1110246)

A method is described for processing generic geometric models on the basis of symbolic manipulation and inferencing. A two-dimensional model is represented as a set of geometric elements and a set of atomic formulas that define the constraining scheme. Processing of a model is performed by a rule-based system, whose rules embody the general knowledge for the propagation of constraining information in geometric structures. Forward inferencing is used as an example of a possible control strategy. The system detects whether or not a model description is consistent and derives a plan for the construction of variants. Given a numerical value for each parametric constraint of a model, a variant is rapidly generated through automatic plan execution.