Geometric reasoning with logic and algebra (Q918227)

Results of computational geometry from the point of view of logical reasoning on geometric bodies: planes, balls, cylinders, etc. are surveyed. The formalization of this reasoning is carried out by means of logic of the first order with functional and predicate symbols, relations, logical and object variables and constants, logical and quantor connectives defined on a set of real numbers. The geometric reasoning formalized in first order logic is concerned with the solution of the following three basic problems: - request for a set of geometric bodies satisfying a specific property represented in the first order logic; - formulation of the characteristic property which is satisfied by the given set of geometric bodies; - construction of a geometric image of the geometric bodies belonging to the properly specified set of bodies. Theoretical aspects and practical determinate algorithms of solutions of the above problems are examined from the standpoint of applications related, specifically, to the development of modern CAD systems. The state-of-the-art and prospects of further advance in research of the field in question are shown.