Robustness in solid modeling - a tolerance based, intuitionistic approach

This paper presents a new robustness method for geometric modeling operations. It computes geometric relations from the tolerances defined for geometric objects and dynamically updates the tolerances to preserve the properties of the relations, using an intuitionistic self-validation approach. Geometric algorithms using this approach are proved to be robust. A robust Boolean set operation algorithm using this robustness approach has been implemented and test examples are described in this paper as well.