A FORMAL MODEL FOR EMULATING THE GENERATION OF HUMAN KNOWLEDGE IN SEMANTIC MEMORY

Simple item page
dc.contributor.authorCerone, Antonio
dc.contributor.authorPluck, Graham
dc.date.accessioned2022-02-07T08:03:18Z
dc.date.available2022-02-07T08:03:18Z
dc.date.issued2021-03
dc.description.abstractThe transfer of information processed by human beings from their short-term memory (STM) to their semantic memory creates two kinds of knowledge: a semantic network of associations and a structured set of rules to govern human deliberate behaviour under explicit attention. This paper focuses on the memory processes that create the first of these two kinds of knowledge. Human memory storage and processing are modeled using the Real-time Maude rewrite language. Maude’s capability of specifying complex data structures as many sorted algebras and the time features of Real-Time Maude are exploited for (1) providing a means for formalising alternative memory models, (2) modelling in silico experiments to compare and validate such models. We aim at using our model for the comparison of alternative cognitive hypothesis and theories and the analysis of interactive systems.en_US
dc.identifier.citationCerone, A., & Pluck, G. (2021). A Formal Model for Emulating the Generation of Human Knowledge in Semantic Memory. From Data to Models and Back, 104–122. https://doi.org/10.1007/978-3-030-70650-0_7en_US
dc.identifier.urihttp://nur.nu.edu.kz/handle/123456789/6025
dc.language.isoenen_US
dc.publisherFrom Data to Models and Backen_US
dc.rightsAttribution-NonCommercial-ShareAlike 3.0 United States*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/3.0/us/*
dc.subjectType of access: Open Accessen_US
dc.subjectCognitive scienceen_US
dc.subjectHuman memory modelsen_US
dc.subjectFormal methodsen_US
dc.subjectRewriting logicen_US
dc.subjectReal-Time Maudeen_US
dc.titleA FORMAL MODEL FOR EMULATING THE GENERATION OF HUMAN KNOWLEDGE IN SEMANTIC MEMORYen_US
dc.typeConference Paperen_US
workflow.import.sourcescience

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
57.Cerone2021FormalModelSemanticMemory.pdf
Size:
512.9 KB
Format:
Adobe Portable Document Format
Description:
Conference paper
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
6.28 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Articles