Automatic synthesis of action programs for intelligent robots
Vasiliy Yurievich Osipov · Programming and Computer Software · 2016
The problem of automatic synthesis of action programs for intelligent robots in a permanently changing environment is considered. Capabilities of the deductive synthesis of cyclic and self-replicating programs are investigated. New algorithms for synthesis of such action programs for a wide range of possible conditions are suggested. Results of this synthesis are reported.