Knowledge representation in an automatic programming system and solution of Ek(R2) location problems

The specific features of the solver system for the E_k(R²) problem of locating geometrical objects are presented. A strategy for the construction of the system as a mapping of the set of problems on the set of solution methods is proposed.Translated from Kibernetika i Sistemnyi Analiz, No. 5, pp. 31–40, September–October, 1991.