Skip to main content

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

Part of the Lecture Notes in Computer Science book series (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.

Keywords

  • Formal modelling
  • Cognitive architecture
  • Interactive systems
  • Rewriting logic
  • Maude rewrite system

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-030-04771-9_17
  • Chapter length: 17 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   84.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-04771-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   109.99
Price excludes VAT (USA)
Fig. 1.

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

    CrossRef  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

    CrossRef  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

    CrossRef  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

    CrossRef  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)

    CrossRef  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)

    CrossRef  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Antonio Cerone .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2018 Springer Nature Switzerland AG

About this paper

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)