In Silico Simulations and Analysis of Human Phonological Working Memory Maintenance and Learning Mechanisms with Behavior and Reasoning Description Language (BRDL)

Antonio Cerone; Diana Murzagaliyeva; Nuray Nabiyeva; Ben Tyler; Graham Pluck

doi:10.1007/978-3-031-12429-7_3

In Silico Simulations and Analysis of Human Phonological Working Memory Maintenance and Learning Mechanisms with Behavior and Reasoning Description Language (BRDL)

Antonio Cerone, Diana Murzagaliyeva, Nuray Nabiyeva, Ben Tyler, Graham Pluck

Nazarbayev University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Citations (Scopus)

Abstract

Human memory systems are commonly divided into different types of store, the most basic distinction being between short-term memory (STM) and long-term memory (LTM). Phonological STM, as proposed in the working memory model is closely linked to semantic LTM. Nevertheless, the mechanisms of maintenance with STM, and transfer of information with LTM are poorly understood. Candidate mechanisms within phonological STM are rehearsal (either articulatory or elaborative), and refreshing. There is also evidence of long-term learning within STM. In this paper we use the Behavior and Reasoning Descriptive Language (BRDL) to model human memory contents as well as the perceptions that allow humans to input information into STM. By using the Maude rewrite system to provide semantics to BRDL and dynamics to BRDL models, we can explore various cognitive theories about phonological STM maintenance and transfer of information for long-term retention, such as articulatory rehearsal, elaborative rehearsal, and refreshing. This approach has been implemented in a tool that allows cognitive scientists to carry out in silico the simulation of learning processes as well as the replication of experiments conducted with human beings in order to contrast alternative cognitive theories.

Original language	English
Title of host publication	Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers
Editors	Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	37-52
Number of pages	16
ISBN (Print)	9783031124280
DOIs	https://doi.org/10.1007/978-3-031-12429-7_3
Publication status	Published - 2022
Event	Workshops on CIFMA, CoSim-CPS, OpenCERT, and ASYDE 2021, collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021 - Virtual, Online Duration: Dec 6 2021 → Dec 10 2021

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	13230 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	Workshops on CIFMA, CoSim-CPS, OpenCERT, and ASYDE 2021, collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021
City	Virtual, Online
Period	12/6/21 → 12/10/21

Funding

Keywords: Short-term memory · Working memory · Semantic memory · Behaviour and Reasoning Description Language (BRDL) · Formal methods Work partly funded by Project SEDS2020004 “Analysis of cognitive properties of interactive systems using model checking”, Nazarbayev University, Kazakhstan (Award number: 240919FD3916).

Keywords

Behaviour and Reasoning Description Language (BRDL)
Formal methods
Semantic memory
Short-term memory
Working memory

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-031-12429-7_3

Cite this

Cerone, A., Murzagaliyeva, D., Nabiyeva, N., Tyler, B., & Pluck, G. (2022). In Silico Simulations and Analysis of Human Phonological Working Memory Maintenance and Learning Mechanisms with Behavior and Reasoning Description Language (BRDL). In A. Cerone, M. Autili, A. Bucaioni, C. Gomes, P. Graziani, M. Palmieri, M. Temperini, & G. Venture (Eds.), Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers (pp. 37-52). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13230 LNCS). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-12429-7_3

In Silico Simulations and Analysis of Human Phonological Working Memory Maintenance and Learning Mechanisms with Behavior and Reasoning Description Language (BRDL). / Cerone, Antonio; Murzagaliyeva, Diana; Nabiyeva, Nuray et al.
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers. ed. / Antonio Cerone; Marco Autili; Alessio Bucaioni; Cláudio Gomes; Pierluigi Graziani; Maurizio Palmieri; Marco Temperini; Gentiane Venture. Springer Science and Business Media Deutschland GmbH, 2022. p. 37-52 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13230 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Cerone, A, Murzagaliyeva, D, Nabiyeva, N, Tyler, B & Pluck, G 2022, In Silico Simulations and Analysis of Human Phonological Working Memory Maintenance and Learning Mechanisms with Behavior and Reasoning Description Language (BRDL). in A Cerone, M Autili, A Bucaioni, C Gomes, P Graziani, M Palmieri, M Temperini & G Venture (eds), Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13230 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 37-52, Workshops on CIFMA, CoSim-CPS, OpenCERT, and ASYDE 2021, collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, Virtual, Online, 12/6/21. https://doi.org/10.1007/978-3-031-12429-7_3

Cerone A, Murzagaliyeva D, Nabiyeva N, Tyler B, Pluck G. In Silico Simulations and Analysis of Human Phonological Working Memory Maintenance and Learning Mechanisms with Behavior and Reasoning Description Language (BRDL). In Cerone A, Autili M, Bucaioni A, Gomes C, Graziani P, Palmieri M, Temperini M, Venture G, editors, Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers. Springer Science and Business Media Deutschland GmbH. 2022. p. 37-52. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-031-12429-7_3

Cerone, Antonio ; Murzagaliyeva, Diana ; Nabiyeva, Nuray et al. / In Silico Simulations and Analysis of Human Phonological Working Memory Maintenance and Learning Mechanisms with Behavior and Reasoning Description Language (BRDL). Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers. editor / Antonio Cerone ; Marco Autili ; Alessio Bucaioni ; Cláudio Gomes ; Pierluigi Graziani ; Maurizio Palmieri ; Marco Temperini ; Gentiane Venture. Springer Science and Business Media Deutschland GmbH, 2022. pp. 37-52 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{40320f90ed6a4fd182cb46ebce77793b,

title = "In Silico Simulations and Analysis of Human Phonological Working Memory Maintenance and Learning Mechanisms with Behavior and Reasoning Description Language (BRDL)",

abstract = "Human memory systems are commonly divided into different types of store, the most basic distinction being between short-term memory (STM) and long-term memory (LTM). Phonological STM, as proposed in the working memory model is closely linked to semantic LTM. Nevertheless, the mechanisms of maintenance with STM, and transfer of information with LTM are poorly understood. Candidate mechanisms within phonological STM are rehearsal (either articulatory or elaborative), and refreshing. There is also evidence of long-term learning within STM. In this paper we use the Behavior and Reasoning Descriptive Language (BRDL) to model human memory contents as well as the perceptions that allow humans to input information into STM. By using the Maude rewrite system to provide semantics to BRDL and dynamics to BRDL models, we can explore various cognitive theories about phonological STM maintenance and transfer of information for long-term retention, such as articulatory rehearsal, elaborative rehearsal, and refreshing. This approach has been implemented in a tool that allows cognitive scientists to carry out in silico the simulation of learning processes as well as the replication of experiments conducted with human beings in order to contrast alternative cognitive theories.",

keywords = "Behaviour and Reasoning Description Language (BRDL), Formal methods, Semantic memory, Short-term memory, Working memory",

author = "Antonio Cerone and Diana Murzagaliyeva and Nuray Nabiyeva and Ben Tyler and Graham Pluck",

note = "Funding Information: Keywords: Short-term memory · Working memory · Semantic memory · Behaviour and Reasoning Description Language (BRDL) · Formal methods Work partly funded by Project SEDS2020004 “Analysis of cognitive properties of interactive systems using model checking”, Nazarbayev University, Kazakhstan (Award number: 240919FD3916). Publisher Copyright: {\textcopyright} 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.; Workshops on CIFMA, CoSim-CPS, OpenCERT, and ASYDE 2021, collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021 ; Conference date: 06-12-2021 Through 10-12-2021",

year = "2022",

doi = "10.1007/978-3-031-12429-7\_3",

language = "English",

isbn = "9783031124280",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "37--52",

editor = "Antonio Cerone and Marco Autili and Alessio Bucaioni and Cl{\'a}udio Gomes and Pierluigi Graziani and Maurizio Palmieri and Marco Temperini and Gentiane Venture",

booktitle = "Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers",

address = "Germany",

}

TY - GEN

T1 - In Silico Simulations and Analysis of Human Phonological Working Memory Maintenance and Learning Mechanisms with Behavior and Reasoning Description Language (BRDL)

AU - Cerone, Antonio

AU - Murzagaliyeva, Diana

AU - Nabiyeva, Nuray

AU - Tyler, Ben

AU - Pluck, Graham

N1 - Funding Information: Keywords: Short-term memory · Working memory · Semantic memory · Behaviour and Reasoning Description Language (BRDL) · Formal methods Work partly funded by Project SEDS2020004 “Analysis of cognitive properties of interactive systems using model checking”, Nazarbayev University, Kazakhstan (Award number: 240919FD3916). Publisher Copyright: © 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.

PY - 2022

Y1 - 2022

N2 - Human memory systems are commonly divided into different types of store, the most basic distinction being between short-term memory (STM) and long-term memory (LTM). Phonological STM, as proposed in the working memory model is closely linked to semantic LTM. Nevertheless, the mechanisms of maintenance with STM, and transfer of information with LTM are poorly understood. Candidate mechanisms within phonological STM are rehearsal (either articulatory or elaborative), and refreshing. There is also evidence of long-term learning within STM. In this paper we use the Behavior and Reasoning Descriptive Language (BRDL) to model human memory contents as well as the perceptions that allow humans to input information into STM. By using the Maude rewrite system to provide semantics to BRDL and dynamics to BRDL models, we can explore various cognitive theories about phonological STM maintenance and transfer of information for long-term retention, such as articulatory rehearsal, elaborative rehearsal, and refreshing. This approach has been implemented in a tool that allows cognitive scientists to carry out in silico the simulation of learning processes as well as the replication of experiments conducted with human beings in order to contrast alternative cognitive theories.

AB - Human memory systems are commonly divided into different types of store, the most basic distinction being between short-term memory (STM) and long-term memory (LTM). Phonological STM, as proposed in the working memory model is closely linked to semantic LTM. Nevertheless, the mechanisms of maintenance with STM, and transfer of information with LTM are poorly understood. Candidate mechanisms within phonological STM are rehearsal (either articulatory or elaborative), and refreshing. There is also evidence of long-term learning within STM. In this paper we use the Behavior and Reasoning Descriptive Language (BRDL) to model human memory contents as well as the perceptions that allow humans to input information into STM. By using the Maude rewrite system to provide semantics to BRDL and dynamics to BRDL models, we can explore various cognitive theories about phonological STM maintenance and transfer of information for long-term retention, such as articulatory rehearsal, elaborative rehearsal, and refreshing. This approach has been implemented in a tool that allows cognitive scientists to carry out in silico the simulation of learning processes as well as the replication of experiments conducted with human beings in order to contrast alternative cognitive theories.

KW - Behaviour and Reasoning Description Language (BRDL)

KW - Formal methods

KW - Semantic memory

KW - Short-term memory

KW - Working memory

UR - http://www.scopus.com/inward/record.url?scp=85140436748&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85140436748&partnerID=8YFLogxK

U2 - 10.1007/978-3-031-12429-7_3

DO - 10.1007/978-3-031-12429-7_3

M3 - Conference contribution

AN - SCOPUS:85140436748

SN - 9783031124280

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 37

EP - 52

BT - Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers

A2 - Cerone, Antonio

A2 - Autili, Marco

A2 - Bucaioni, Alessio

A2 - Gomes, Cláudio

A2 - Graziani, Pierluigi

A2 - Palmieri, Maurizio

A2 - Temperini, Marco

A2 - Venture, Gentiane

PB - Springer Science and Business Media Deutschland GmbH

T2 - Workshops on CIFMA, CoSim-CPS, OpenCERT, and ASYDE 2021, collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021

Y2 - 6 December 2021 through 10 December 2021

ER -