Skip to main content
SpringerLink
Log in

Towards a Cognitive Architecture for the Formal Analysis of Human Behaviour and Learning

  • Conference paper
  • First Online:
Software Technologies: Applications and Foundations (STAF 2018)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 11176))

Abstract

In this paper we propose a cognitive architecture for the modelling of automatic and deliberate human behaviour as it occurs and evolves in a living environment or in interaction with machine interfaces. Such a cognitive architecture supports the timed modelling of an environment featuring a spatial topology and consisting of an arbitrary number of systems, interfaces and human components. Alternative models of short-term memory can be considered and explored, and long-term memory evolves throughout the time by exploiting experiences and mimicking the creation of expectations as part of mental modelling.

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

Access this chapter

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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

Institutional subscriptions

References

  1. Abowd, G., Beale, R.: Users, systems and interfaces: a unifying framework for interaction. In: People and Computer VI (HCI 1991), pp. 73–87. Cambridge University Press (1991)

    Google Scholar 

  2. Anderson, J.R.: The Architecture of Cognition. Psychology Press, London (1983)

    Google Scholar 

  3. Broccia, G., Masci, P., Milazzo, P.: Modelling and analysis of human memory load in multitasking scenarios. In: EICS 2018. ACM (2018)

    Google Scholar 

  4. Broccia, G., Milazzo, P., Ölveczky, P.C.: An executable formal framework for safety-critical human multitasking. In: Dutle, A., Muñoz, C., Narkawicz, A. (eds.) NFM 2018. LNCS, vol. 10811, pp. 54–69. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-77935-5_4

    Chapter  Google Scholar 

  5. Cerone, A.: A cognitive framework based on rewriting logic for the analysis of interactive systems. In: De Nicola, R., Kühn, E. (eds.) SEFM 2016. LNCS, vol. 9763, pp. 287–303. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-41591-8_20

    Chapter  Google Scholar 

  6. Cerone, A., Zhexenbayeva, A.: Using formal methods to validate research hypotheses: the Duolingo case study. In: STAF 2018 Workshops (DataMod). LNCS, vol. 11176, pp. 163–170. Springer, Cham (2018)

    Google Scholar 

  7. Clavel, M., et al.: The Maude 2.0 system. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol. 2706, pp. 76–87. Springer, Heidelberg (2003). https://doi.org/10.1007/3-540-44881-0_7

    Chapter  Google Scholar 

  8. Golosio, B., Cangelosi, A., Gamotina, O., Masala, G.L.: A cognitive neural model of executive functions in natural language processing. In: Proceedings of BICA 2015 of Procedia Computer Science, vol. 71, pp. 196–201. Elsevier (2015)

    Google Scholar 

  9. Laird, J.E.: The Soar Cognitive Architecture. MIT Press, Cambridge (2012)

    Google Scholar 

  10. Norman, D.A., Shallice, T.: Attention to action: willed and automatic control of behaviour. In: Consciousness and Self-Regulation, Advances in Research and Theory, Vol. 4. Plenum Press (1986)

    Google Scholar 

  11. Ölveczky, P.C.: Designing Reliable Distributed Systems - A Formal Methods Approach Based on Modeling in Maude. Springer, Heidelberg (2017). https://doi.org/10.1007/978-1-4471-6687-0. Undergraduate Topics in Computer Science

    Book  MATH  Google Scholar 

  12. Rukšėenas, R., Curzon, P., Blandford, A.: Modelling rational user behaviour as games between an angel and a demon. In: Cerone, A., Gruner, S. (eds.), Proceedings of SEFM 2008, pp. 355–364. IEEE Press (2008)

    Google Scholar 

  13. Samsonovich, A.V.: Towards a unified catalog of implemented cognitive architectures. In: Biologically Inspired Cognitive Architectures (BICA 2010), pp. 195–244. IOS Press (2010)

    Google Scholar 

  14. Sun, R., Slusarz, P., Terry, C.: The interaction of the explicit and implicit in skill learning: a dual-process approach. Psychol. Rev. 112, 159–192 (2005)

    Article  Google Scholar 

  15. Zhang, M., Wang, F., Yin, J.: A survey on human computer interaction technology for ATM. Intell. Eng. Syst. 6(1), 20–29 (2013)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Nazarbayev University, Astana, Kazakhstan

    Antonio Cerone

Authors
  1. Antonio Cerone
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Antonio Cerone .

Editor information

Editors and Affiliations

  1. Innopolis University, Innopolis, Russia

    Manuel Mazzara

  2. University of Toulouse, Toulouse Cedex 9, France

    Iulian Ober

  3. Grenoble Alpes University, Montbonnot, France

    Gwen Salaün

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Cerone, A. (2018). Towards a Cognitive Architecture for the Formal Analysis of Human Behaviour and Learning. In: Mazzara, M., Ober, I., Salaün, G. (eds) Software Technologies: Applications and Foundations. STAF 2018. Lecture Notes in Computer Science(), vol 11176. Springer, Cham. https://doi.org/10.1007/978-3-030-04771-9_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-04771-9_17

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-04770-2

  • Online ISBN: 978-3-030-04771-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation