Verifiable implementations of geometric algorithms using finite precision arithmetic
Two methods are proposed for correct and verifiable geometric reasoning using finite precision arithmetic. The first method, data normalization, transforms the geometric structure into a configuration for which all finite precision calculations yield correct answers. The second method, called the hi...
Saved in:
Published in | Artificial intelligence Vol. 37; no. 1; pp. 377 - 401 |
---|---|
Main Author | |
Format | Journal Article |
Language | English |
Published |
Elsevier B.V
1988
|
Online Access | Get full text |
Cover
Loading…
Summary: | Two methods are proposed for correct and verifiable geometric reasoning using finite precision arithmetic. The first method, data normalization, transforms the geometric structure into a configuration for which all finite precision calculations yield correct answers. The second method, called the hidden variable method, constructs configurations that belong to objects in an infinite precision domain—without actually representing these infinite precision objects. Data normalization is applied to the problem of modeling polygonal regions in the plane, and the hidden variable method is used to calculate arrangements of lines. |
---|---|
Bibliography: | ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23 |
ISSN: | 0004-3702 1872-7921 |
DOI: | 10.1016/0004-3702(88)90061-6 |