Article contents
A predicate logic approach to CAD/CAM modeling
Published online by Cambridge University Press: 27 February 2009
Abstract
An approach to CAD and CAM modeling and to the design of CAD/CAM systems is presented. Models of the product and of the process are represented by logical assertions in a common logical language. CAD/CAM functions are represented by the application of logical inference rules, which correspond to the derivation of new information as well as to actions. This allows all the different kinds of model and specification used in design and manufacturing to be represented in a computer in a common form. It therefore allows the representation of constraints and rules connecting any aspects of design and manufacturing together.
This approach has all the advantages of formal specifiction, namely, ease of expression, communication, standardization and abstraction. At the same time, we demonstrate its practical implementation in an efficient form, and which is industry compatible, and we report practical experience with using this approach for CAD/CAM models and for intelligent CAD/CAM functions.
- Type
- Research Article
- Information
- Copyright
- Copyright © Cambridge University Press 1992
References
- 1
- Cited by