Skip to main content
SpringerLink
Log in

Deductive tools of an algebraic programming system

  • Published:
Cybernetics and Systems Analysis Aims and scope

Abstract

A mathematical environment is a system of tools supporting interactive manipulation of knowledge represented in the form of (formalized) mathematical texts. A theoretical substantiation of a project proposed is the theory of interaction of agents and environments. At the present time, this theory is realized on the basis of a simulator of an action language developed in an algebraic programming system called APS.

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. Yu. V. Kapitonova and A. A. Letichevskii, “Theorem proving in a mathematical information environment,” Kibern. Sist. Anal., No. 4, 3–12 (1998).

  2. A. I. Degtyarev and A. V. Lyaletskii, “Logical inferences in SAD,” in: Mathematical Foundations of Systems of Artificial Intelligence, Cybernetics Institute of NASU, Kiev (1981), pp. 3–11.

    Google Scholar 

  3. B. Buchberger, “Mathematical A system for doing mathematics by computer?” in: A. Miola and M. Temperini (eds.), Advances in the Design of Symbolic Computation Systems, LNCS, Springer (1993).

  4. D. M. R. Park, “Concurrency and automata on infinite sequences,” in: Proc. 5th GI Conf. Lecture Notes in Computer Science, V. 104, Springer-Verlag (1981).

  5. V. M. Glushkov, “Problems of automata theory and artificial intelligence,” Kibernetika, No. 2, 3–17 (1970).

  6. V. M. Glushkov, Yu. V. Kapitonova, A. A. Letichevskii, et al., “A practical formalized language for representing mathematical theories,” Kibernetika, No. 2, 19–28 (1972).

  7. A. A. Letichevsky, D. R. Gilbert, “Agents and environments,” in: 1st International Scientific and Practical Conference on Programming, Proceedings 2–4, V. M. Glushkov Cybernetics Institute, National Academy of Sciences of Ukraine, Kiev (1998), pp. 32–44.

    Google Scholar 

  8. A. A. Letichevsky and D. R. Gilbert, “A general theory of action languages,” Kibern. Sist. Anal., No. 1, 16–36 (1998).

Download references

Author information

Authors and Affiliations

  1. Cybernetics Institute, National Academy of Sciences of Ukraine, Kiev, Ukraine

    Yu. V. Kapitonova, A. A. Letichevskii & V. A. Volkov

Authors
  1. Yu. V. Kapitonova
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. A. Letichevskii
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. V. A. Volkov
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Translated from Kibernetika i Sistemnyi Analiz, No. 1, pp. 17–34, January–February, 2000.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kapitonova, Y.V., Letichevskii, A.A. & Volkov, V.A. Deductive tools of an algebraic programming system. Cybern Syst Anal 36, 12–26 (2000). https://doi.org/10.1007/BF02733299

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02733299

Keywords

Search

Navigation