Machine Reasoning in CAD Applictions

This article presents the use of inference engine to implement mechanisms that automatically detect design errors and generate design tips in CAD (Computer Aided Design) applications. The article discusses a number of implementation issues, that can be avoided by using an inference mechanisms. Th