Skip to main content
SpringerLink
Log in
Book cover

Biologically Inspired Cognitive Architectures 2012 pp 211–217Cite as

Insertion Cognitive Architecture

  • Conference paper

  • 1379 Accesses

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 196))

Abstract

The main goal of the paper is to demonstrate that the Insertion Modeling System IMS, which is under development in Glushkov Institute of Cybernetics, can be used as an instrument for the development and analysis of cognitive (intellectual) agents that is agents that model human mind. Insertion cognitive architecture is real time insertion machine which realizes itself, has a center to evaluate the success of its behavior and is committed to achieving maximum success repeated. As an agent, this machine is inserted in its external environment and has the means to interact with it. The internal environment of cognitive agent creates and develops its model and the model of external environment. In order to achieve its goals it uses the basic techniques developed in the field of biologically inspired cognitive architectures as well as software development techniques.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baranov, S., Jervis, C., Kotlyarov, V., Letichevsky, A., Weigert, T.: Leveraging UML to deliver correct telecom applications in UML for Real: Design of Embedded Real-Time Systems. In: Lavagno, L., Martin, G., Selic, B. (eds.), pp. 323–342. Kluwer Academic Publishers (2003)

    Google Scholar 

  2. Bergstra, J.A., Klop, J.W.: Process algebra for synchronous communications. Information and Control 60(1/3), 109–137 (1984)

    Article  MathSciNet  MATH  Google Scholar 

  3. Bergstra, J.A., Ponce, A., Smolka, S.A. (eds.): Handbook of Process Algebra. North-Holland (2001)

    Google Scholar 

  4. Gilbert, D., Letichevsky, A.A.: A universal interpreter for nondeterministic concurrent programming languages. In: Gabbrielli, M. (ed.) Fifth Compulog Network Area Meeting on Language Design and Semantic Analysis Methods (September 1996)

    Google Scholar 

  5. Letichevsky, A.A., Gilbert, D.: A general theory of action languages. Cybernetics and System Analyses 1 (1998)

    Google Scholar 

  6. Letichevsky, A.A., Gilbert, D.: A Model for Interaction of Agents and Environments. In: Bert, D., Choppy, C., Moses, P. (eds.) WADT 1999. LNCS, vol. 1827, pp. 311–328. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  7. Glushkov, V.M.: Automata theory and questions of design structure of digital machines. Cybernetics 1, 3–11 (1965)

    Article  Google Scholar 

  8. Glushkov, V.M., Letichevsky, A.A.: Theory of algorithms and descrete processors. In: Tou, J.T. (ed.) Advances in Information Systems Science, vol. 1, pp. 1–58. Plenum Press (1969)

    Google Scholar 

  9. Letichevsky, A.A., Letychevskyi, O.A., Peschanenko, V.S.: Insertion Modeling System. In: Clarke, E., Virbitskaite, I., Voronkov, A. (eds.) PSI 2011. LNCS, vol. 7162, pp. 262–273. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  10. Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall (1985)

    Google Scholar 

  11. Kapitonova, J., Letichevsky, A.: Mathematical theory of computational systems design. Moscow, Science, 295 (1988) (in Russian)

    Google Scholar 

  12. Kapitonova, J., Letichevsky, A., Volkov, V., Weigert, T.: Validation of Embedded Systems. In: Zurawski, R. (ed.) The Embedded Systems Handbook. CRC Press, Miami (2005)

    Google Scholar 

  13. Letichevsky, A.: Algebra of behavior transformations and its applications. In: Kudryavtsev, V.B., Rosenberg, I.G. (eds.) Structural theory of Automata, Semigroups, and Universal Algebra. NATO Science Series II. Mathematics, Physics and Chemistry, vol. 207, pp. 241–272. Springer (2005)

    Google Scholar 

  14. Letichevsky, A., Kapitonova, J., Letichevsky Jr., A., Volkov, V., Baranov, S., Kotlyarov, V., Weigert, T.: Basic Protocols, Message Sequence Charts, and the Verification of Requirements Specifications. In: ISSRE 2004, WITUL (Workshop on Integrated Reliability with Telecommunications and UML Languages), Rennes, November 4 (2005)

    Google Scholar 

  15. Letichevsky, A., Kapitonova, J., Letichevsky Jr., A., Volkov, V., Baranov, S., Kotlyarov, V., Weigert, T.: Basic Protocols, Message Sequence Charts, and the Verification of Requirements Specifications. Computer Networks 47, 662–675 (2005)

    Google Scholar 

  16. Letichevsky, A., Kapitonova, J., Volkov, V., Letichevsky Jr., A., Baranov, S., Kotlyarov, V., Weigert, T.: System Specification with Basic Protocols. System Specification with Basic Protocols. Cybernetics and System Analyses 4 (2005)

    Google Scholar 

  17. Milner, R.: A Calculus of Communication Systems. LNCS, vol. 92. Springer, Heidelberg (1980)

    Book  Google Scholar 

  18. Milner, R.: Communication and Concurrency. Prentice Hall (1989)

    Google Scholar 

  19. Milner, R.: The polyadic π-calculus: a tutorial. Tech. Rep. ECS–LFCS–91–180, Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh, UK (1991)

    Google Scholar 

  20. Minsky, M.: The Society of Mind, 339 p. Touchstone Book (1988)

    Google Scholar 

  21. Park, D.: Concurrency and Automata on Infinite Sequences. In: Deussen, P. (ed.) GI-TCS 1981. LNCS, vol. 104, pp. 167–183. Springer, Heidelberg (1981)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Glushkov Institute of Cybernetics, Academy of Sciences of Ukraine, Kyiv, Ukraine

    Alexander Letichevsky

Authors
  1. Alexander Letichevsky
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Alexander Letichevsky .

Editor information

Editors and Affiliations

  1. Department of Chemical, Management,, Computer, Mechanical Engineering, Università di Palermo, Viale delle Scienze, Building 6 6, Palermo, 90128, Italy

    Antonio Chella

  2. Department of Chemical, Management,, Computer, Mechanical Engineering, Università di Palermo, Viale delle Scienze, Building 6 6, Palermo, 90128, Italy

    Roberto Pirrone

  3. Department of Chemical, Management,, Computer, Mechanical Engineering, Università di Palermo, Viale delle Scienze, Building 6 6, Palermo, 90128, Italy

    Rosario Sorbello

  4. , Department of Psychology, Reykjavik University, Menntavegur 1, Reykjavik, 101, Iceland

    Kamilla Rún Jóhannsdóttir

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Letichevsky, A. (2013). Insertion Cognitive Architecture. In: Chella, A., Pirrone, R., Sorbello, R., Jóhannsdóttir, K. (eds) Biologically Inspired Cognitive Architectures 2012. Advances in Intelligent Systems and Computing, vol 196. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34274-5_38

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-34274-5_38

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-34273-8

  • Online ISBN: 978-3-642-34274-5

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation