Skip to main content
SpringerLink
Log in

Modelling Human Reasoning in Practical Behavioural Contexts Using Real-Time Maude

  • Conference paper
  • First Online:
Formal Methods. FM 2019 International Workshops (FM 2019)

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

Included in the following conference series:

Abstract

In this paper we present an approach for modelling human reasoning using rewrite systems and we illustrate our approach in the context of human behaviour using a car driving example. Reasoning inference rules and descriptions of human activities are expressed using the Behaviour and Reasoning Description Language (BRDL). The BRDL model is then translated into Real-Time Maude. The object-oriented and equational logic aspects of Maude are exploited in order to define alternative semantic variations of BRDL that implement alternative theories of memory and cognition.

Work partly funded by Seed Funding Grant, Project SFG 1447 “Formal Analysis and Verification of Accidents”, University of Geneva, Switzerland.

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. Atkinson, R.C., Shiffrin, R.M.: Human memory: a proposed system and its control processes. In: Spense, K.W. (ed.) The Psychology of Learning and Motivation: Advances in Research and Theory II, pp. 89–195. Academic Press (1968)

    Google Scholar 

  2. Atkinson, R.C., Shiffrin, R.M.: The control of short-term memory. Sci. Am. 225(2), 82–90 (1971)

    Article  Google Scholar 

  3. 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 

  4. Broccia, G., Milazzo, P., Ölveczky, P.C.: Formal modeling and analysis of safety-critical human multitasking. Innov. Syst. Softw. Eng. 169–190 (2019). https://doi.org/10.1007/s11334-019-00333-7

  5. Butterworth, R., Blandford, A.E., Duke, D.: Demonstrating the cognitive plausability of interactive systems. Form. Asp. Comput. 12, 237–259 (2000)

    Article  Google Scholar 

  6. Byrne, M.D., Bovair, S.: A working memory model of a common procedural error. Cogn. Sci. 21, 31–61 (1997)

    Article  Google Scholar 

  7. Byrne, M.D., Davis, E.M.: Task structure and postcompletion error in the execution of a routine procedure. Hum. Factors 48, 627–638 (2006)

    Article  Google Scholar 

  8. 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 

  9. Cerone, A.: Towards a cognitive architecture for the formal analysis of human behaviour and learning. In: Mazzara, M., Ober, I., Salaün, G. (eds.) STAF 2018. LNCS, vol. 11176, pp. 216–232. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-04771-9_17

    Chapter  Google Scholar 

  10. Cerone, A.: Behaviour and reasoning description language (BRDL). In: SEFM 2019 Collocated Workshops. LNCS. Springer (2019, in press)

    Google Scholar 

  11. Harrison, M.D., Campos, J.C., Rukšėnas, R., Curzon, P.: Modelling information resources and their salience in medical device design. In: EICS 2016, pp. 194–203. ACM (2026)

    Google Scholar 

  12. Kotseruba, I., Tsotsos, J.K.: 40 years of cognitive architectures: core cognitive abilities and practical applications. Artif. Intell. Rev. 53(1), 17–94 (2018). https://doi.org/10.1007/s10462-018-9646-y

    Article  Google Scholar 

  13. Li, S.W., Blandford, A., Cairns, P., Young, R.M.: The effect of interruptions on postcompletion and other procedural errors: an account based on the activation-based goal memory model. J. Exp. Psychol. Appl. 14, 314–328 (2008)

    Article  Google Scholar 

  14. Martí-Oliet, N., Meseguer, J.: Rewriting logic: roadmap and bibliography. Theoret. Comput. Sci. 285(2), 121–154 (2002)

    Article  MathSciNet  Google Scholar 

  15. 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 

  16. Ölveczky, P.C.: Real-time maude and its applications. In: Escobar, S. (ed.) WRLA 2014. LNCS, vol. 8663, pp. 42–79. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-12904-4_3

    Chapter  Google Scholar 

  17. Ölveczky, P.C.: Designing Reliable Distributed Systems. UTCS. Springer, London (2017). https://doi.org/10.1007/978-1-4471-6687-0

    Book  MATH  Google Scholar 

  18. Ölveczky, P.C., Meseguer, J.: Semantics and pragmatics of Real-Time-Maude. High.-Order Symb. Comput. 20(1–2), 161–196 (2007)

    Article  Google Scholar 

  19. Oulasvirta, A., Kristensson, P., Bi, X., Howes, A. (eds.): Computational Interaction. Oxford University Press, Oxford (2018)

    Google Scholar 

  20. Weyers, B., Bowen, J., Dix, A., Palanque, P.: Erratum to: the handbook of formal methods in human-computer interaction. In: Weyers, B., Bowen, J., Dix, A., Palanque, P. (eds.) The Handbook of Formal Methods in Human-Computer Interaction. HIS, pp. E1–E3. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-51838-1_21

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Nazarbayev University, Nur-Sultan, Kazakhstan

    Antonio Cerone

  2. Department of Informatics, University of Oslo, Oslo, Norway

    Peter Csaba Ölveczky

Authors
  1. Antonio Cerone
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Peter Csaba Ölveczky
    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. McMaster University, Hamilton, ON, Canada

    Emil Sekerinski

  2. University of Porto, Porto, Portugal

    Nelma Moreira

  3. University of Minho, Braga, Portugal

    José N. Oliveira

  4. Argo Ai, Munich, Germany

    Daniel Ratiu

  5. University of Pisa, Pisa, Italy

    Riccardo Guidotti

  6. University of Liverpool, Liverpool, UK

    Marie Farrell

  7. University of Liverpool, Liverpool, UK

    Matt Luckcuck

  8. University of Exeter, Exeter, UK

    Diego Marmsoler

  9. University of Minho, Braga, Portugal

    José Campos

  10. University of Newcastle, Newcastle upon Tyne, UK

    Troy Astarte

  11. Claude Bernard University, Lyon, France

    Laure Gonnord

  12. Nazarbayev University, Nur-Sultan, Kazakhstan

    Antonio Cerone

  13. University of Surrey, Guildford, UK

    Luis Couto

  14. University of Surrey, Guildford, UK

    Brijesh Dongol

  15. University of Giessen, Giessen, Germany

    Martin Kutrib

  16. University of Lisbon, Lisbon, Portugal

    Pedro Monteiro

  17. Airbus Operations S.A.S., Toulouse, France

    David Delmas

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Cerone, A., Ölveczky, P.C. (2020). Modelling Human Reasoning in Practical Behavioural Contexts Using Real-Time Maude. In: Sekerinski, E., et al. Formal Methods. FM 2019 International Workshops. FM 2019. Lecture Notes in Computer Science(), vol 12232. Springer, Cham. https://doi.org/10.1007/978-3-030-54994-7_32

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-54994-7_32

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-54993-0

  • Online ISBN: 978-3-030-54994-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation