Robustness in geometric modeling - an intuitionistic and tolerance-based approach

An intuitionistic geometry approach is taken to develop two tolerance-based methods for robust geometric computation. The so called analytic model method and the approximated model method are developed independently of a specific application or a geometric algorithm. Geometric robustness is formally defined. Geometric relations are computed based on tolerances defined for geometric objects. Dynamic tolerance updating rules are given to preserve properties of the geometric relations. The two methods differ in the definition of robustness and they use different tolerance updating rules, and hence, they preseve different properties and are suitable for different kinds of applications. To handle the possibly occuring ambiguities dynamic ambiguity handling methods are described as well.