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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Bergstra, J.A., Klop, J.W.: Process algebra for synchronous communications. Information and Control 60(1/3), 109–137 (1984)
Bergstra, J.A., Ponce, A., Smolka, S.A. (eds.): Handbook of Process Algebra. North-Holland (2001)
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)
Letichevsky, A.A., Gilbert, D.: A general theory of action languages. Cybernetics and System Analyses 1 (1998)
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)
Glushkov, V.M.: Automata theory and questions of design structure of digital machines. Cybernetics 1, 3–11 (1965)
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)
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)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall (1985)
Kapitonova, J., Letichevsky, A.: Mathematical theory of computational systems design. Moscow, Science, 295 (1988) (in Russian)
Kapitonova, J., Letichevsky, A., Volkov, V., Weigert, T.: Validation of Embedded Systems. In: Zurawski, R. (ed.) The Embedded Systems Handbook. CRC Press, Miami (2005)
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)
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)
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)
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)
Milner, R.: A Calculus of Communication Systems. LNCS, vol. 92. Springer, Heidelberg (1980)
Milner, R.: Communication and Concurrency. Prentice Hall (1989)
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)
Minsky, M.: The Society of Mind, 339 p. Touchstone Book (1988)
Park, D.: Concurrency and Automata on Infinite Sequences. In: Deussen, P. (ed.) GI-TCS 1981. LNCS, vol. 104, pp. 167–183. Springer, Heidelberg (1981)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights 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)