Abstract
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.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Kalyaev, I.A., Lokhin, V.M., Makarov, I.M., Man’ko, S.V., Romanov, M.P., and Yurevich, E.I., Intellektual’nye roboty (Intelligent Robots), Moscow: Mashinostroenie, 2007.
Makarov, I.M., Lokhin, V.M., Man’ko, S.V., and Romanov, M.P., Iskusstvennyi intellekt i intellektual’nye sistemy upravleniya (Artificial Intelligence and Intelligent Control Systems), Moscow: Nauka, 2006.
Robinson, J.A., A machine-oriented logic based on resolution principle, J. ACM, 1965, no. 12, pp. 23–41.
Chang, C. and Lee, R., Symbolic Logic and Mechanical Theorem Proving, New York: Academic, 1973.
Maslov, S.Yu., Teoriya deduktivnykh sistem i ee primeneniya (Theory of Deductive Systems and Its Applications), Moscow: Radio i Svyaz’, 1986.
Tyugu, E.Kh. and Kharf, M.Ya., Algorithms for structural synthesis of programs, Programmirovanie, 1980, no. 4, pp. 3–13.
Iskusstvennyi intellekt (Artificial Intelligence), vol. 2: Modeli i metody. Spravochnik (Models and Methods: Handbook), Pospelov, D.A, Ed., Moscow: Nauka, 1990.
Osipov, V.Yu., Synthesis of resultative programs to control information and computational resources, Prib. Sist. Upr., 1998, no. 12, pp. 24–27.
Korukhova, Yu., An approach to automatic deductive synthesis of functional programs, Ann. Math. Artif. Intell., 2007, vol. 50, nos. 3–4, pp. 255–271.
Giacomo, G., Patrizi, F., and Sardina, S., Automatic behavior composition synthesis, Artif. Intell., 2013, vol. 196, pp. 106–142.
Novoseltsev, V.B., Synthesis of parallel recursive programs in structural functional models, Program. Comput. Software, 2007, vol. 33, no. 5, pp. 293–299.
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © V.Yu. Osipov, 2016, published in Programmirovanie, 2016, Vol. 42, No. 3.
Rights and permissions
About this article
Cite this article
Osipov, V.Y. Automatic synthesis of action programs for intelligent robots. Program Comput Soft 42, 155–160 (2016). https://doi.org/10.1134/S0361768816030063
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0361768816030063