VARIATION OF GEOMETRIES BASED ON A GEOMETRIC-REASONING METHOD

被引:82
作者
ALDEFELD, B
机构
[1] Philips Research Lab Hamburg, Hamburg, West Ger, Philips Research Lab Hamburg, Hamburg, West Ger
关键词
Computer aided design - Mathematical models;
D O I
10.1016/0010-4485(88)90019-X
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
A method is described for processing generic geometric models on the basis of symbol 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.
引用
收藏
页码:117 / 126
页数:10
相关论文
共 18 条