Variation of geometries based on a geometric-reasoning method
type: Item
instance of: scholarly article
title: Variation of geometries based on a geometric-reasoning method
zbMATH Open document ID: 0656.65017
DOI: 10.1016/0010-4485(88)90019-X
author: B. Aldefeld
published in: CAD. Computer-Aided Design
publication date: 1988-01-01T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 65D15
Mathematics Subject Classification ID: 51N05
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 4072230
zbMATH Keywords: symbolic computation
zbMATH Keywords: geometric models
zbMATH Keywords: symbolic manipulation
zbMATH Keywords: inferencing
zbMATH Keywords: rule-based system
zbMATH Keywords: control strategy
MaRDI profile type: Publication
full work available at URL: 0010-4485(88)90019-x
OpenAlex ID: W2042045727
Recommended article: Q4268125
Recommended article: Variational methods in geometry
Recommended article: Geometric realization and its variants
Recommended article: Q4531858
Recommended article: Q4940097
description: scientific article; zbMATH DE number 4072230