Skip to main content
SpringerLink
Log in

Automatic synthesis of action programs for intelligent robots

  • Published:
Programming and Computer Software Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. 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.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. Robinson, J.A., A machine-oriented logic based on resolution principle, J. ACM, 1965, no. 12, pp. 23–41.

    Article  MathSciNet  MATH  Google Scholar 

  4. Chang, C. and Lee, R., Symbolic Logic and Mechanical Theorem Proving, New York: Academic, 1973.

    MATH  Google Scholar 

  5. Maslov, S.Yu., Teoriya deduktivnykh sistem i ee primeneniya (Theory of Deductive Systems and Its Applications), Moscow: Radio i Svyaz’, 1986.

    MATH  Google Scholar 

  6. Tyugu, E.Kh. and Kharf, M.Ya., Algorithms for structural synthesis of programs, Programmirovanie, 1980, no. 4, pp. 3–13.

    MathSciNet  MATH  Google Scholar 

  7. Iskusstvennyi intellekt (Artificial Intelligence), vol. 2: Modeli i metody. Spravochnik (Models and Methods: Handbook), Pospelov, D.A, Ed., Moscow: Nauka, 1990.

  8. Osipov, V.Yu., Synthesis of resultative programs to control information and computational resources, Prib. Sist. Upr., 1998, no. 12, pp. 24–27.

    Google Scholar 

  9. Korukhova, Yu., An approach to automatic deductive synthesis of functional programs, Ann. Math. Artif. Intell., 2007, vol. 50, nos. 3–4, pp. 255–271.

    Article  MathSciNet  MATH  Google Scholar 

  10. Giacomo, G., Patrizi, F., and Sardina, S., Automatic behavior composition synthesis, Artif. Intell., 2013, vol. 196, pp. 106–142.

    Article  MathSciNet  MATH  Google Scholar 

  11. Novoseltsev, V.B., Synthesis of parallel recursive programs in structural functional models, Program. Comput. Software, 2007, vol. 33, no. 5, pp. 293–299.

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. St. Petersburg Institute for Informatics and Automation, Russian Academy of Sciences, 14th line 39, St. Petersburg, 199178, Russia

    V. Yu. Osipov

Authors
  1. V. Yu. Osipov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to V. Yu. Osipov.

Additional information

Original Russian Text © V.Yu. Osipov, 2016, published in Programmirovanie, 2016, Vol. 42, No. 3.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0361768816030063

Keywords

Search

Navigation