nach oben

Erschienen in:

2020 | OriginalPaper | Buchkapitel

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

verfasst von : Antonio Cerone, Peter Csaba Ölveczky

Erschienen in: Formal Methods. FM 2019 International Workshops

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Examples of the Application of Formal Methods to Interactive Systems

Nächstes Kapitel A Survey of Papers from Formal Methods for Interactive Systems (FMIS) Workshops

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)

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

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_4CrossRef

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

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

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

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

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

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_17CrossRef

10.

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

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)

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-yCrossRef

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

14.

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

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)

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_3CrossRef

17.

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

18.

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

19.

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

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_21CrossRef

Titel: Modelling Human Reasoning in Practical Behavioural Contexts Using Real-Time Maude
verfasst von: Antonio Cerone
Peter Csaba Ölveczky
Verlag: Springer International Publishing
Buch: Formal Methods. FM 2019 International Workshops
Print ISBN: 978-3-030-54993-0

Electronic ISBN: 978-3-030-54994-7

Copyright-Jahr: 2020
DOI: https://doi.org/10.1007/978-3-030-54994-7_32

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner